blob: 388a21cb2604a1d792f5938edfd7fc46b67d8ca6 [file] [log] [blame]
Steven M. Gava44d3d1a2001-07-31 06:59:02 +00001##---------------------------------------------------------------------------##
2##
3## idle - configuration dialog
4## elguavas
5##
6##---------------------------------------------------------------------------##
7"""
8configuration dialog
9"""
10from Tkinter import *
Steven M. Gavac01e30f2001-08-11 15:48:13 +000011import tkMessageBox, tkColorChooser, tkFont
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000012
Steven M. Gavac11ccf32001-09-24 09:43:17 +000013from configHandler import idleConf
Steven M. Gava485f7b62001-10-26 06:47:09 +000014from dynOptionMenuWidget import DynOptionMenu
Steven M. Gava60fc7072001-08-04 13:58:22 +000015
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000016class ConfigDialog(Toplevel):
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000017 """
Steven M. Gavad721c482001-07-31 10:46:53 +000018 configuration dialog for idle
19 """
20 def __init__(self,parent,title,configDict):
21 """
22 configDict - dictionary of configuration items
23 """
24 Toplevel.__init__(self, parent)
25 self.configure(borderwidth=5)
26 self.geometry("+%d+%d" % (parent.winfo_rootx()+20,
27 parent.winfo_rooty()+30))
Steven M. Gava9dd16b32001-11-03 14:54:25 +000028 #Theme Elements. Each theme element key is it's display name.
29 #The first value of the tuple is the sample area tag name.
30 #The second value is the display name list sort index.
31 #The third value indicates whether the element can have a foreground
32 #or background colour or both.
33 self.themeElements={'Normal Text':('normal','00','both'),
34 'Python Keywords':('keyword','01','both'),
35 'Python Definitions':('definition','02','both'),
36 'Python Comments':('comment','03','both'),
37 'Python Strings':('string','04','both'),
38 'Selected Text':('selected','05','both'),
39 'Found Text':('found','06','both'),
40 'Cursor':('cursor','07','fg'),
41 'Error Background':('error','08','bg'),
42 'Shell Foreground':('shfg','09','fg'),
43 'Shell Stdout Foreground':('shstdout','10','fg'),
44 'Shell Stderr Foreground':('shstderr','11','fg')}
Steven M. Gavad721c482001-07-31 10:46:53 +000045 self.CreateWidgets()
46 self.resizable(height=FALSE,width=FALSE)
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000047 self.ChangePage()
Steven M. Gavad721c482001-07-31 10:46:53 +000048 self.transient(parent)
49 self.grab_set()
50 self.protocol("WM_DELETE_WINDOW", self.Cancel)
51 self.parent = parent
52 self.framePages.focus_set()
53 #key bindings for this dialog
Steven M. Gavad721c482001-07-31 10:46:53 +000054 self.bind('<Escape>',self.CancelBinding) #dismiss dialog, no save
Steven M. Gavac01e30f2001-08-11 15:48:13 +000055 self.bind('<Alt-a>',self.ApplyBinding) #apply changes, save
Steven M. Gava952d0a52001-08-03 04:43:44 +000056 self.bind('<F1>',self.HelpBinding) #context help
Steven M. Gavad721c482001-07-31 10:46:53 +000057 self.bind('<Alt-f>',self.ChangePageBinding)
Steven M. Gava952d0a52001-08-03 04:43:44 +000058 self.bind('<Alt-h>',self.ChangePageBinding)
Steven M. Gavad721c482001-07-31 10:46:53 +000059 self.bind('<Alt-k>',self.ChangePageBinding)
60 self.bind('<Alt-g>',self.ChangePageBinding)
Steven M. Gava429a86a2001-10-23 10:42:12 +000061 self.LoadConfigs()
Steven M. Gavad721c482001-07-31 10:46:53 +000062 self.wait_window()
63
64 def Cancel(self):
65 self.destroy()
66
Steven M. Gavac01e30f2001-08-11 15:48:13 +000067 def Ok(self):
68 pass
69
70 def Apply(self):
Steven M. Gavad721c482001-07-31 10:46:53 +000071 pass
72
Steven M. Gava952d0a52001-08-03 04:43:44 +000073 def Help(self):
Steven M. Gavad721c482001-07-31 10:46:53 +000074 pass
75
Steven M. Gavad721c482001-07-31 10:46:53 +000076 def CancelBinding(self,event):
77 self.Cancel()
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000078
Steven M. Gavac01e30f2001-08-11 15:48:13 +000079 def OkBinding(self,event):
80 self.Ok()
81
82 def ApplyBinding(self,event):
83 self.Apply()
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000084
Steven M. Gava952d0a52001-08-03 04:43:44 +000085 def HelpBinding(self,event):
86 self.Help()
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000087
Steven M. Gava952d0a52001-08-03 04:43:44 +000088 def ChangePage(self):
Steven M. Gava33277c72001-08-13 04:36:58 +000089 #pop up the active 'tab' only
90 for button in self.pageButtons: button.master.config(relief=RIDGE)
91 self.pageButtons[self.pageNum.get()].master.config(relief=RAISED)
92 #switch page
Steven M. Gava952d0a52001-08-03 04:43:44 +000093 self.pages[self.pageNum.get()].lift()
Steven M. Gava230e5782001-08-07 03:28:25 +000094 self.title('Settings - '+
95 self.pageButtons[self.pageNum.get()].cget('text'))
Steven M. Gava952d0a52001-08-03 04:43:44 +000096
Steven M. Gavad721c482001-07-31 10:46:53 +000097 def ChangePageBinding(self,event):
Steven M. Gava952d0a52001-08-03 04:43:44 +000098 pageKeys=('f','h','k','g')
Steven M. Gavad721c482001-07-31 10:46:53 +000099 pos=0
100 for key in pageKeys:
101 if event.char == key:
102 self.pageNum.set(pos)
103 self.ChangePage()
104 return
105 pos=pos+1
106
Steven M. Gava952d0a52001-08-03 04:43:44 +0000107 def SetThemeType(self):
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000108 if self.themeBuiltin.get():
Steven M. Gava952d0a52001-08-03 04:43:44 +0000109 self.optMenuThemeBuiltin.config(state=NORMAL)
110 self.optMenuThemeCustom.config(state=DISABLED)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000111 self.buttonDeleteCustomTheme.config(state=DISABLED)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000112 else:
Steven M. Gava952d0a52001-08-03 04:43:44 +0000113 self.optMenuThemeBuiltin.config(state=DISABLED)
114 self.optMenuThemeCustom.config(state=NORMAL)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000115 self.buttonDeleteCustomTheme.config(state=NORMAL)
116
117 def SetKeysType(self):
118 if self.keysType.get()==0:
119 self.optMenuKeysBuiltin.config(state=NORMAL)
120 self.optMenuKeysCustom.config(state=DISABLED)
121 self.buttonDeleteCustomKeys.config(state=DISABLED)
122 elif self.keysType.get()==1:
123 self.optMenuKeysBuiltin.config(state=DISABLED)
124 self.optMenuKeysCustom.config(state=NORMAL)
125 self.buttonDeleteCustomKeys.config(state=NORMAL)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000126
Steven M. Gava074c9d22001-08-08 01:30:38 +0000127 def GetColour(self):
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000128 target=self.highlightTarget.get()
Steven M. Gava074c9d22001-08-08 01:30:38 +0000129 rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000130 title='Pick new colour for : '+target,
131 initialcolor=self.frameColourSet.cget('bg'))
Steven M. Gava074c9d22001-08-08 01:30:38 +0000132 if colourString: #user didn't cancel
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000133 self.frameColourSet.config(bg=colourString)#set sample
134 if self.fgHilite.get(): plane='foreground'
135 else: plane='background'
136 apply(self.textHighlightSample.tag_config,
137 (self.themeElements[target][0],),{plane:colourString})
138
Steven M. Gava429a86a2001-10-23 10:42:12 +0000139 def SetFontSampleBinding(self,event):
140 self.SetFontSample()
141
142 def SetFontSample(self):
143 self.editFont.config(size=self.fontSize.get(),weight=NORMAL,
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000144 family=self.listFontName.get(self.listFontName.curselection()[0]))
Steven M. Gava41a85322001-10-29 08:05:34 +0000145
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000146 def SetHighlightTargetBinding(self,*args):
Steven M. Gava7c017862001-10-29 11:19:46 +0000147 self.SetHighlightTarget()
Steven M. Gava41a85322001-10-29 08:05:34 +0000148
Steven M. Gava7c017862001-10-29 11:19:46 +0000149 def SetHighlightTarget(self):
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000150 colourPlane=self.themeElements[self.highlightTarget.get()][2]
151 if colourPlane == 'bg':
Steven M. Gava7c017862001-10-29 11:19:46 +0000152 self.radioFg.config(state=DISABLED)
153 self.radioBg.config(state=DISABLED)
154 self.fgHilite.set(0)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000155 elif colourPlane == 'fg':
Steven M. Gava7c017862001-10-29 11:19:46 +0000156 self.radioFg.config(state=DISABLED)
157 self.radioBg.config(state=DISABLED)
158 self.fgHilite.set(1)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000159 elif colourPlane == 'both':
Steven M. Gava7c017862001-10-29 11:19:46 +0000160 self.radioFg.config(state=NORMAL)
161 self.radioBg.config(state=NORMAL)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000162 self.fgHilite.set(1) #default to setting foreground attribute
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000163
Steven M. Gavad721c482001-07-31 10:46:53 +0000164 def CreateWidgets(self):
Steven M. Gava952d0a52001-08-03 04:43:44 +0000165 self.framePages = Frame(self)
Steven M. Gavad721c482001-07-31 10:46:53 +0000166 frameActionButtons = Frame(self)
Steven M. Gava33277c72001-08-13 04:36:58 +0000167 framePageButtons = Frame(self.framePages)
Steven M. Gavad721c482001-07-31 10:46:53 +0000168 #action buttons
Steven M. Gava952d0a52001-08-03 04:43:44 +0000169 self.buttonHelp = Button(frameActionButtons,text='Help',
170 command=self.Help,takefocus=FALSE)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000171 self.buttonOk = Button(frameActionButtons,text='Ok',
172 command=self.Ok,takefocus=FALSE)
173 self.buttonApply = Button(frameActionButtons,text='Apply',
174 command=self.Apply,underline=0,takefocus=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +0000175 self.buttonCancel = Button(frameActionButtons,text='Cancel',
176 command=self.Cancel,takefocus=FALSE)
177 #page buttons
178 self.pageNum=IntVar()
179 self.pageNum.set(0)
Steven M. Gava33277c72001-08-13 04:36:58 +0000180 pageButtonNames=('Fonts/Tabs','Highlighting','Keys','General')
181 self.pageButtons=[]
182 buttonValue=0
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000183 buttonSelColour=framePageButtons.cget('bg')
Steven M. Gava33277c72001-08-13 04:36:58 +0000184 for name in pageButtonNames:
185 buttonFrame=Frame(framePageButtons,borderwidth=2,relief=RIDGE)
186 buttonFrame.pack(side=LEFT)
187 button = Radiobutton(buttonFrame,command=self.ChangePage,
188 value=buttonValue,padx=5,pady=5,takefocus=FALSE,underline=0,
189 indicatoron=FALSE,highlightthickness=0,variable=self.pageNum,
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000190 selectcolor=buttonSelColour,borderwidth=0,text=name)
Steven M. Gava33277c72001-08-13 04:36:58 +0000191 button.pack()
192 button.lift()
193 self.pageButtons.append(button)
194 buttonValue=buttonValue+1
Steven M. Gavad721c482001-07-31 10:46:53 +0000195 #pages
Steven M. Gava60fc7072001-08-04 13:58:22 +0000196 self.pages=(self.CreatePageFontTab(),
Steven M. Gava952d0a52001-08-03 04:43:44 +0000197 self.CreatePageHighlight(),
198 self.CreatePageKeys(),
199 self.CreatePageGeneral())
200
Steven M. Gavad721c482001-07-31 10:46:53 +0000201 #grid in framePages so we can overlap pages
Steven M. Gava33277c72001-08-13 04:36:58 +0000202 framePageButtons.grid(row=0,column=0,sticky=NSEW)
Steven M. Gavad721c482001-07-31 10:46:53 +0000203 for page in self.pages: page.grid(row=1,column=0,sticky=(N,S,E,W))
204
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000205 self.buttonHelp.pack(side=RIGHT,padx=5,pady=5)
206 self.buttonOk.pack(side=LEFT,padx=5,pady=5)
207 self.buttonApply.pack(side=LEFT,padx=5,pady=5)
Steven M. Gavad721c482001-07-31 10:46:53 +0000208 self.buttonCancel.pack(side=LEFT,padx=5,pady=5)
209 frameActionButtons.pack(side=BOTTOM)
210 self.framePages.pack(side=TOP,expand=TRUE,fill=BOTH)
211
Steven M. Gava60fc7072001-08-04 13:58:22 +0000212 def CreatePageFontTab(self):
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000213 #tkVars
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000214 self.fontSize=StringVar()
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000215 self.fontBold=StringVar()
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000216 self.spaceNum=IntVar()
217 self.tabCols=IntVar()
218 self.indentType=IntVar()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000219 self.editFont=tkFont.Font(self,('courier',12,'normal'))
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000220 ##widget creation
221 #body frame
Steven M. Gava33277c72001-08-13 04:36:58 +0000222 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000223 #body section frames
224 frameFont=Frame(frame,borderwidth=2,relief=GROOVE)
225 frameIndent=Frame(frame,borderwidth=2,relief=GROOVE)
226 #frameFont
227 labelFontTitle=Label(frameFont,text='Set Base Editor Font')
228 frameFontName=Frame(frameFont)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000229 frameFontParam=Frame(frameFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000230 labelFontNameTitle=Label(frameFontName,justify=LEFT,
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000231 text='Font :')
232 self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
233 exportselection=FALSE)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000234 self.listFontName.bind('<<ListboxSelect>>',self.SetFontSampleBinding)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000235 scrollFont=Scrollbar(frameFontName)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000236 scrollFont.config(command=self.listFontName.yview)
237 self.listFontName.config(yscrollcommand=scrollFont.set)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000238 labelFontSizeTitle=Label(frameFontParam,text='Size :')
239 self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None,
Steven M. Gava485f7b62001-10-26 06:47:09 +0000240 command=self.SetFontSampleBinding)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000241 checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold,
242 onvalue='Bold',offvalue='',text='Bold')
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000243 frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
244 self.labelFontSample=Label(frameFontSample,
245 text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000246 justify=LEFT,font=self.editFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000247 #frameIndent
248 labelIndentTitle=Label(frameIndent,text='Set Indentation Defaults')
249 frameIndentType=Frame(frameIndent)
250 frameIndentSize=Frame(frameIndent)
251 labelIndentTypeTitle=Label(frameIndentType,
252 text='Choose indentation type :')
253 radioUseSpaces=Radiobutton(frameIndentType,variable=self.indentType,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000254 value=1,text='Tab key inserts spaces')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000255 radioUseTabs=Radiobutton(frameIndentType,variable=self.indentType,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000256 value=0,text='Tab key inserts tabs')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000257 labelIndentSizeTitle=Label(frameIndentSize,
258 text='Choose indentation size :')
259 labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT,
260 text='when tab key inserts spaces,\nspaces per tab')
261 self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum,
262 orient='horizontal',tickinterval=2,from_=2,to=8)
263 labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
264 text='when tab key inserts tabs,\ncolumns per tab')
265 self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
266 orient='horizontal',tickinterval=2,from_=2,to=8)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000267 #widget packing
268 #body
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000269 frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
270 frameIndent.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000271 #frameFont
272 labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000273 frameFontName.pack(side=TOP,padx=5,pady=5,fill=X)
274 frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000275 labelFontNameTitle.pack(side=TOP,anchor=W)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000276 self.listFontName.pack(side=LEFT,expand=TRUE,fill=X)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000277 scrollFont.pack(side=LEFT,fill=Y)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000278 labelFontSizeTitle.pack(side=LEFT,anchor=W)
279 self.optMenuFontSize.pack(side=LEFT,anchor=W)
280 checkFontBold.pack(side=LEFT,anchor=W,padx=20)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000281 frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000282 self.labelFontSample.pack(expand=TRUE,fill=BOTH)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000283 #frameIndent
284 labelIndentTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
285 frameIndentType.pack(side=TOP,padx=5,fill=X)
286 frameIndentSize.pack(side=TOP,padx=5,pady=5,fill=BOTH)
287 labelIndentTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
288 radioUseSpaces.pack(side=TOP,anchor=W,padx=5)
289 radioUseTabs.pack(side=TOP,anchor=W,padx=5)
290 labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
291 labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
292 self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
293 labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
294 self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000295 return frame
296
297 def CreatePageHighlight(self):
Steven M. Gava952d0a52001-08-03 04:43:44 +0000298 self.builtinTheme=StringVar()
299 self.customTheme=StringVar()
Steven M. Gava7c017862001-10-29 11:19:46 +0000300 self.fgHilite=IntVar()
Steven M. Gava952d0a52001-08-03 04:43:44 +0000301 self.colour=StringVar()
302 self.fontName=StringVar()
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000303 self.themeBuiltin=IntVar()
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000304 self.highlightTarget=StringVar()
305 self.highlightTarget.trace_variable('w',self.SetHighlightTargetBinding)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000306 ##widget creation
307 #body frame
Steven M. Gava33277c72001-08-13 04:36:58 +0000308 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000309 #body section frames
310 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
311 frameTheme=Frame(frame,borderwidth=2,relief=GROOVE)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000312 #frameCustom
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000313 self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1,
314 font=('courier',12,''),cursor='hand2',width=10,height=10,
315 takefocus=FALSE,highlightthickness=0)
316 text=self.textHighlightSample
317 text.bind('<Double-Button-1>',lambda e: 'break')
318 text.bind('<B1-Motion>',lambda e: 'break')
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000319 textAndTags=(('#you can click in here','comment'),('\n','normal'),
320 ('#to choose items','comment'),('\n','normal'),('def','keyword'),
321 (' ','normal'),('func','definition'),('(param):','normal'),
322 ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'),
Steven M. Gava99300612001-11-04 07:03:08 +0000323 ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'selected'),
324 ('\n var2 = ','normal'),("'found'",'found'),('\n\n','normal'),
325 (' error ','error'),(' ','normal'),('cursor |','cursor'),
326 ('\n ','normal'),('shell','shfg'),(' ','normal'),('stdout','shstdout'),
327 (' ','normal'),('stderr','shstderr'),('\n','normal'))
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000328 for txTa in textAndTags:
329 text.insert(END,txTa[0],txTa[1])
330 for element in self.themeElements.keys():
331 text.tag_bind(self.themeElements[element][0],'<ButtonPress-1>',
332 lambda event,elem=element: event.widget.winfo_toplevel()
333 .highlightTarget.set(elem))
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000334 text.config(state=DISABLED)
335 self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1)
Steven M. Gava7c017862001-10-29 11:19:46 +0000336 frameFgBg=Frame(frameCustom)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000337 labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting')
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000338 buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :',
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000339 command=self.GetColour,highlightthickness=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000340 self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet,
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000341 self.highlightTarget,None,highlightthickness=0)#,command=self.SetHighlightTargetBinding
Steven M. Gava7c017862001-10-29 11:19:46 +0000342 self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000343 value=1,text='Foreground')#,command=self.SetFgBg
Steven M. Gava7c017862001-10-29 11:19:46 +0000344 self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000345 value=0,text='Background')#,command=self.SetFgBg
Steven M. Gava7c017862001-10-29 11:19:46 +0000346 self.fgHilite.set(1)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000347 buttonSaveCustomTheme=Button(frameCustom,
Steven M. Gava952d0a52001-08-03 04:43:44 +0000348 text='Save as a Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000349 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000350 labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme')
351 labelTypeTitle=Label(frameTheme,text='Select : ')
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000352 self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeBuiltin,
Steven M. Gava952d0a52001-08-03 04:43:44 +0000353 value=0,command=self.SetThemeType,text='a Built-in Theme')
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000354 self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeBuiltin,
Steven M. Gava952d0a52001-08-03 04:43:44 +0000355 value=1,command=self.SetThemeType,text='a Custom Theme')
Steven M. Gava41a85322001-10-29 08:05:34 +0000356 self.optMenuThemeBuiltin=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000357 self.builtinTheme,None,command=None)
Steven M. Gava41a85322001-10-29 08:05:34 +0000358 self.optMenuThemeCustom=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000359 self.customTheme,None,command=None)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000360 self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000361 ##widget packing
362 #body
Steven M. Gava60fc7072001-08-04 13:58:22 +0000363 frameCustom.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
364 frameTheme.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000365 #frameCustom
366 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000367 self.frameColourSet.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=X)
Steven M. Gava7c017862001-10-29 11:19:46 +0000368 frameFgBg.pack(side=TOP,padx=5,pady=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000369 self.textHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,
370 fill=BOTH)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000371 buttonSetColour.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=4)
372 self.optMenuHighlightTarget.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=3)
Steven M. Gava7c017862001-10-29 11:19:46 +0000373 self.radioFg.pack(side=LEFT,anchor=E)
374 self.radioBg.pack(side=RIGHT,anchor=W)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000375 buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000376 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000377 labelThemeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
378 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000379 self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
380 self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000381 self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
382 self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000383 self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000384 return frame
385
386 def CreatePageKeys(self):
Steven M. Gava60fc7072001-08-04 13:58:22 +0000387 #tkVars
388 self.bindingTarget=StringVar()
389 self.builtinKeys=StringVar()
390 self.customKeys=StringVar()
391 self.keyChars=StringVar()
392 self.keyCtrl=StringVar()
393 self.keyAlt=StringVar()
394 self.keyShift=StringVar()
395 self.keysType=IntVar()
396 ##widget creation
397 #body frame
Steven M. Gava33277c72001-08-13 04:36:58 +0000398 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000399 #body section frames
400 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
401 frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE)
402 #frameCustom
403 frameTarget=Frame(frameCustom)
404 frameSet=Frame(frameCustom)
405 labelCustomTitle=Label(frameCustom,text='Set Custom Key Bindings')
406 labelTargetTitle=Label(frameTarget,text='Action')
407 scrollTarget=Scrollbar(frameTarget)
408 listTarget=Listbox(frameTarget)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000409 scrollTarget.config(command=listTarget.yview)
410 listTarget.config(yscrollcommand=scrollTarget.set)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000411 labelKeyBindTitle=Label(frameSet,text='Binding')
412 labelModifierTitle=Label(frameSet,text='Modifier:')
413 checkCtrl=Checkbutton(frameSet,text='Ctrl')
414 checkAlt=Checkbutton(frameSet,text='Alt')
415 checkShift=Checkbutton(frameSet,text='Shift')
416 labelKeyEntryTitle=Label(frameSet,text='Key:')
417 entryKey=Entry(frameSet,width=4)
418 buttonSaveCustomKeys=Button(frameCustom,text='Save as a Custom Key Set')
419 #frameKeySets
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000420 labelKeysTitle=Label(frameKeySets,text='Select a Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000421 labelTypeTitle=Label(frameKeySets,text='Select : ')
Steven M. Gava41a85322001-10-29 08:05:34 +0000422 self.radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysType,
Steven M. Gava60fc7072001-08-04 13:58:22 +0000423 value=0,command=self.SetKeysType,text='a Built-in Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000424 self.radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysType,
Steven M. Gava60fc7072001-08-04 13:58:22 +0000425 value=1,command=self.SetKeysType,text='a Custom Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000426 self.optMenuKeysBuiltin=DynOptionMenu(frameKeySets,
427 self.builtinKeys,None,command=None)
428 self.optMenuKeysCustom=DynOptionMenu(frameKeySets,
429 self.customKeys,None,command=None)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000430 self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000431# self.SetKeysType()
Steven M. Gava60fc7072001-08-04 13:58:22 +0000432 ##widget packing
433 #body
434 frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
435 frameKeySets.pack(side=LEFT,padx=5,pady=5,fill=Y)
436 #frameCustom
437 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
438 buttonSaveCustomKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
439 frameTarget.pack(side=LEFT,padx=5,pady=5,fill=Y)
440 frameSet.pack(side=LEFT,padx=5,pady=5,fill=Y)
441 labelTargetTitle.pack(side=TOP,anchor=W)
442 scrollTarget.pack(side=RIGHT,anchor=W,fill=Y)
443 listTarget.pack(side=TOP,anchor=W,expand=TRUE,fill=BOTH)
444 labelKeyBindTitle.pack(side=TOP,anchor=W)
445 labelModifierTitle.pack(side=TOP,anchor=W,pady=5)
446 checkCtrl.pack(side=TOP,anchor=W)
447 checkAlt.pack(side=TOP,anchor=W,pady=2)
448 checkShift.pack(side=TOP,anchor=W)
449 labelKeyEntryTitle.pack(side=TOP,anchor=W,pady=5)
450 entryKey.pack(side=TOP,anchor=W)
451 #frameKeySets
452 labelKeysTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
453 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000454 self.radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5)
455 self.radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000456 self.optMenuKeysBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
457 self.optMenuKeysCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
458 self.buttonDeleteCustomKeys.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000459 return frame
460
461 def CreatePageGeneral(self):
Steven M. Gava230e5782001-08-07 03:28:25 +0000462 #tkVars
463 self.runType=IntVar()
464 self.winWidth=StringVar()
465 self.winHeight=StringVar()
466 self.extState=IntVar()
467 #widget creation
468 #body
Steven M. Gava33277c72001-08-13 04:36:58 +0000469 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gava230e5782001-08-07 03:28:25 +0000470 #body section frames
471 frameRun=Frame(frame,borderwidth=2,relief=GROOVE)
472 frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)
473 frameExt=Frame(frame,borderwidth=2,relief=GROOVE)
474 #frameRun
475 labelRunTitle=Label(frameRun,text='Run Preferences')
476 labelRunChoiceTitle=Label(frameRun,text='Run code : ')
477 radioRunInternal=Radiobutton(frameRun,variable=self.runType,
478 value=0,command=self.SetKeysType,text="in IDLE's Process")
479 radioRunSeparate=Radiobutton(frameRun,variable=self.runType,
480 value=1,command=self.SetKeysType,text='in a Separate Process')
481 #frameWinSize
482 labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size')
483 buttonWinSizeSet=Button(frameWinSize,text='Set to current window size')
484 labelWinWidthTitle=Label(frameWinSize,text='Width')
485 entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth,
486 width=3)
487 labelWinHeightTitle=Label(frameWinSize,text='Height')
488 entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight,
489 width=3)
490 #frameExt
491 frameExtList=Frame(frameExt)
492 frameExtSet=Frame(frameExt)
493 labelExtTitle=Label(frameExt,text='Configure IDLE Extensions')
494 labelExtListTitle=Label(frameExtList,text='Extension')
495 scrollExtList=Scrollbar(frameExtList)
496 listExt=Listbox(frameExtList,height=5)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000497 scrollExtList.config(command=listExt.yview)
498 listExt.config(yscrollcommand=scrollExtList.set)
Steven M. Gava230e5782001-08-07 03:28:25 +0000499 labelExtSetTitle=Label(frameExtSet,text='Settings')
500 radioEnableExt=Radiobutton(frameExtSet,variable=self.extState,
501 value=1,text="enable")
502 radioDisableExt=Radiobutton(frameExtSet,variable=self.extState,
503 value=0,text="disable")
504 self.extState.set(1)
505 buttonExtConfig=Button(frameExtSet,text='Configure')
506
507 #widget packing
508 #body
509 frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
510 frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
511 frameExt.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
512 #frameRun
513 labelRunTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
514 labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
515 radioRunInternal.pack(side=LEFT,anchor=W,padx=5,pady=5)
516 radioRunSeparate.pack(side=LEFT,anchor=W,padx=5,pady=5)
517 #frameWinSize
518 labelWinSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
519 buttonWinSizeSet.pack(side=LEFT,anchor=W,padx=5,pady=5)
520 labelWinWidthTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
521 entryWinWidth.pack(side=LEFT,anchor=W,padx=5,pady=5)
522 labelWinHeightTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
523 entryWinHeight.pack(side=LEFT,anchor=W,padx=5,pady=5)
524 #frameExt
525 labelExtTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
526 frameExtSet.pack(side=RIGHT,padx=5,pady=5,fill=Y)
527 frameExtList.pack(side=RIGHT,padx=5,pady=5,expand=TRUE,fill=BOTH)
528 labelExtListTitle.pack(side=TOP,anchor=W)
529 scrollExtList.pack(side=RIGHT,anchor=W,fill=Y)
530 listExt.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
531 labelExtSetTitle.pack(side=TOP,anchor=W)
532 radioEnableExt.pack(side=TOP,anchor=W)
533 radioDisableExt.pack(side=TOP,anchor=W)
534 buttonExtConfig.pack(side=TOP,anchor=W,pady=5)
535
Steven M. Gava952d0a52001-08-03 04:43:44 +0000536 return frame
537
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000538 def PaintThemeSample(self):
Steven M. Gava99300612001-11-04 07:03:08 +0000539 if self.themeBuiltin.get: #a default theme
540 theme=self.builtinTheme.get()
541 else: #a user theme
542 theme=self.customTheme.get()
543 colours=idleConf.GetHighlight(theme, 'normal')
544 #normalBg=colours['background']
545 apply(self.textHighlightSample.tag_config,('normal',),colours)
546 colours=idleConf.GetHighlight(theme, 'keyword')
547 apply(self.textHighlightSample.tag_config,('keyword',),colours)
548 colours=idleConf.GetHighlight(theme, 'comment')
549 apply(self.textHighlightSample.tag_config,('comment',),colours)
550 colours=idleConf.GetHighlight(theme, 'definition')
551 apply(self.textHighlightSample.tag_config,('definition',),colours)
552 colours=idleConf.GetHighlight(theme, 'string')
553 apply(self.textHighlightSample.tag_config,('string',),colours)
554 colours=idleConf.GetHighlight(theme, 'hilite')
555 apply(self.textHighlightSample.tag_config,('selected',),colours)
556 colours=idleConf.GetHighlight(theme, 'hit')
557 apply(self.textHighlightSample.tag_config,('found',),colours)
558 colours=idleConf.GetHighlight(theme, 'cursor')
559 apply(self.textHighlightSample.tag_config,('cursor',),colours)
560 colours=idleConf.GetHighlight(theme, 'error')
561 apply(self.textHighlightSample.tag_config,('error',),colours)
562 colours=idleConf.GetHighlight(theme, 'console')
563 apply(self.textHighlightSample.tag_config,('shfg',),colours)
564 colours=idleConf.GetHighlight(theme, 'stdout')
565 apply(self.textHighlightSample.tag_config,('shstdout',),colours)
566 colours=idleConf.GetHighlight(theme, 'stderr')
567 apply(self.textHighlightSample.tag_config,('shstderr',),colours)
568
Steven M. Gava429a86a2001-10-23 10:42:12 +0000569 def LoadFontCfg(self):
570 ##base editor font selection list
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000571 fonts=list(tkFont.families(self))
572 fonts.sort()
573 for font in fonts:
574 self.listFontName.insert(END,font)
Steven M. Gava485f7b62001-10-26 06:47:09 +0000575 configuredFont=idleConf.GetOption('main','EditorWindow','font',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000576 default='courier')
577 if configuredFont in fonts:
578 currentFontIndex=fonts.index(configuredFont)
579 self.listFontName.see(currentFontIndex)
580 self.listFontName.select_set(currentFontIndex)
581 ##font size dropdown
Steven M. Gava485f7b62001-10-26 06:47:09 +0000582 fontSize=idleConf.GetOption('main','EditorWindow','font-size',default='12')
583 self.optMenuFontSize.SetMenu(('10','11','12','13','14',
584 '16','18','20','22'),fontSize )
Steven M. Gava429a86a2001-10-23 10:42:12 +0000585 ##font sample
586 self.SetFontSample()
587
588 def LoadTabCfg(self):
589 ##indent type radibuttons
Steven M. Gava485f7b62001-10-26 06:47:09 +0000590 spaceIndent=idleConf.GetOption('main','Indent','use-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000591 default=1,type='bool')
592 self.indentType.set(spaceIndent)
593 ##indent sizes
Steven M. Gava485f7b62001-10-26 06:47:09 +0000594 spaceNum=idleConf.GetOption('main','Indent','num-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000595 default=4,type='int')
Steven M. Gava485f7b62001-10-26 06:47:09 +0000596 tabCols=idleConf.GetOption('main','Indent','tab-cols',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000597 default=4,type='int')
598 self.spaceNum.set(spaceNum)
599 self.tabCols.set(tabCols)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000600
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000601 def LoadThemeCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000602 ##current theme type radiobutton
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000603 self.themeBuiltin.set(idleConf.GetOption('main','Theme','user',type='int'))
Steven M. Gava41a85322001-10-29 08:05:34 +0000604 ##currently set theme
605 currentOption=idleConf.GetOption('main','Theme','name')
Steven M. Gava7c017862001-10-29 11:19:46 +0000606 ##load available theme option menus
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000607 if self.themeBuiltin.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000608 itemList=idleConf.GetSectionList('default','highlight')
609 self.optMenuThemeBuiltin.SetMenu(itemList,currentOption)
610 itemList=idleConf.GetSectionList('user','highlight')
611 if not itemList:
612 self.radioThemeCustom.config(state=DISABLED)
613 self.customTheme.set('- no custom themes -')
614 else:
615 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000616 else: #user theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000617 itemList=idleConf.GetSectionList('user','highlight')
618 self.optMenuThemeCustom.SetMenu(itemList,currentOption)
619 itemList=idleConf.GetSectionList('default','highlight')
620 self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
Steven M. Gava7c017862001-10-29 11:19:46 +0000621 self.SetThemeType()
622 ##load theme element option menu
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000623 themeNames=self.themeElements.keys()
624 themeNames.sort(self.__ThemeNameIndexCompare)
625 self.optMenuHighlightTarget.SetMenu(themeNames,themeNames[0])
626 self.PaintThemeSample()
Steven M. Gava41a85322001-10-29 08:05:34 +0000627
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000628 def __ThemeNameIndexCompare(self,a,b):
629 if self.themeElements[a][1]<self.themeElements[b][1]: return -1
630 elif self.themeElements[a][1]==self.themeElements[b][1]: return 0
631 else: return 1
632
633 def LoadKeyCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000634 ##current keys type radiobutton
635 self.keysType.set(idleConf.GetOption('main','Keys','user',type='int'))
636 ##currently set keys
637 currentOption=idleConf.GetOption('main','Keys','name')
Steven M. Gava7c017862001-10-29 11:19:46 +0000638 ##load available keyset option menus
Steven M. Gava41a85322001-10-29 08:05:34 +0000639 if self.keysType.get() == 0: #default theme selected
640 itemList=idleConf.GetSectionList('default','keys')
641 self.optMenuKeysBuiltin.SetMenu(itemList,currentOption)
642 itemList=idleConf.GetSectionList('user','keys')
643 if not itemList:
644 self.radioKeysCustom.config(state=DISABLED)
645 self.customKeys.set('- no custom keys -')
646 else:
647 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
648 elif self.keysType.get() == 1: #user theme selected
649 itemList=idleConf.GetSectionList('user','keys')
650 self.optMenuKeysCustom.SetMenu(itemList,currentOption)
651 itemList=idleConf.GetSectionList('default','keys')
652 self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0])
653 self.SetKeysType()
Steven M. Gava7c017862001-10-29 11:19:46 +0000654 ##load keyset element option menu
Steven M. Gava41a85322001-10-29 08:05:34 +0000655
Steven M. Gava429a86a2001-10-23 10:42:12 +0000656 def LoadConfigs(self):
657 """
658 load configuration from default and user config files and populate
659 the widgets on the config dialog pages.
660 """
661 ### fonts / tabs page
662 self.LoadFontCfg()
663 self.LoadTabCfg()
664 ### highlighting page
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000665 self.LoadThemeCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000666 ### keys page
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000667 self.LoadKeyCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000668 ### help page
669 ### general page
670
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000671 def SaveConfigs(self):
Steven M. Gava429a86a2001-10-23 10:42:12 +0000672 """
673 save configuration changes to user config files.
674 """
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000675 pass
676
Steven M. Gava44d3d1a2001-07-31 06:59:02 +0000677if __name__ == '__main__':
Steven M. Gavad721c482001-07-31 10:46:53 +0000678 #test the dialog
679 root=Tk()
680 Button(root,text='Dialog',
681 command=lambda:ConfigDialog(root,'Settings',None)).pack()
682 root.mainloop()