| 1 | """IDLE Configuration Dialog: support user customization of IDLE by GUI
|
|---|
| 2 |
|
|---|
| 3 | Customize font faces, sizes, and colorization attributes. Set indentation
|
|---|
| 4 | defaults. Customize keybindings. Colorization and keybindings can be
|
|---|
| 5 | saved as user defined sets. Select startup options including shell/editor
|
|---|
| 6 | and default window size. Define additional help sources.
|
|---|
| 7 |
|
|---|
| 8 | Note that tab width in IDLE is currently fixed at eight due to Tk issues.
|
|---|
| 9 | Refer to comments in EditorWindow autoindent code for details.
|
|---|
| 10 |
|
|---|
| 11 | """
|
|---|
| 12 | from Tkinter import *
|
|---|
| 13 | import tkMessageBox, tkColorChooser, tkFont
|
|---|
| 14 | import string
|
|---|
| 15 |
|
|---|
| 16 | from configHandler import idleConf
|
|---|
| 17 | from dynOptionMenuWidget import DynOptionMenu
|
|---|
| 18 | from tabbedpages import TabbedPageSet
|
|---|
| 19 | from keybindingDialog import GetKeysDialog
|
|---|
| 20 | from configSectionNameDialog import GetCfgSectionNameDialog
|
|---|
| 21 | from configHelpSourceEdit import GetHelpSourceDialog
|
|---|
| 22 | import macosxSupport
|
|---|
| 23 |
|
|---|
| 24 | class ConfigDialog(Toplevel):
|
|---|
| 25 |
|
|---|
| 26 | def __init__(self,parent,title):
|
|---|
| 27 | Toplevel.__init__(self, parent)
|
|---|
| 28 | self.wm_withdraw()
|
|---|
| 29 |
|
|---|
| 30 | self.configure(borderwidth=5)
|
|---|
| 31 | self.geometry("+%d+%d" % (parent.winfo_rootx()+20,
|
|---|
| 32 | parent.winfo_rooty()+30))
|
|---|
| 33 | #Theme Elements. Each theme element key is its display name.
|
|---|
| 34 | #The first value of the tuple is the sample area tag name.
|
|---|
| 35 | #The second value is the display name list sort index.
|
|---|
| 36 | self.themeElements={'Normal Text':('normal','00'),
|
|---|
| 37 | 'Python Keywords':('keyword','01'),
|
|---|
| 38 | 'Python Definitions':('definition','02'),
|
|---|
| 39 | 'Python Builtins':('builtin', '03'),
|
|---|
| 40 | 'Python Comments':('comment','04'),
|
|---|
| 41 | 'Python Strings':('string','05'),
|
|---|
| 42 | 'Selected Text':('hilite','06'),
|
|---|
| 43 | 'Found Text':('hit','07'),
|
|---|
| 44 | 'Cursor':('cursor','08'),
|
|---|
| 45 | 'Error Text':('error','09'),
|
|---|
| 46 | 'Shell Normal Text':('console','10'),
|
|---|
| 47 | 'Shell Stdout Text':('stdout','11'),
|
|---|
| 48 | 'Shell Stderr Text':('stderr','12'),
|
|---|
| 49 | }
|
|---|
| 50 | self.ResetChangedItems() #load initial values in changed items dict
|
|---|
| 51 | self.CreateWidgets()
|
|---|
| 52 | self.resizable(height=FALSE,width=FALSE)
|
|---|
| 53 | self.transient(parent)
|
|---|
| 54 | self.grab_set()
|
|---|
| 55 | self.protocol("WM_DELETE_WINDOW", self.Cancel)
|
|---|
| 56 | self.parent = parent
|
|---|
| 57 | self.tabPages.focus_set()
|
|---|
| 58 | #key bindings for this dialog
|
|---|
| 59 | #self.bind('<Escape>',self.Cancel) #dismiss dialog, no save
|
|---|
| 60 | #self.bind('<Alt-a>',self.Apply) #apply changes, save
|
|---|
| 61 | #self.bind('<F1>',self.Help) #context help
|
|---|
| 62 | self.LoadConfigs()
|
|---|
| 63 | self.AttachVarCallbacks() #avoid callbacks during LoadConfigs
|
|---|
| 64 |
|
|---|
| 65 | self.wm_deiconify()
|
|---|
| 66 | self.wait_window()
|
|---|
| 67 |
|
|---|
| 68 | def CreateWidgets(self):
|
|---|
| 69 | self.tabPages = TabbedPageSet(self,
|
|---|
| 70 | page_names=['Fonts/Tabs','Highlighting','Keys','General'])
|
|---|
| 71 | frameActionButtons = Frame(self,pady=2)
|
|---|
| 72 | #action buttons
|
|---|
| 73 | if macosxSupport.runningAsOSXApp():
|
|---|
| 74 | # Changing the default padding on OSX results in unreadable
|
|---|
| 75 | # text in the buttons
|
|---|
| 76 | paddingArgs={}
|
|---|
| 77 | else:
|
|---|
| 78 | paddingArgs={'padx':6, 'pady':3}
|
|---|
| 79 |
|
|---|
| 80 | self.buttonHelp = Button(frameActionButtons,text='Help',
|
|---|
| 81 | command=self.Help,takefocus=FALSE,
|
|---|
| 82 | **paddingArgs)
|
|---|
| 83 | self.buttonOk = Button(frameActionButtons,text='Ok',
|
|---|
| 84 | command=self.Ok,takefocus=FALSE,
|
|---|
| 85 | **paddingArgs)
|
|---|
| 86 | self.buttonApply = Button(frameActionButtons,text='Apply',
|
|---|
| 87 | command=self.Apply,takefocus=FALSE,
|
|---|
| 88 | **paddingArgs)
|
|---|
| 89 | self.buttonCancel = Button(frameActionButtons,text='Cancel',
|
|---|
| 90 | command=self.Cancel,takefocus=FALSE,
|
|---|
| 91 | **paddingArgs)
|
|---|
| 92 | self.CreatePageFontTab()
|
|---|
| 93 | self.CreatePageHighlight()
|
|---|
| 94 | self.CreatePageKeys()
|
|---|
| 95 | self.CreatePageGeneral()
|
|---|
| 96 | self.buttonHelp.pack(side=RIGHT,padx=5)
|
|---|
| 97 | self.buttonOk.pack(side=LEFT,padx=5)
|
|---|
| 98 | self.buttonApply.pack(side=LEFT,padx=5)
|
|---|
| 99 | self.buttonCancel.pack(side=LEFT,padx=5)
|
|---|
| 100 | frameActionButtons.pack(side=BOTTOM)
|
|---|
| 101 | Frame(self, height=2, borderwidth=0).pack(side=BOTTOM)
|
|---|
| 102 | self.tabPages.pack(side=TOP,expand=TRUE,fill=BOTH)
|
|---|
| 103 |
|
|---|
| 104 | def CreatePageFontTab(self):
|
|---|
| 105 | #tkVars
|
|---|
| 106 | self.fontSize=StringVar(self)
|
|---|
| 107 | self.fontBold=BooleanVar(self)
|
|---|
| 108 | self.fontName=StringVar(self)
|
|---|
| 109 | self.spaceNum=IntVar(self)
|
|---|
| 110 | self.editFont=tkFont.Font(self,('courier',10,'normal'))
|
|---|
| 111 | ##widget creation
|
|---|
| 112 | #body frame
|
|---|
| 113 | frame=self.tabPages.pages['Fonts/Tabs'].frame
|
|---|
| 114 | #body section frames
|
|---|
| 115 | frameFont=LabelFrame(frame,borderwidth=2,relief=GROOVE,
|
|---|
| 116 | text=' Base Editor Font ')
|
|---|
| 117 | frameIndent=LabelFrame(frame,borderwidth=2,relief=GROOVE,
|
|---|
| 118 | text=' Indentation Width ')
|
|---|
| 119 | #frameFont
|
|---|
| 120 | frameFontName=Frame(frameFont)
|
|---|
| 121 | frameFontParam=Frame(frameFont)
|
|---|
| 122 | labelFontNameTitle=Label(frameFontName,justify=LEFT,
|
|---|
| 123 | text='Font Face :')
|
|---|
| 124 | self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
|
|---|
| 125 | exportselection=FALSE)
|
|---|
| 126 | self.listFontName.bind('<ButtonRelease-1>',self.OnListFontButtonRelease)
|
|---|
| 127 | scrollFont=Scrollbar(frameFontName)
|
|---|
| 128 | scrollFont.config(command=self.listFontName.yview)
|
|---|
| 129 | self.listFontName.config(yscrollcommand=scrollFont.set)
|
|---|
| 130 | labelFontSizeTitle=Label(frameFontParam,text='Size :')
|
|---|
| 131 | self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None,
|
|---|
| 132 | command=self.SetFontSample)
|
|---|
| 133 | checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold,
|
|---|
| 134 | onvalue=1,offvalue=0,text='Bold',command=self.SetFontSample)
|
|---|
| 135 | frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
|
|---|
| 136 | self.labelFontSample=Label(frameFontSample,
|
|---|
| 137 | text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
|
|---|
| 138 | justify=LEFT,font=self.editFont)
|
|---|
| 139 | #frameIndent
|
|---|
| 140 | frameIndentSize=Frame(frameIndent)
|
|---|
| 141 | labelSpaceNumTitle=Label(frameIndentSize, justify=LEFT,
|
|---|
| 142 | text='Python Standard: 4 Spaces!')
|
|---|
| 143 | self.scaleSpaceNum=Scale(frameIndentSize, variable=self.spaceNum,
|
|---|
| 144 | orient='horizontal',
|
|---|
| 145 | tickinterval=2, from_=2, to=16)
|
|---|
| 146 | #widget packing
|
|---|
| 147 | #body
|
|---|
| 148 | frameFont.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
|
|---|
| 149 | frameIndent.pack(side=LEFT,padx=5,pady=5,fill=Y)
|
|---|
| 150 | #frameFont
|
|---|
| 151 | frameFontName.pack(side=TOP,padx=5,pady=5,fill=X)
|
|---|
| 152 | frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X)
|
|---|
| 153 | labelFontNameTitle.pack(side=TOP,anchor=W)
|
|---|
| 154 | self.listFontName.pack(side=LEFT,expand=TRUE,fill=X)
|
|---|
| 155 | scrollFont.pack(side=LEFT,fill=Y)
|
|---|
| 156 | labelFontSizeTitle.pack(side=LEFT,anchor=W)
|
|---|
| 157 | self.optMenuFontSize.pack(side=LEFT,anchor=W)
|
|---|
| 158 | checkFontBold.pack(side=LEFT,anchor=W,padx=20)
|
|---|
| 159 | frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
|
|---|
| 160 | self.labelFontSample.pack(expand=TRUE,fill=BOTH)
|
|---|
| 161 | #frameIndent
|
|---|
| 162 | frameIndentSize.pack(side=TOP,fill=X)
|
|---|
| 163 | labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
|
|---|
| 164 | self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
|
|---|
| 165 | return frame
|
|---|
| 166 |
|
|---|
| 167 | def CreatePageHighlight(self):
|
|---|
| 168 | self.builtinTheme=StringVar(self)
|
|---|
| 169 | self.customTheme=StringVar(self)
|
|---|
| 170 | self.fgHilite=BooleanVar(self)
|
|---|
| 171 | self.colour=StringVar(self)
|
|---|
| 172 | self.fontName=StringVar(self)
|
|---|
| 173 | self.themeIsBuiltin=BooleanVar(self)
|
|---|
| 174 | self.highlightTarget=StringVar(self)
|
|---|
| 175 | ##widget creation
|
|---|
| 176 | #body frame
|
|---|
| 177 | frame=self.tabPages.pages['Highlighting'].frame
|
|---|
| 178 | #body section frames
|
|---|
| 179 | frameCustom=LabelFrame(frame,borderwidth=2,relief=GROOVE,
|
|---|
| 180 | text=' Custom Highlighting ')
|
|---|
| 181 | frameTheme=LabelFrame(frame,borderwidth=2,relief=GROOVE,
|
|---|
| 182 | text=' Highlighting Theme ')
|
|---|
| 183 | #frameCustom
|
|---|
| 184 | self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1,
|
|---|
| 185 | font=('courier',12,''),cursor='hand2',width=21,height=10,
|
|---|
| 186 | takefocus=FALSE,highlightthickness=0,wrap=NONE)
|
|---|
| 187 | text=self.textHighlightSample
|
|---|
| 188 | text.bind('<Double-Button-1>',lambda e: 'break')
|
|---|
| 189 | text.bind('<B1-Motion>',lambda e: 'break')
|
|---|
| 190 | textAndTags=(('#you can click here','comment'),('\n','normal'),
|
|---|
| 191 | ('#to choose items','comment'),('\n','normal'),('def','keyword'),
|
|---|
| 192 | (' ','normal'),('func','definition'),('(param):','normal'),
|
|---|
| 193 | ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'),
|
|---|
| 194 | ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'hilite'),
|
|---|
| 195 | ('\n var2 = ','normal'),("'found'",'hit'),
|
|---|
| 196 | ('\n var3 = ','normal'),('list', 'builtin'), ('(','normal'),
|
|---|
| 197 | ('None', 'builtin'),(')\n\n','normal'),
|
|---|
| 198 | (' error ','error'),(' ','normal'),('cursor |','cursor'),
|
|---|
| 199 | ('\n ','normal'),('shell','console'),(' ','normal'),('stdout','stdout'),
|
|---|
| 200 | (' ','normal'),('stderr','stderr'),('\n','normal'))
|
|---|
| 201 | for txTa in textAndTags:
|
|---|
| 202 | text.insert(END,txTa[0],txTa[1])
|
|---|
| 203 | for element in self.themeElements.keys():
|
|---|
| 204 | text.tag_bind(self.themeElements[element][0],'<ButtonPress-1>',
|
|---|
| 205 | lambda event,elem=element: event.widget.winfo_toplevel()
|
|---|
| 206 | .highlightTarget.set(elem))
|
|---|
| 207 | text.config(state=DISABLED)
|
|---|
| 208 | self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1)
|
|---|
| 209 | frameFgBg=Frame(frameCustom)
|
|---|
| 210 | buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :',
|
|---|
| 211 | command=self.GetColour,highlightthickness=0)
|
|---|
| 212 | self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet,
|
|---|
| 213 | self.highlightTarget,None,highlightthickness=0)#,command=self.SetHighlightTargetBinding
|
|---|
| 214 | self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite,
|
|---|
| 215 | value=1,text='Foreground',command=self.SetColourSampleBinding)
|
|---|
| 216 | self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite,
|
|---|
| 217 | value=0,text='Background',command=self.SetColourSampleBinding)
|
|---|
| 218 | self.fgHilite.set(1)
|
|---|
| 219 | buttonSaveCustomTheme=Button(frameCustom,
|
|---|
| 220 | text='Save as New Custom Theme',command=self.SaveAsNewTheme)
|
|---|
| 221 | #frameTheme
|
|---|
| 222 | labelTypeTitle=Label(frameTheme,text='Select : ')
|
|---|
| 223 | self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
|
|---|
| 224 | value=1,command=self.SetThemeType,text='a Built-in Theme')
|
|---|
| 225 | self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
|
|---|
| 226 | value=0,command=self.SetThemeType,text='a Custom Theme')
|
|---|
| 227 | self.optMenuThemeBuiltin=DynOptionMenu(frameTheme,
|
|---|
| 228 | self.builtinTheme,None,command=None)
|
|---|
| 229 | self.optMenuThemeCustom=DynOptionMenu(frameTheme,
|
|---|
| 230 | self.customTheme,None,command=None)
|
|---|
| 231 | self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme',
|
|---|
| 232 | command=self.DeleteCustomTheme)
|
|---|
| 233 | ##widget packing
|
|---|
| 234 | #body
|
|---|
| 235 | frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
|
|---|
| 236 | frameTheme.pack(side=LEFT,padx=5,pady=5,fill=Y)
|
|---|
| 237 | #frameCustom
|
|---|
| 238 | self.frameColourSet.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=X)
|
|---|
| 239 | frameFgBg.pack(side=TOP,padx=5,pady=0)
|
|---|
| 240 | self.textHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,
|
|---|
| 241 | fill=BOTH)
|
|---|
| 242 | buttonSetColour.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=4)
|
|---|
| 243 | self.optMenuHighlightTarget.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=3)
|
|---|
| 244 | self.radioFg.pack(side=LEFT,anchor=E)
|
|---|
| 245 | self.radioBg.pack(side=RIGHT,anchor=W)
|
|---|
| 246 | buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
|
|---|
| 247 | #frameTheme
|
|---|
| 248 | labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
|---|
| 249 | self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
|
|---|
| 250 | self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
|
|---|
| 251 | self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
|
|---|
| 252 | self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
|
|---|
| 253 | self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
|
|---|
| 254 | return frame
|
|---|
| 255 |
|
|---|
| 256 | def CreatePageKeys(self):
|
|---|
| 257 | #tkVars
|
|---|
| 258 | self.bindingTarget=StringVar(self)
|
|---|
| 259 | self.builtinKeys=StringVar(self)
|
|---|
| 260 | self.customKeys=StringVar(self)
|
|---|
| 261 | self.keysAreBuiltin=BooleanVar(self)
|
|---|
| 262 | self.keyBinding=StringVar(self)
|
|---|
| 263 | ##widget creation
|
|---|
| 264 | #body frame
|
|---|
| 265 | frame=self.tabPages.pages['Keys'].frame
|
|---|
| 266 | #body section frames
|
|---|
| 267 | frameCustom=LabelFrame(frame,borderwidth=2,relief=GROOVE,
|
|---|
| 268 | text=' Custom Key Bindings ')
|
|---|
| 269 | frameKeySets=LabelFrame(frame,borderwidth=2,relief=GROOVE,
|
|---|
| 270 | text=' Key Set ')
|
|---|
| 271 | #frameCustom
|
|---|
| 272 | frameTarget=Frame(frameCustom)
|
|---|
| 273 | labelTargetTitle=Label(frameTarget,text='Action - Key(s)')
|
|---|
| 274 | scrollTargetY=Scrollbar(frameTarget)
|
|---|
| 275 | scrollTargetX=Scrollbar(frameTarget,orient=HORIZONTAL)
|
|---|
| 276 | self.listBindings=Listbox(frameTarget,takefocus=FALSE,
|
|---|
| 277 | exportselection=FALSE)
|
|---|
| 278 | self.listBindings.bind('<ButtonRelease-1>',self.KeyBindingSelected)
|
|---|
| 279 | scrollTargetY.config(command=self.listBindings.yview)
|
|---|
| 280 | scrollTargetX.config(command=self.listBindings.xview)
|
|---|
| 281 | self.listBindings.config(yscrollcommand=scrollTargetY.set)
|
|---|
| 282 | self.listBindings.config(xscrollcommand=scrollTargetX.set)
|
|---|
| 283 | self.buttonNewKeys=Button(frameCustom,text='Get New Keys for Selection',
|
|---|
| 284 | command=self.GetNewKeys,state=DISABLED)
|
|---|
| 285 | #frameKeySets
|
|---|
| 286 | frames = [Frame(frameKeySets, padx=2, pady=2, borderwidth=0)
|
|---|
| 287 | for i in range(2)]
|
|---|
| 288 | self.radioKeysBuiltin=Radiobutton(frames[0],variable=self.keysAreBuiltin,
|
|---|
| 289 | value=1,command=self.SetKeysType,text='Use a Built-in Key Set')
|
|---|
| 290 | self.radioKeysCustom=Radiobutton(frames[0],variable=self.keysAreBuiltin,
|
|---|
| 291 | value=0,command=self.SetKeysType,text='Use a Custom Key Set')
|
|---|
| 292 | self.optMenuKeysBuiltin=DynOptionMenu(frames[0],
|
|---|
| 293 | self.builtinKeys,None,command=None)
|
|---|
| 294 | self.optMenuKeysCustom=DynOptionMenu(frames[0],
|
|---|
| 295 | self.customKeys,None,command=None)
|
|---|
| 296 | self.buttonDeleteCustomKeys=Button(frames[1],text='Delete Custom Key Set',
|
|---|
| 297 | command=self.DeleteCustomKeys)
|
|---|
| 298 | buttonSaveCustomKeys=Button(frames[1],
|
|---|
| 299 | text='Save as New Custom Key Set',command=self.SaveAsNewKeySet)
|
|---|
| 300 | ##widget packing
|
|---|
| 301 | #body
|
|---|
| 302 | frameCustom.pack(side=BOTTOM,padx=5,pady=5,expand=TRUE,fill=BOTH)
|
|---|
| 303 | frameKeySets.pack(side=BOTTOM,padx=5,pady=5,fill=BOTH)
|
|---|
| 304 | #frameCustom
|
|---|
| 305 | self.buttonNewKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
|
|---|
| 306 | frameTarget.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
|
|---|
| 307 | #frame target
|
|---|
| 308 | frameTarget.columnconfigure(0,weight=1)
|
|---|
| 309 | frameTarget.rowconfigure(1,weight=1)
|
|---|
| 310 | labelTargetTitle.grid(row=0,column=0,columnspan=2,sticky=W)
|
|---|
| 311 | self.listBindings.grid(row=1,column=0,sticky=NSEW)
|
|---|
| 312 | scrollTargetY.grid(row=1,column=1,sticky=NS)
|
|---|
| 313 | scrollTargetX.grid(row=2,column=0,sticky=EW)
|
|---|
| 314 | #frameKeySets
|
|---|
| 315 | self.radioKeysBuiltin.grid(row=0, column=0, sticky=W+NS)
|
|---|
| 316 | self.radioKeysCustom.grid(row=1, column=0, sticky=W+NS)
|
|---|
| 317 | self.optMenuKeysBuiltin.grid(row=0, column=1, sticky=NSEW)
|
|---|
| 318 | self.optMenuKeysCustom.grid(row=1, column=1, sticky=NSEW)
|
|---|
| 319 | self.buttonDeleteCustomKeys.pack(side=LEFT,fill=X,expand=True,padx=2)
|
|---|
| 320 | buttonSaveCustomKeys.pack(side=LEFT,fill=X,expand=True,padx=2)
|
|---|
| 321 | frames[0].pack(side=TOP, fill=BOTH, expand=True)
|
|---|
| 322 | frames[1].pack(side=TOP, fill=X, expand=True, pady=2)
|
|---|
| 323 | return frame
|
|---|
| 324 |
|
|---|
| 325 | def CreatePageGeneral(self):
|
|---|
| 326 | #tkVars
|
|---|
| 327 | self.winWidth=StringVar(self)
|
|---|
| 328 | self.winHeight=StringVar(self)
|
|---|
| 329 | self.paraWidth=StringVar(self)
|
|---|
| 330 | self.startupEdit=IntVar(self)
|
|---|
| 331 | self.autoSave=IntVar(self)
|
|---|
| 332 | self.encoding=StringVar(self)
|
|---|
| 333 | self.userHelpBrowser=BooleanVar(self)
|
|---|
| 334 | self.helpBrowser=StringVar(self)
|
|---|
| 335 | #widget creation
|
|---|
| 336 | #body
|
|---|
| 337 | frame=self.tabPages.pages['General'].frame
|
|---|
| 338 | #body section frames
|
|---|
| 339 | frameRun=LabelFrame(frame,borderwidth=2,relief=GROOVE,
|
|---|
| 340 | text=' Startup Preferences ')
|
|---|
| 341 | frameSave=LabelFrame(frame,borderwidth=2,relief=GROOVE,
|
|---|
| 342 | text=' Autosave Preferences ')
|
|---|
| 343 | frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)
|
|---|
| 344 | frameParaSize=Frame(frame,borderwidth=2,relief=GROOVE)
|
|---|
| 345 | frameEncoding=Frame(frame,borderwidth=2,relief=GROOVE)
|
|---|
| 346 | frameHelp=LabelFrame(frame,borderwidth=2,relief=GROOVE,
|
|---|
| 347 | text=' Additional Help Sources ')
|
|---|
| 348 | #frameRun
|
|---|
| 349 | labelRunChoiceTitle=Label(frameRun,text='At Startup')
|
|---|
| 350 | radioStartupEdit=Radiobutton(frameRun,variable=self.startupEdit,
|
|---|
| 351 | value=1,command=self.SetKeysType,text="Open Edit Window")
|
|---|
| 352 | radioStartupShell=Radiobutton(frameRun,variable=self.startupEdit,
|
|---|
| 353 | value=0,command=self.SetKeysType,text='Open Shell Window')
|
|---|
| 354 | #frameSave
|
|---|
| 355 | labelRunSaveTitle=Label(frameSave,text='At Start of Run (F5) ')
|
|---|
| 356 | radioSaveAsk=Radiobutton(frameSave,variable=self.autoSave,
|
|---|
| 357 | value=0,command=self.SetKeysType,text="Prompt to Save")
|
|---|
| 358 | radioSaveAuto=Radiobutton(frameSave,variable=self.autoSave,
|
|---|
| 359 | value=1,command=self.SetKeysType,text='No Prompt')
|
|---|
| 360 | #frameWinSize
|
|---|
| 361 | labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size'+
|
|---|
| 362 | ' (in characters)')
|
|---|
| 363 | labelWinWidthTitle=Label(frameWinSize,text='Width')
|
|---|
| 364 | entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth,
|
|---|
| 365 | width=3)
|
|---|
| 366 | labelWinHeightTitle=Label(frameWinSize,text='Height')
|
|---|
| 367 | entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight,
|
|---|
| 368 | width=3)
|
|---|
| 369 | #paragraphFormatWidth
|
|---|
| 370 | labelParaWidthTitle=Label(frameParaSize,text='Paragraph reformat'+
|
|---|
| 371 | ' width (in characters)')
|
|---|
| 372 | entryParaWidth=Entry(frameParaSize,textvariable=self.paraWidth,
|
|---|
| 373 | width=3)
|
|---|
| 374 | #frameEncoding
|
|---|
| 375 | labelEncodingTitle=Label(frameEncoding,text="Default Source Encoding")
|
|---|
| 376 | radioEncLocale=Radiobutton(frameEncoding,variable=self.encoding,
|
|---|
| 377 | value="locale",text="Locale-defined")
|
|---|
| 378 | radioEncUTF8=Radiobutton(frameEncoding,variable=self.encoding,
|
|---|
| 379 | value="utf-8",text="UTF-8")
|
|---|
| 380 | radioEncNone=Radiobutton(frameEncoding,variable=self.encoding,
|
|---|
| 381 | value="none",text="None")
|
|---|
| 382 | #frameHelp
|
|---|
| 383 | frameHelpList=Frame(frameHelp)
|
|---|
| 384 | frameHelpListButtons=Frame(frameHelpList)
|
|---|
| 385 | scrollHelpList=Scrollbar(frameHelpList)
|
|---|
| 386 | self.listHelp=Listbox(frameHelpList,height=5,takefocus=FALSE,
|
|---|
| 387 | exportselection=FALSE)
|
|---|
| 388 | scrollHelpList.config(command=self.listHelp.yview)
|
|---|
| 389 | self.listHelp.config(yscrollcommand=scrollHelpList.set)
|
|---|
| 390 | self.listHelp.bind('<ButtonRelease-1>',self.HelpSourceSelected)
|
|---|
| 391 | self.buttonHelpListEdit=Button(frameHelpListButtons,text='Edit',
|
|---|
| 392 | state=DISABLED,width=8,command=self.HelpListItemEdit)
|
|---|
| 393 | self.buttonHelpListAdd=Button(frameHelpListButtons,text='Add',
|
|---|
| 394 | width=8,command=self.HelpListItemAdd)
|
|---|
| 395 | self.buttonHelpListRemove=Button(frameHelpListButtons,text='Remove',
|
|---|
| 396 | state=DISABLED,width=8,command=self.HelpListItemRemove)
|
|---|
| 397 | #widget packing
|
|---|
| 398 | #body
|
|---|
| 399 | frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
|
|---|
| 400 | frameSave.pack(side=TOP,padx=5,pady=5,fill=X)
|
|---|
| 401 | frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
|
|---|
| 402 | frameParaSize.pack(side=TOP,padx=5,pady=5,fill=X)
|
|---|
| 403 | frameEncoding.pack(side=TOP,padx=5,pady=5,fill=X)
|
|---|
| 404 | frameHelp.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
|
|---|
| 405 | #frameRun
|
|---|
| 406 | labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|---|
| 407 | radioStartupShell.pack(side=RIGHT,anchor=W,padx=5,pady=5)
|
|---|
| 408 | radioStartupEdit.pack(side=RIGHT,anchor=W,padx=5,pady=5)
|
|---|
| 409 | #frameSave
|
|---|
| 410 | labelRunSaveTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|---|
| 411 | radioSaveAuto.pack(side=RIGHT,anchor=W,padx=5,pady=5)
|
|---|
| 412 | radioSaveAsk.pack(side=RIGHT,anchor=W,padx=5,pady=5)
|
|---|
| 413 | #frameWinSize
|
|---|
| 414 | labelWinSizeTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|---|
| 415 | entryWinHeight.pack(side=RIGHT,anchor=E,padx=10,pady=5)
|
|---|
| 416 | labelWinHeightTitle.pack(side=RIGHT,anchor=E,pady=5)
|
|---|
| 417 | entryWinWidth.pack(side=RIGHT,anchor=E,padx=10,pady=5)
|
|---|
| 418 | labelWinWidthTitle.pack(side=RIGHT,anchor=E,pady=5)
|
|---|
| 419 | #paragraphFormatWidth
|
|---|
| 420 | labelParaWidthTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|---|
| 421 | entryParaWidth.pack(side=RIGHT,anchor=E,padx=10,pady=5)
|
|---|
| 422 | #frameEncoding
|
|---|
| 423 | labelEncodingTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|---|
| 424 | radioEncNone.pack(side=RIGHT,anchor=E,pady=5)
|
|---|
| 425 | radioEncUTF8.pack(side=RIGHT,anchor=E,pady=5)
|
|---|
| 426 | radioEncLocale.pack(side=RIGHT,anchor=E,pady=5)
|
|---|
| 427 | #frameHelp
|
|---|
| 428 | frameHelpListButtons.pack(side=RIGHT,padx=5,pady=5,fill=Y)
|
|---|
| 429 | frameHelpList.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
|
|---|
| 430 | scrollHelpList.pack(side=RIGHT,anchor=W,fill=Y)
|
|---|
| 431 | self.listHelp.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
|
|---|
| 432 | self.buttonHelpListEdit.pack(side=TOP,anchor=W,pady=5)
|
|---|
| 433 | self.buttonHelpListAdd.pack(side=TOP,anchor=W)
|
|---|
| 434 | self.buttonHelpListRemove.pack(side=TOP,anchor=W,pady=5)
|
|---|
| 435 | return frame
|
|---|
| 436 |
|
|---|
| 437 | def AttachVarCallbacks(self):
|
|---|
| 438 | self.fontSize.trace_variable('w',self.VarChanged_fontSize)
|
|---|
| 439 | self.fontName.trace_variable('w',self.VarChanged_fontName)
|
|---|
| 440 | self.fontBold.trace_variable('w',self.VarChanged_fontBold)
|
|---|
| 441 | self.spaceNum.trace_variable('w',self.VarChanged_spaceNum)
|
|---|
| 442 | self.colour.trace_variable('w',self.VarChanged_colour)
|
|---|
| 443 | self.builtinTheme.trace_variable('w',self.VarChanged_builtinTheme)
|
|---|
| 444 | self.customTheme.trace_variable('w',self.VarChanged_customTheme)
|
|---|
| 445 | self.themeIsBuiltin.trace_variable('w',self.VarChanged_themeIsBuiltin)
|
|---|
| 446 | self.highlightTarget.trace_variable('w',self.VarChanged_highlightTarget)
|
|---|
| 447 | self.keyBinding.trace_variable('w',self.VarChanged_keyBinding)
|
|---|
| 448 | self.builtinKeys.trace_variable('w',self.VarChanged_builtinKeys)
|
|---|
| 449 | self.customKeys.trace_variable('w',self.VarChanged_customKeys)
|
|---|
| 450 | self.keysAreBuiltin.trace_variable('w',self.VarChanged_keysAreBuiltin)
|
|---|
| 451 | self.winWidth.trace_variable('w',self.VarChanged_winWidth)
|
|---|
| 452 | self.winHeight.trace_variable('w',self.VarChanged_winHeight)
|
|---|
| 453 | self.paraWidth.trace_variable('w',self.VarChanged_paraWidth)
|
|---|
| 454 | self.startupEdit.trace_variable('w',self.VarChanged_startupEdit)
|
|---|
| 455 | self.autoSave.trace_variable('w',self.VarChanged_autoSave)
|
|---|
| 456 | self.encoding.trace_variable('w',self.VarChanged_encoding)
|
|---|
| 457 |
|
|---|
| 458 | def VarChanged_fontSize(self,*params):
|
|---|
| 459 | value=self.fontSize.get()
|
|---|
| 460 | self.AddChangedItem('main','EditorWindow','font-size',value)
|
|---|
| 461 |
|
|---|
| 462 | def VarChanged_fontName(self,*params):
|
|---|
| 463 | value=self.fontName.get()
|
|---|
| 464 | self.AddChangedItem('main','EditorWindow','font',value)
|
|---|
| 465 |
|
|---|
| 466 | def VarChanged_fontBold(self,*params):
|
|---|
| 467 | value=self.fontBold.get()
|
|---|
| 468 | self.AddChangedItem('main','EditorWindow','font-bold',value)
|
|---|
| 469 |
|
|---|
| 470 | def VarChanged_spaceNum(self,*params):
|
|---|
| 471 | value=self.spaceNum.get()
|
|---|
| 472 | self.AddChangedItem('main','Indent','num-spaces',value)
|
|---|
| 473 |
|
|---|
| 474 | def VarChanged_colour(self,*params):
|
|---|
| 475 | self.OnNewColourSet()
|
|---|
| 476 |
|
|---|
| 477 | def VarChanged_builtinTheme(self,*params):
|
|---|
| 478 | value=self.builtinTheme.get()
|
|---|
| 479 | self.AddChangedItem('main','Theme','name',value)
|
|---|
| 480 | self.PaintThemeSample()
|
|---|
| 481 |
|
|---|
| 482 | def VarChanged_customTheme(self,*params):
|
|---|
| 483 | value=self.customTheme.get()
|
|---|
| 484 | if value != '- no custom themes -':
|
|---|
| 485 | self.AddChangedItem('main','Theme','name',value)
|
|---|
| 486 | self.PaintThemeSample()
|
|---|
| 487 |
|
|---|
| 488 | def VarChanged_themeIsBuiltin(self,*params):
|
|---|
| 489 | value=self.themeIsBuiltin.get()
|
|---|
| 490 | self.AddChangedItem('main','Theme','default',value)
|
|---|
| 491 | if value:
|
|---|
| 492 | self.VarChanged_builtinTheme()
|
|---|
| 493 | else:
|
|---|
| 494 | self.VarChanged_customTheme()
|
|---|
| 495 |
|
|---|
| 496 | def VarChanged_highlightTarget(self,*params):
|
|---|
| 497 | self.SetHighlightTarget()
|
|---|
| 498 |
|
|---|
| 499 | def VarChanged_keyBinding(self,*params):
|
|---|
| 500 | value=self.keyBinding.get()
|
|---|
| 501 | keySet=self.customKeys.get()
|
|---|
| 502 | event=self.listBindings.get(ANCHOR).split()[0]
|
|---|
| 503 | if idleConf.IsCoreBinding(event):
|
|---|
| 504 | #this is a core keybinding
|
|---|
| 505 | self.AddChangedItem('keys',keySet,event,value)
|
|---|
| 506 | else: #this is an extension key binding
|
|---|
| 507 | extName=idleConf.GetExtnNameForEvent(event)
|
|---|
| 508 | extKeybindSection=extName+'_cfgBindings'
|
|---|
| 509 | self.AddChangedItem('extensions',extKeybindSection,event,value)
|
|---|
| 510 |
|
|---|
| 511 | def VarChanged_builtinKeys(self,*params):
|
|---|
| 512 | value=self.builtinKeys.get()
|
|---|
| 513 | self.AddChangedItem('main','Keys','name',value)
|
|---|
| 514 | self.LoadKeysList(value)
|
|---|
| 515 |
|
|---|
| 516 | def VarChanged_customKeys(self,*params):
|
|---|
| 517 | value=self.customKeys.get()
|
|---|
| 518 | if value != '- no custom keys -':
|
|---|
| 519 | self.AddChangedItem('main','Keys','name',value)
|
|---|
| 520 | self.LoadKeysList(value)
|
|---|
| 521 |
|
|---|
| 522 | def VarChanged_keysAreBuiltin(self,*params):
|
|---|
| 523 | value=self.keysAreBuiltin.get()
|
|---|
| 524 | self.AddChangedItem('main','Keys','default',value)
|
|---|
| 525 | if value:
|
|---|
| 526 | self.VarChanged_builtinKeys()
|
|---|
| 527 | else:
|
|---|
| 528 | self.VarChanged_customKeys()
|
|---|
| 529 |
|
|---|
| 530 | def VarChanged_winWidth(self,*params):
|
|---|
| 531 | value=self.winWidth.get()
|
|---|
| 532 | self.AddChangedItem('main','EditorWindow','width',value)
|
|---|
| 533 |
|
|---|
| 534 | def VarChanged_winHeight(self,*params):
|
|---|
| 535 | value=self.winHeight.get()
|
|---|
| 536 | self.AddChangedItem('main','EditorWindow','height',value)
|
|---|
| 537 |
|
|---|
| 538 | def VarChanged_paraWidth(self,*params):
|
|---|
| 539 | value=self.paraWidth.get()
|
|---|
| 540 | self.AddChangedItem('main','FormatParagraph','paragraph',value)
|
|---|
| 541 |
|
|---|
| 542 | def VarChanged_startupEdit(self,*params):
|
|---|
| 543 | value=self.startupEdit.get()
|
|---|
| 544 | self.AddChangedItem('main','General','editor-on-startup',value)
|
|---|
| 545 |
|
|---|
| 546 | def VarChanged_autoSave(self,*params):
|
|---|
| 547 | value=self.autoSave.get()
|
|---|
| 548 | self.AddChangedItem('main','General','autosave',value)
|
|---|
| 549 |
|
|---|
| 550 | def VarChanged_encoding(self,*params):
|
|---|
| 551 | value=self.encoding.get()
|
|---|
| 552 | self.AddChangedItem('main','EditorWindow','encoding',value)
|
|---|
| 553 |
|
|---|
| 554 | def ResetChangedItems(self):
|
|---|
| 555 | #When any config item is changed in this dialog, an entry
|
|---|
| 556 | #should be made in the relevant section (config type) of this
|
|---|
| 557 | #dictionary. The key should be the config file section name and the
|
|---|
| 558 | #value a dictionary, whose key:value pairs are item=value pairs for
|
|---|
| 559 | #that config file section.
|
|---|
| 560 | self.changedItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
|
|---|
| 561 |
|
|---|
| 562 | def AddChangedItem(self,type,section,item,value):
|
|---|
| 563 | value=str(value) #make sure we use a string
|
|---|
| 564 | if not self.changedItems[type].has_key(section):
|
|---|
| 565 | self.changedItems[type][section]={}
|
|---|
| 566 | self.changedItems[type][section][item]=value
|
|---|
| 567 |
|
|---|
| 568 | def GetDefaultItems(self):
|
|---|
| 569 | dItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
|
|---|
| 570 | for configType in dItems.keys():
|
|---|
| 571 | sections=idleConf.GetSectionList('default',configType)
|
|---|
| 572 | for section in sections:
|
|---|
| 573 | dItems[configType][section]={}
|
|---|
| 574 | options=idleConf.defaultCfg[configType].GetOptionList(section)
|
|---|
| 575 | for option in options:
|
|---|
| 576 | dItems[configType][section][option]=(
|
|---|
| 577 | idleConf.defaultCfg[configType].Get(section,option))
|
|---|
| 578 | return dItems
|
|---|
| 579 |
|
|---|
| 580 | def SetThemeType(self):
|
|---|
| 581 | if self.themeIsBuiltin.get():
|
|---|
| 582 | self.optMenuThemeBuiltin.config(state=NORMAL)
|
|---|
| 583 | self.optMenuThemeCustom.config(state=DISABLED)
|
|---|
| 584 | self.buttonDeleteCustomTheme.config(state=DISABLED)
|
|---|
| 585 | else:
|
|---|
| 586 | self.optMenuThemeBuiltin.config(state=DISABLED)
|
|---|
| 587 | self.radioThemeCustom.config(state=NORMAL)
|
|---|
| 588 | self.optMenuThemeCustom.config(state=NORMAL)
|
|---|
| 589 | self.buttonDeleteCustomTheme.config(state=NORMAL)
|
|---|
| 590 |
|
|---|
| 591 | def SetKeysType(self):
|
|---|
| 592 | if self.keysAreBuiltin.get():
|
|---|
| 593 | self.optMenuKeysBuiltin.config(state=NORMAL)
|
|---|
| 594 | self.optMenuKeysCustom.config(state=DISABLED)
|
|---|
| 595 | self.buttonDeleteCustomKeys.config(state=DISABLED)
|
|---|
| 596 | else:
|
|---|
| 597 | self.optMenuKeysBuiltin.config(state=DISABLED)
|
|---|
| 598 | self.radioKeysCustom.config(state=NORMAL)
|
|---|
| 599 | self.optMenuKeysCustom.config(state=NORMAL)
|
|---|
| 600 | self.buttonDeleteCustomKeys.config(state=NORMAL)
|
|---|
| 601 |
|
|---|
| 602 | def GetNewKeys(self):
|
|---|
| 603 | listIndex=self.listBindings.index(ANCHOR)
|
|---|
| 604 | binding=self.listBindings.get(listIndex)
|
|---|
| 605 | bindName=binding.split()[0] #first part, up to first space
|
|---|
| 606 | if self.keysAreBuiltin.get():
|
|---|
| 607 | currentKeySetName=self.builtinKeys.get()
|
|---|
| 608 | else:
|
|---|
| 609 | currentKeySetName=self.customKeys.get()
|
|---|
| 610 | currentBindings=idleConf.GetCurrentKeySet()
|
|---|
| 611 | if currentKeySetName in self.changedItems['keys'].keys(): #unsaved changes
|
|---|
| 612 | keySetChanges=self.changedItems['keys'][currentKeySetName]
|
|---|
| 613 | for event in keySetChanges.keys():
|
|---|
| 614 | currentBindings[event]=keySetChanges[event].split()
|
|---|
| 615 | currentKeySequences=currentBindings.values()
|
|---|
| 616 | newKeys=GetKeysDialog(self,'Get New Keys',bindName,
|
|---|
| 617 | currentKeySequences).result
|
|---|
| 618 | if newKeys: #new keys were specified
|
|---|
| 619 | if self.keysAreBuiltin.get(): #current key set is a built-in
|
|---|
| 620 | message=('Your changes will be saved as a new Custom Key Set. '+
|
|---|
| 621 | 'Enter a name for your new Custom Key Set below.')
|
|---|
| 622 | newKeySet=self.GetNewKeysName(message)
|
|---|
| 623 | if not newKeySet: #user cancelled custom key set creation
|
|---|
| 624 | self.listBindings.select_set(listIndex)
|
|---|
| 625 | self.listBindings.select_anchor(listIndex)
|
|---|
| 626 | return
|
|---|
| 627 | else: #create new custom key set based on previously active key set
|
|---|
| 628 | self.CreateNewKeySet(newKeySet)
|
|---|
| 629 | self.listBindings.delete(listIndex)
|
|---|
| 630 | self.listBindings.insert(listIndex,bindName+' - '+newKeys)
|
|---|
| 631 | self.listBindings.select_set(listIndex)
|
|---|
| 632 | self.listBindings.select_anchor(listIndex)
|
|---|
| 633 | self.keyBinding.set(newKeys)
|
|---|
| 634 | else:
|
|---|
| 635 | self.listBindings.select_set(listIndex)
|
|---|
| 636 | self.listBindings.select_anchor(listIndex)
|
|---|
| 637 |
|
|---|
| 638 | def GetNewKeysName(self,message):
|
|---|
| 639 | usedNames=(idleConf.GetSectionList('user','keys')+
|
|---|
| 640 | idleConf.GetSectionList('default','keys'))
|
|---|
| 641 | newKeySet=GetCfgSectionNameDialog(self,'New Custom Key Set',
|
|---|
| 642 | message,usedNames).result
|
|---|
| 643 | return newKeySet
|
|---|
| 644 |
|
|---|
| 645 | def SaveAsNewKeySet(self):
|
|---|
| 646 | newKeysName=self.GetNewKeysName('New Key Set Name:')
|
|---|
| 647 | if newKeysName:
|
|---|
| 648 | self.CreateNewKeySet(newKeysName)
|
|---|
| 649 |
|
|---|
| 650 | def KeyBindingSelected(self,event):
|
|---|
| 651 | self.buttonNewKeys.config(state=NORMAL)
|
|---|
| 652 |
|
|---|
| 653 | def CreateNewKeySet(self,newKeySetName):
|
|---|
| 654 | #creates new custom key set based on the previously active key set,
|
|---|
| 655 | #and makes the new key set active
|
|---|
| 656 | if self.keysAreBuiltin.get():
|
|---|
| 657 | prevKeySetName=self.builtinKeys.get()
|
|---|
| 658 | else:
|
|---|
| 659 | prevKeySetName=self.customKeys.get()
|
|---|
| 660 | prevKeys=idleConf.GetCoreKeys(prevKeySetName)
|
|---|
| 661 | newKeys={}
|
|---|
| 662 | for event in prevKeys.keys(): #add key set to changed items
|
|---|
| 663 | eventName=event[2:-2] #trim off the angle brackets
|
|---|
| 664 | binding=string.join(prevKeys[event])
|
|---|
| 665 | newKeys[eventName]=binding
|
|---|
| 666 | #handle any unsaved changes to prev key set
|
|---|
| 667 | if prevKeySetName in self.changedItems['keys'].keys():
|
|---|
| 668 | keySetChanges=self.changedItems['keys'][prevKeySetName]
|
|---|
| 669 | for event in keySetChanges.keys():
|
|---|
| 670 | newKeys[event]=keySetChanges[event]
|
|---|
| 671 | #save the new theme
|
|---|
| 672 | self.SaveNewKeySet(newKeySetName,newKeys)
|
|---|
| 673 | #change gui over to the new key set
|
|---|
| 674 | customKeyList=idleConf.GetSectionList('user','keys')
|
|---|
| 675 | customKeyList.sort()
|
|---|
| 676 | self.optMenuKeysCustom.SetMenu(customKeyList,newKeySetName)
|
|---|
| 677 | self.keysAreBuiltin.set(0)
|
|---|
| 678 | self.SetKeysType()
|
|---|
| 679 |
|
|---|
| 680 | def LoadKeysList(self,keySetName):
|
|---|
| 681 | reselect=0
|
|---|
| 682 | newKeySet=0
|
|---|
| 683 | if self.listBindings.curselection():
|
|---|
| 684 | reselect=1
|
|---|
| 685 | listIndex=self.listBindings.index(ANCHOR)
|
|---|
| 686 | keySet=idleConf.GetKeySet(keySetName)
|
|---|
| 687 | bindNames=keySet.keys()
|
|---|
| 688 | bindNames.sort()
|
|---|
| 689 | self.listBindings.delete(0,END)
|
|---|
| 690 | for bindName in bindNames:
|
|---|
| 691 | key=string.join(keySet[bindName]) #make key(s) into a string
|
|---|
| 692 | bindName=bindName[2:-2] #trim off the angle brackets
|
|---|
| 693 | if keySetName in self.changedItems['keys'].keys():
|
|---|
| 694 | #handle any unsaved changes to this key set
|
|---|
| 695 | if bindName in self.changedItems['keys'][keySetName].keys():
|
|---|
| 696 | key=self.changedItems['keys'][keySetName][bindName]
|
|---|
| 697 | self.listBindings.insert(END, bindName+' - '+key)
|
|---|
| 698 | if reselect:
|
|---|
| 699 | self.listBindings.see(listIndex)
|
|---|
| 700 | self.listBindings.select_set(listIndex)
|
|---|
| 701 | self.listBindings.select_anchor(listIndex)
|
|---|
| 702 |
|
|---|
| 703 | def DeleteCustomKeys(self):
|
|---|
| 704 | keySetName=self.customKeys.get()
|
|---|
| 705 | if not tkMessageBox.askyesno('Delete Key Set','Are you sure you wish '+
|
|---|
| 706 | 'to delete the key set %r ?' % (keySetName),
|
|---|
| 707 | parent=self):
|
|---|
| 708 | return
|
|---|
| 709 | #remove key set from config
|
|---|
| 710 | idleConf.userCfg['keys'].remove_section(keySetName)
|
|---|
| 711 | if self.changedItems['keys'].has_key(keySetName):
|
|---|
| 712 | del(self.changedItems['keys'][keySetName])
|
|---|
| 713 | #write changes
|
|---|
| 714 | idleConf.userCfg['keys'].Save()
|
|---|
| 715 | #reload user key set list
|
|---|
| 716 | itemList=idleConf.GetSectionList('user','keys')
|
|---|
| 717 | itemList.sort()
|
|---|
| 718 | if not itemList:
|
|---|
| 719 | self.radioKeysCustom.config(state=DISABLED)
|
|---|
| 720 | self.optMenuKeysCustom.SetMenu(itemList,'- no custom keys -')
|
|---|
| 721 | else:
|
|---|
| 722 | self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
|
|---|
| 723 | #revert to default key set
|
|---|
| 724 | self.keysAreBuiltin.set(idleConf.defaultCfg['main'].Get('Keys','default'))
|
|---|
| 725 | self.builtinKeys.set(idleConf.defaultCfg['main'].Get('Keys','name'))
|
|---|
| 726 | #user can't back out of these changes, they must be applied now
|
|---|
| 727 | self.Apply()
|
|---|
| 728 | self.SetKeysType()
|
|---|
| 729 |
|
|---|
| 730 | def DeleteCustomTheme(self):
|
|---|
| 731 | themeName=self.customTheme.get()
|
|---|
| 732 | if not tkMessageBox.askyesno('Delete Theme','Are you sure you wish '+
|
|---|
| 733 | 'to delete the theme %r ?' % (themeName,),
|
|---|
| 734 | parent=self):
|
|---|
| 735 | return
|
|---|
| 736 | #remove theme from config
|
|---|
| 737 | idleConf.userCfg['highlight'].remove_section(themeName)
|
|---|
| 738 | if self.changedItems['highlight'].has_key(themeName):
|
|---|
| 739 | del(self.changedItems['highlight'][themeName])
|
|---|
| 740 | #write changes
|
|---|
| 741 | idleConf.userCfg['highlight'].Save()
|
|---|
| 742 | #reload user theme list
|
|---|
| 743 | itemList=idleConf.GetSectionList('user','highlight')
|
|---|
| 744 | itemList.sort()
|
|---|
| 745 | if not itemList:
|
|---|
| 746 | self.radioThemeCustom.config(state=DISABLED)
|
|---|
| 747 | self.optMenuThemeCustom.SetMenu(itemList,'- no custom themes -')
|
|---|
| 748 | else:
|
|---|
| 749 | self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
|
|---|
| 750 | #revert to default theme
|
|---|
| 751 | self.themeIsBuiltin.set(idleConf.defaultCfg['main'].Get('Theme','default'))
|
|---|
| 752 | self.builtinTheme.set(idleConf.defaultCfg['main'].Get('Theme','name'))
|
|---|
| 753 | #user can't back out of these changes, they must be applied now
|
|---|
| 754 | self.Apply()
|
|---|
| 755 | self.SetThemeType()
|
|---|
| 756 |
|
|---|
| 757 | def GetColour(self):
|
|---|
| 758 | target=self.highlightTarget.get()
|
|---|
| 759 | prevColour=self.frameColourSet.cget('bg')
|
|---|
| 760 | rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
|
|---|
| 761 | title='Pick new colour for : '+target,initialcolor=prevColour)
|
|---|
| 762 | if colourString and (colourString!=prevColour):
|
|---|
| 763 | #user didn't cancel, and they chose a new colour
|
|---|
| 764 | if self.themeIsBuiltin.get(): #current theme is a built-in
|
|---|
| 765 | message=('Your changes will be saved as a new Custom Theme. '+
|
|---|
| 766 | 'Enter a name for your new Custom Theme below.')
|
|---|
| 767 | newTheme=self.GetNewThemeName(message)
|
|---|
| 768 | if not newTheme: #user cancelled custom theme creation
|
|---|
| 769 | return
|
|---|
| 770 | else: #create new custom theme based on previously active theme
|
|---|
| 771 | self.CreateNewTheme(newTheme)
|
|---|
| 772 | self.colour.set(colourString)
|
|---|
| 773 | else: #current theme is user defined
|
|---|
| 774 | self.colour.set(colourString)
|
|---|
| 775 |
|
|---|
| 776 | def OnNewColourSet(self):
|
|---|
| 777 | newColour=self.colour.get()
|
|---|
| 778 | self.frameColourSet.config(bg=newColour)#set sample
|
|---|
| 779 | if self.fgHilite.get(): plane='foreground'
|
|---|
| 780 | else: plane='background'
|
|---|
| 781 | sampleElement=self.themeElements[self.highlightTarget.get()][0]
|
|---|
| 782 | self.textHighlightSample.tag_config(sampleElement, **{plane:newColour})
|
|---|
| 783 | theme=self.customTheme.get()
|
|---|
| 784 | themeElement=sampleElement+'-'+plane
|
|---|
| 785 | self.AddChangedItem('highlight',theme,themeElement,newColour)
|
|---|
| 786 |
|
|---|
| 787 | def GetNewThemeName(self,message):
|
|---|
| 788 | usedNames=(idleConf.GetSectionList('user','highlight')+
|
|---|
| 789 | idleConf.GetSectionList('default','highlight'))
|
|---|
| 790 | newTheme=GetCfgSectionNameDialog(self,'New Custom Theme',
|
|---|
| 791 | message,usedNames).result
|
|---|
| 792 | return newTheme
|
|---|
| 793 |
|
|---|
| 794 | def SaveAsNewTheme(self):
|
|---|
| 795 | newThemeName=self.GetNewThemeName('New Theme Name:')
|
|---|
| 796 | if newThemeName:
|
|---|
| 797 | self.CreateNewTheme(newThemeName)
|
|---|
| 798 |
|
|---|
| 799 | def CreateNewTheme(self,newThemeName):
|
|---|
| 800 | #creates new custom theme based on the previously active theme,
|
|---|
| 801 | #and makes the new theme active
|
|---|
| 802 | if self.themeIsBuiltin.get():
|
|---|
| 803 | themeType='default'
|
|---|
| 804 | themeName=self.builtinTheme.get()
|
|---|
| 805 | else:
|
|---|
| 806 | themeType='user'
|
|---|
| 807 | themeName=self.customTheme.get()
|
|---|
| 808 | newTheme=idleConf.GetThemeDict(themeType,themeName)
|
|---|
| 809 | #apply any of the old theme's unsaved changes to the new theme
|
|---|
| 810 | if themeName in self.changedItems['highlight'].keys():
|
|---|
| 811 | themeChanges=self.changedItems['highlight'][themeName]
|
|---|
| 812 | for element in themeChanges.keys():
|
|---|
| 813 | newTheme[element]=themeChanges[element]
|
|---|
| 814 | #save the new theme
|
|---|
| 815 | self.SaveNewTheme(newThemeName,newTheme)
|
|---|
| 816 | #change gui over to the new theme
|
|---|
| 817 | customThemeList=idleConf.GetSectionList('user','highlight')
|
|---|
| 818 | customThemeList.sort()
|
|---|
| 819 | self.optMenuThemeCustom.SetMenu(customThemeList,newThemeName)
|
|---|
| 820 | self.themeIsBuiltin.set(0)
|
|---|
| 821 | self.SetThemeType()
|
|---|
| 822 |
|
|---|
| 823 | def OnListFontButtonRelease(self,event):
|
|---|
| 824 | font = self.listFontName.get(ANCHOR)
|
|---|
| 825 | self.fontName.set(font.lower())
|
|---|
| 826 | self.SetFontSample()
|
|---|
| 827 |
|
|---|
| 828 | def SetFontSample(self,event=None):
|
|---|
| 829 | fontName=self.fontName.get()
|
|---|
| 830 | if self.fontBold.get():
|
|---|
| 831 | fontWeight=tkFont.BOLD
|
|---|
| 832 | else:
|
|---|
| 833 | fontWeight=tkFont.NORMAL
|
|---|
| 834 | self.editFont.config(size=self.fontSize.get(),
|
|---|
| 835 | weight=fontWeight,family=fontName)
|
|---|
| 836 |
|
|---|
| 837 | def SetHighlightTarget(self):
|
|---|
| 838 | if self.highlightTarget.get()=='Cursor': #bg not possible
|
|---|
| 839 | self.radioFg.config(state=DISABLED)
|
|---|
| 840 | self.radioBg.config(state=DISABLED)
|
|---|
| 841 | self.fgHilite.set(1)
|
|---|
| 842 | else: #both fg and bg can be set
|
|---|
| 843 | self.radioFg.config(state=NORMAL)
|
|---|
| 844 | self.radioBg.config(state=NORMAL)
|
|---|
| 845 | self.fgHilite.set(1)
|
|---|
| 846 | self.SetColourSample()
|
|---|
| 847 |
|
|---|
| 848 | def SetColourSampleBinding(self,*args):
|
|---|
| 849 | self.SetColourSample()
|
|---|
| 850 |
|
|---|
| 851 | def SetColourSample(self):
|
|---|
| 852 | #set the colour smaple area
|
|---|
| 853 | tag=self.themeElements[self.highlightTarget.get()][0]
|
|---|
| 854 | if self.fgHilite.get(): plane='foreground'
|
|---|
| 855 | else: plane='background'
|
|---|
| 856 | colour=self.textHighlightSample.tag_cget(tag,plane)
|
|---|
| 857 | self.frameColourSet.config(bg=colour)
|
|---|
| 858 |
|
|---|
| 859 | def PaintThemeSample(self):
|
|---|
| 860 | if self.themeIsBuiltin.get(): #a default theme
|
|---|
| 861 | theme=self.builtinTheme.get()
|
|---|
| 862 | else: #a user theme
|
|---|
| 863 | theme=self.customTheme.get()
|
|---|
| 864 | for elementTitle in self.themeElements.keys():
|
|---|
| 865 | element=self.themeElements[elementTitle][0]
|
|---|
| 866 | colours=idleConf.GetHighlight(theme,element)
|
|---|
| 867 | if element=='cursor': #cursor sample needs special painting
|
|---|
| 868 | colours['background']=idleConf.GetHighlight(theme,
|
|---|
| 869 | 'normal', fgBg='bg')
|
|---|
| 870 | #handle any unsaved changes to this theme
|
|---|
| 871 | if theme in self.changedItems['highlight'].keys():
|
|---|
| 872 | themeDict=self.changedItems['highlight'][theme]
|
|---|
| 873 | if themeDict.has_key(element+'-foreground'):
|
|---|
| 874 | colours['foreground']=themeDict[element+'-foreground']
|
|---|
| 875 | if themeDict.has_key(element+'-background'):
|
|---|
| 876 | colours['background']=themeDict[element+'-background']
|
|---|
| 877 | self.textHighlightSample.tag_config(element, **colours)
|
|---|
| 878 | self.SetColourSample()
|
|---|
| 879 |
|
|---|
| 880 | def HelpSourceSelected(self,event):
|
|---|
| 881 | self.SetHelpListButtonStates()
|
|---|
| 882 |
|
|---|
| 883 | def SetHelpListButtonStates(self):
|
|---|
| 884 | if self.listHelp.size()<1: #no entries in list
|
|---|
| 885 | self.buttonHelpListEdit.config(state=DISABLED)
|
|---|
| 886 | self.buttonHelpListRemove.config(state=DISABLED)
|
|---|
| 887 | else: #there are some entries
|
|---|
| 888 | if self.listHelp.curselection(): #there currently is a selection
|
|---|
| 889 | self.buttonHelpListEdit.config(state=NORMAL)
|
|---|
| 890 | self.buttonHelpListRemove.config(state=NORMAL)
|
|---|
| 891 | else: #there currently is not a selection
|
|---|
| 892 | self.buttonHelpListEdit.config(state=DISABLED)
|
|---|
| 893 | self.buttonHelpListRemove.config(state=DISABLED)
|
|---|
| 894 |
|
|---|
| 895 | def HelpListItemAdd(self):
|
|---|
| 896 | helpSource=GetHelpSourceDialog(self,'New Help Source').result
|
|---|
| 897 | if helpSource:
|
|---|
| 898 | self.userHelpList.append( (helpSource[0],helpSource[1]) )
|
|---|
| 899 | self.listHelp.insert(END,helpSource[0])
|
|---|
| 900 | self.UpdateUserHelpChangedItems()
|
|---|
| 901 | self.SetHelpListButtonStates()
|
|---|
| 902 |
|
|---|
| 903 | def HelpListItemEdit(self):
|
|---|
| 904 | itemIndex=self.listHelp.index(ANCHOR)
|
|---|
| 905 | helpSource=self.userHelpList[itemIndex]
|
|---|
| 906 | newHelpSource=GetHelpSourceDialog(self,'Edit Help Source',
|
|---|
| 907 | menuItem=helpSource[0],filePath=helpSource[1]).result
|
|---|
| 908 | if (not newHelpSource) or (newHelpSource==helpSource):
|
|---|
| 909 | return #no changes
|
|---|
| 910 | self.userHelpList[itemIndex]=newHelpSource
|
|---|
| 911 | self.listHelp.delete(itemIndex)
|
|---|
| 912 | self.listHelp.insert(itemIndex,newHelpSource[0])
|
|---|
| 913 | self.UpdateUserHelpChangedItems()
|
|---|
| 914 | self.SetHelpListButtonStates()
|
|---|
| 915 |
|
|---|
| 916 | def HelpListItemRemove(self):
|
|---|
| 917 | itemIndex=self.listHelp.index(ANCHOR)
|
|---|
| 918 | del(self.userHelpList[itemIndex])
|
|---|
| 919 | self.listHelp.delete(itemIndex)
|
|---|
| 920 | self.UpdateUserHelpChangedItems()
|
|---|
| 921 | self.SetHelpListButtonStates()
|
|---|
| 922 |
|
|---|
| 923 | def UpdateUserHelpChangedItems(self):
|
|---|
| 924 | "Clear and rebuild the HelpFiles section in self.changedItems"
|
|---|
| 925 | self.changedItems['main']['HelpFiles'] = {}
|
|---|
| 926 | for num in range(1,len(self.userHelpList)+1):
|
|---|
| 927 | self.AddChangedItem('main','HelpFiles',str(num),
|
|---|
| 928 | string.join(self.userHelpList[num-1][:2],';'))
|
|---|
| 929 |
|
|---|
| 930 | def LoadFontCfg(self):
|
|---|
| 931 | ##base editor font selection list
|
|---|
| 932 | fonts=list(tkFont.families(self))
|
|---|
| 933 | fonts.sort()
|
|---|
| 934 | for font in fonts:
|
|---|
| 935 | self.listFontName.insert(END,font)
|
|---|
| 936 | configuredFont=idleConf.GetOption('main','EditorWindow','font',
|
|---|
| 937 | default='courier')
|
|---|
| 938 | lc_configuredFont = configuredFont.lower()
|
|---|
| 939 | self.fontName.set(lc_configuredFont)
|
|---|
| 940 | lc_fonts = [s.lower() for s in fonts]
|
|---|
| 941 | if lc_configuredFont in lc_fonts:
|
|---|
| 942 | currentFontIndex = lc_fonts.index(lc_configuredFont)
|
|---|
| 943 | self.listFontName.see(currentFontIndex)
|
|---|
| 944 | self.listFontName.select_set(currentFontIndex)
|
|---|
| 945 | self.listFontName.select_anchor(currentFontIndex)
|
|---|
| 946 | ##font size dropdown
|
|---|
| 947 | fontSize=idleConf.GetOption('main','EditorWindow','font-size',
|
|---|
| 948 | default='10')
|
|---|
| 949 | self.optMenuFontSize.SetMenu(('7','8','9','10','11','12','13','14',
|
|---|
| 950 | '16','18','20','22'),fontSize )
|
|---|
| 951 | ##fontWeight
|
|---|
| 952 | self.fontBold.set(idleConf.GetOption('main','EditorWindow',
|
|---|
| 953 | 'font-bold',default=0,type='bool'))
|
|---|
| 954 | ##font sample
|
|---|
| 955 | self.SetFontSample()
|
|---|
| 956 |
|
|---|
| 957 | def LoadTabCfg(self):
|
|---|
| 958 | ##indent sizes
|
|---|
| 959 | spaceNum=idleConf.GetOption('main','Indent','num-spaces',
|
|---|
| 960 | default=4,type='int')
|
|---|
| 961 | self.spaceNum.set(spaceNum)
|
|---|
| 962 |
|
|---|
| 963 | def LoadThemeCfg(self):
|
|---|
| 964 | ##current theme type radiobutton
|
|---|
| 965 | self.themeIsBuiltin.set(idleConf.GetOption('main','Theme','default',
|
|---|
| 966 | type='bool',default=1))
|
|---|
| 967 | ##currently set theme
|
|---|
| 968 | currentOption=idleConf.CurrentTheme()
|
|---|
| 969 | ##load available theme option menus
|
|---|
| 970 | if self.themeIsBuiltin.get(): #default theme selected
|
|---|
| 971 | itemList=idleConf.GetSectionList('default','highlight')
|
|---|
| 972 | itemList.sort()
|
|---|
| 973 | self.optMenuThemeBuiltin.SetMenu(itemList,currentOption)
|
|---|
| 974 | itemList=idleConf.GetSectionList('user','highlight')
|
|---|
| 975 | itemList.sort()
|
|---|
| 976 | if not itemList:
|
|---|
| 977 | self.radioThemeCustom.config(state=DISABLED)
|
|---|
| 978 | self.customTheme.set('- no custom themes -')
|
|---|
| 979 | else:
|
|---|
| 980 | self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
|
|---|
| 981 | else: #user theme selected
|
|---|
| 982 | itemList=idleConf.GetSectionList('user','highlight')
|
|---|
| 983 | itemList.sort()
|
|---|
| 984 | self.optMenuThemeCustom.SetMenu(itemList,currentOption)
|
|---|
| 985 | itemList=idleConf.GetSectionList('default','highlight')
|
|---|
| 986 | itemList.sort()
|
|---|
| 987 | self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
|
|---|
| 988 | self.SetThemeType()
|
|---|
| 989 | ##load theme element option menu
|
|---|
| 990 | themeNames=self.themeElements.keys()
|
|---|
| 991 | themeNames.sort(self.__ThemeNameIndexCompare)
|
|---|
| 992 | self.optMenuHighlightTarget.SetMenu(themeNames,themeNames[0])
|
|---|
| 993 | self.PaintThemeSample()
|
|---|
| 994 | self.SetHighlightTarget()
|
|---|
| 995 |
|
|---|
| 996 | def __ThemeNameIndexCompare(self,a,b):
|
|---|
| 997 | if self.themeElements[a][1]<self.themeElements[b][1]: return -1
|
|---|
| 998 | elif self.themeElements[a][1]==self.themeElements[b][1]: return 0
|
|---|
| 999 | else: return 1
|
|---|
| 1000 |
|
|---|
| 1001 | def LoadKeyCfg(self):
|
|---|
| 1002 | ##current keys type radiobutton
|
|---|
| 1003 | self.keysAreBuiltin.set(idleConf.GetOption('main','Keys','default',
|
|---|
| 1004 | type='bool',default=1))
|
|---|
| 1005 | ##currently set keys
|
|---|
| 1006 | currentOption=idleConf.CurrentKeys()
|
|---|
| 1007 | ##load available keyset option menus
|
|---|
| 1008 | if self.keysAreBuiltin.get(): #default theme selected
|
|---|
| 1009 | itemList=idleConf.GetSectionList('default','keys')
|
|---|
| 1010 | itemList.sort()
|
|---|
| 1011 | self.optMenuKeysBuiltin.SetMenu(itemList,currentOption)
|
|---|
| 1012 | itemList=idleConf.GetSectionList('user','keys')
|
|---|
| 1013 | itemList.sort()
|
|---|
| 1014 | if not itemList:
|
|---|
| 1015 | self.radioKeysCustom.config(state=DISABLED)
|
|---|
| 1016 | self.customKeys.set('- no custom keys -')
|
|---|
| 1017 | else:
|
|---|
| 1018 | self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
|
|---|
| 1019 | else: #user key set selected
|
|---|
| 1020 | itemList=idleConf.GetSectionList('user','keys')
|
|---|
| 1021 | itemList.sort()
|
|---|
| 1022 | self.optMenuKeysCustom.SetMenu(itemList,currentOption)
|
|---|
| 1023 | itemList=idleConf.GetSectionList('default','keys')
|
|---|
| 1024 | itemList.sort()
|
|---|
| 1025 | self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0])
|
|---|
| 1026 | self.SetKeysType()
|
|---|
| 1027 | ##load keyset element list
|
|---|
| 1028 | keySetName=idleConf.CurrentKeys()
|
|---|
| 1029 | self.LoadKeysList(keySetName)
|
|---|
| 1030 |
|
|---|
| 1031 | def LoadGeneralCfg(self):
|
|---|
| 1032 | #startup state
|
|---|
| 1033 | self.startupEdit.set(idleConf.GetOption('main','General',
|
|---|
| 1034 | 'editor-on-startup',default=1,type='bool'))
|
|---|
| 1035 | #autosave state
|
|---|
| 1036 | self.autoSave.set(idleConf.GetOption('main', 'General', 'autosave',
|
|---|
| 1037 | default=0, type='bool'))
|
|---|
| 1038 | #initial window size
|
|---|
| 1039 | self.winWidth.set(idleConf.GetOption('main','EditorWindow','width'))
|
|---|
| 1040 | self.winHeight.set(idleConf.GetOption('main','EditorWindow','height'))
|
|---|
| 1041 | #initial paragraph reformat size
|
|---|
| 1042 | self.paraWidth.set(idleConf.GetOption('main','FormatParagraph','paragraph'))
|
|---|
| 1043 | # default source encoding
|
|---|
| 1044 | self.encoding.set(idleConf.GetOption('main', 'EditorWindow',
|
|---|
| 1045 | 'encoding', default='none'))
|
|---|
| 1046 | # additional help sources
|
|---|
| 1047 | self.userHelpList = idleConf.GetAllExtraHelpSourcesList()
|
|---|
| 1048 | for helpItem in self.userHelpList:
|
|---|
| 1049 | self.listHelp.insert(END,helpItem[0])
|
|---|
| 1050 | self.SetHelpListButtonStates()
|
|---|
| 1051 |
|
|---|
| 1052 | def LoadConfigs(self):
|
|---|
| 1053 | """
|
|---|
| 1054 | load configuration from default and user config files and populate
|
|---|
| 1055 | the widgets on the config dialog pages.
|
|---|
| 1056 | """
|
|---|
| 1057 | ### fonts / tabs page
|
|---|
| 1058 | self.LoadFontCfg()
|
|---|
| 1059 | self.LoadTabCfg()
|
|---|
| 1060 | ### highlighting page
|
|---|
| 1061 | self.LoadThemeCfg()
|
|---|
| 1062 | ### keys page
|
|---|
| 1063 | self.LoadKeyCfg()
|
|---|
| 1064 | ### general page
|
|---|
| 1065 | self.LoadGeneralCfg()
|
|---|
| 1066 |
|
|---|
| 1067 | def SaveNewKeySet(self,keySetName,keySet):
|
|---|
| 1068 | """
|
|---|
| 1069 | save a newly created core key set.
|
|---|
| 1070 | keySetName - string, the name of the new key set
|
|---|
| 1071 | keySet - dictionary containing the new key set
|
|---|
| 1072 | """
|
|---|
| 1073 | if not idleConf.userCfg['keys'].has_section(keySetName):
|
|---|
| 1074 | idleConf.userCfg['keys'].add_section(keySetName)
|
|---|
| 1075 | for event in keySet.keys():
|
|---|
| 1076 | value=keySet[event]
|
|---|
| 1077 | idleConf.userCfg['keys'].SetOption(keySetName,event,value)
|
|---|
| 1078 |
|
|---|
| 1079 | def SaveNewTheme(self,themeName,theme):
|
|---|
| 1080 | """
|
|---|
| 1081 | save a newly created theme.
|
|---|
| 1082 | themeName - string, the name of the new theme
|
|---|
| 1083 | theme - dictionary containing the new theme
|
|---|
| 1084 | """
|
|---|
| 1085 | if not idleConf.userCfg['highlight'].has_section(themeName):
|
|---|
| 1086 | idleConf.userCfg['highlight'].add_section(themeName)
|
|---|
| 1087 | for element in theme.keys():
|
|---|
| 1088 | value=theme[element]
|
|---|
| 1089 | idleConf.userCfg['highlight'].SetOption(themeName,element,value)
|
|---|
| 1090 |
|
|---|
| 1091 | def SetUserValue(self,configType,section,item,value):
|
|---|
| 1092 | if idleConf.defaultCfg[configType].has_option(section,item):
|
|---|
| 1093 | if idleConf.defaultCfg[configType].Get(section,item)==value:
|
|---|
| 1094 | #the setting equals a default setting, remove it from user cfg
|
|---|
| 1095 | return idleConf.userCfg[configType].RemoveOption(section,item)
|
|---|
| 1096 | #if we got here set the option
|
|---|
| 1097 | return idleConf.userCfg[configType].SetOption(section,item,value)
|
|---|
| 1098 |
|
|---|
| 1099 | def SaveAllChangedConfigs(self):
|
|---|
| 1100 | "Save configuration changes to the user config file."
|
|---|
| 1101 | idleConf.userCfg['main'].Save()
|
|---|
| 1102 | for configType in self.changedItems.keys():
|
|---|
| 1103 | cfgTypeHasChanges = False
|
|---|
| 1104 | for section in self.changedItems[configType].keys():
|
|---|
| 1105 | if section == 'HelpFiles':
|
|---|
| 1106 | #this section gets completely replaced
|
|---|
| 1107 | idleConf.userCfg['main'].remove_section('HelpFiles')
|
|---|
| 1108 | cfgTypeHasChanges = True
|
|---|
| 1109 | for item in self.changedItems[configType][section].keys():
|
|---|
| 1110 | value = self.changedItems[configType][section][item]
|
|---|
| 1111 | if self.SetUserValue(configType,section,item,value):
|
|---|
| 1112 | cfgTypeHasChanges = True
|
|---|
| 1113 | if cfgTypeHasChanges:
|
|---|
| 1114 | idleConf.userCfg[configType].Save()
|
|---|
| 1115 | for configType in ['keys', 'highlight']:
|
|---|
| 1116 | # save these even if unchanged!
|
|---|
| 1117 | idleConf.userCfg[configType].Save()
|
|---|
| 1118 | self.ResetChangedItems() #clear the changed items dict
|
|---|
| 1119 |
|
|---|
| 1120 | def DeactivateCurrentConfig(self):
|
|---|
| 1121 | #Before a config is saved, some cleanup of current
|
|---|
| 1122 | #config must be done - remove the previous keybindings
|
|---|
| 1123 | winInstances=self.parent.instance_dict.keys()
|
|---|
| 1124 | for instance in winInstances:
|
|---|
| 1125 | instance.RemoveKeybindings()
|
|---|
| 1126 |
|
|---|
| 1127 | def ActivateConfigChanges(self):
|
|---|
| 1128 | "Dynamically apply configuration changes"
|
|---|
| 1129 | winInstances=self.parent.instance_dict.keys()
|
|---|
| 1130 | for instance in winInstances:
|
|---|
| 1131 | instance.ResetColorizer()
|
|---|
| 1132 | instance.ResetFont()
|
|---|
| 1133 | instance.set_notabs_indentwidth()
|
|---|
| 1134 | instance.ApplyKeybindings()
|
|---|
| 1135 | instance.reset_help_menu_entries()
|
|---|
| 1136 |
|
|---|
| 1137 | def Cancel(self):
|
|---|
| 1138 | self.destroy()
|
|---|
| 1139 |
|
|---|
| 1140 | def Ok(self):
|
|---|
| 1141 | self.Apply()
|
|---|
| 1142 | self.destroy()
|
|---|
| 1143 |
|
|---|
| 1144 | def Apply(self):
|
|---|
| 1145 | self.DeactivateCurrentConfig()
|
|---|
| 1146 | self.SaveAllChangedConfigs()
|
|---|
| 1147 | self.ActivateConfigChanges()
|
|---|
| 1148 |
|
|---|
| 1149 | def Help(self):
|
|---|
| 1150 | pass
|
|---|
| 1151 |
|
|---|
| 1152 | if __name__ == '__main__':
|
|---|
| 1153 | #test the dialog
|
|---|
| 1154 | root=Tk()
|
|---|
| 1155 | Button(root,text='Dialog',
|
|---|
| 1156 | command=lambda:ConfigDialog(root,'Settings')).pack()
|
|---|
| 1157 | root.instance_dict={}
|
|---|
| 1158 | root.mainloop()
|
|---|
