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