blob: 7a498a394b564c4abe3bac3e3732739c5bbb9f68 [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. Gavac11ccf32001-09-24 09:43:17 +000028 #self.LoadConfig()
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000029
Steven M. Gavad721c482001-07-31 10:46:53 +000030 self.CreateWidgets()
31 self.resizable(height=FALSE,width=FALSE)
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000032 self.ChangePage()
Steven M. Gavad721c482001-07-31 10:46:53 +000033 self.transient(parent)
34 self.grab_set()
35 self.protocol("WM_DELETE_WINDOW", self.Cancel)
36 self.parent = parent
37 self.framePages.focus_set()
38 #key bindings for this dialog
Steven M. Gavad721c482001-07-31 10:46:53 +000039 self.bind('<Escape>',self.CancelBinding) #dismiss dialog, no save
Steven M. Gavac01e30f2001-08-11 15:48:13 +000040 self.bind('<Alt-a>',self.ApplyBinding) #apply changes, save
Steven M. Gava952d0a52001-08-03 04:43:44 +000041 self.bind('<F1>',self.HelpBinding) #context help
Steven M. Gavad721c482001-07-31 10:46:53 +000042 self.bind('<Alt-f>',self.ChangePageBinding)
Steven M. Gava952d0a52001-08-03 04:43:44 +000043 self.bind('<Alt-h>',self.ChangePageBinding)
Steven M. Gavad721c482001-07-31 10:46:53 +000044 self.bind('<Alt-k>',self.ChangePageBinding)
45 self.bind('<Alt-g>',self.ChangePageBinding)
Steven M. Gavac11ccf32001-09-24 09:43:17 +000046 #self.LoadOptMenuHighlightTarget()
Steven M. Gava429a86a2001-10-23 10:42:12 +000047
48 self.LoadConfigs()
49
Steven M. Gavad721c482001-07-31 10:46:53 +000050 self.wait_window()
51
52 def Cancel(self):
53 self.destroy()
54
Steven M. Gavac01e30f2001-08-11 15:48:13 +000055 def Ok(self):
56 pass
57
58 def Apply(self):
Steven M. Gavad721c482001-07-31 10:46:53 +000059 pass
60
Steven M. Gava952d0a52001-08-03 04:43:44 +000061 def Help(self):
Steven M. Gavad721c482001-07-31 10:46:53 +000062 pass
63
Steven M. Gavad721c482001-07-31 10:46:53 +000064 def CancelBinding(self,event):
65 self.Cancel()
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000066
Steven M. Gavac01e30f2001-08-11 15:48:13 +000067 def OkBinding(self,event):
68 self.Ok()
69
70 def ApplyBinding(self,event):
71 self.Apply()
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000072
Steven M. Gava952d0a52001-08-03 04:43:44 +000073 def HelpBinding(self,event):
74 self.Help()
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000075
Steven M. Gava952d0a52001-08-03 04:43:44 +000076 def ChangePage(self):
Steven M. Gava33277c72001-08-13 04:36:58 +000077 #pop up the active 'tab' only
78 for button in self.pageButtons: button.master.config(relief=RIDGE)
79 self.pageButtons[self.pageNum.get()].master.config(relief=RAISED)
80 #switch page
Steven M. Gava952d0a52001-08-03 04:43:44 +000081 self.pages[self.pageNum.get()].lift()
Steven M. Gava230e5782001-08-07 03:28:25 +000082 self.title('Settings - '+
83 self.pageButtons[self.pageNum.get()].cget('text'))
Steven M. Gava952d0a52001-08-03 04:43:44 +000084
Steven M. Gavad721c482001-07-31 10:46:53 +000085 def ChangePageBinding(self,event):
Steven M. Gava952d0a52001-08-03 04:43:44 +000086 pageKeys=('f','h','k','g')
Steven M. Gavad721c482001-07-31 10:46:53 +000087 pos=0
88 for key in pageKeys:
89 if event.char == key:
90 self.pageNum.set(pos)
91 self.ChangePage()
92 return
93 pos=pos+1
94
Steven M. Gava952d0a52001-08-03 04:43:44 +000095 def SetThemeType(self):
96 if self.themeType.get()==0:
97 self.optMenuThemeBuiltin.config(state=NORMAL)
98 self.optMenuThemeCustom.config(state=DISABLED)
Steven M. Gava60fc7072001-08-04 13:58:22 +000099 self.buttonDeleteCustomTheme.config(state=DISABLED)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000100 elif self.themeType.get()==1:
101 self.optMenuThemeBuiltin.config(state=DISABLED)
102 self.optMenuThemeCustom.config(state=NORMAL)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000103 self.buttonDeleteCustomTheme.config(state=NORMAL)
104
105 def SetKeysType(self):
106 if self.keysType.get()==0:
107 self.optMenuKeysBuiltin.config(state=NORMAL)
108 self.optMenuKeysCustom.config(state=DISABLED)
109 self.buttonDeleteCustomKeys.config(state=DISABLED)
110 elif self.keysType.get()==1:
111 self.optMenuKeysBuiltin.config(state=DISABLED)
112 self.optMenuKeysCustom.config(state=NORMAL)
113 self.buttonDeleteCustomKeys.config(state=NORMAL)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000114
Steven M. Gava074c9d22001-08-08 01:30:38 +0000115 def GetColour(self):
116 rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
117 title='Pick new colour for : '+self.highlightTarget.get(),
118 initialcolor=self.workingTestColours['Foo-Bg'])#._root()
119 if colourString: #user didn't cancel
120 self.workingTestColours['Foo-Bg']=colourString
121 self.frameColourSet.config(bg=self.workingTestColours['Foo-Bg'])
122 self.labelTestSample.config(bg=self.workingTestColours['Foo-Bg'])
123 self.frameHighlightSample.config(bg=self.workingTestColours['Foo-Bg'])
124 self.frameColourSet.update() #redraw after dialog
125 self.frameHighlightSample.update() #redraw after dialog
126 self.labelTestSample.update()
127
Steven M. Gava429a86a2001-10-23 10:42:12 +0000128 def SetFontSampleBinding(self,event):
129 self.SetFontSample()
130
131 def SetFontSample(self):
132 self.editFont.config(size=self.fontSize.get(),weight=NORMAL,
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000133 family=self.listFontName.get(self.listFontName.curselection()[0]))
Steven M. Gava41a85322001-10-29 08:05:34 +0000134
135 def SetHighlightSampleBinding(self,event):
136 self.SetHighlightSample()
137
138 def SetHighlightSample(self):
139 pass
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000140
Steven M. Gavad721c482001-07-31 10:46:53 +0000141 def CreateWidgets(self):
Steven M. Gava952d0a52001-08-03 04:43:44 +0000142 self.framePages = Frame(self)
Steven M. Gavad721c482001-07-31 10:46:53 +0000143 frameActionButtons = Frame(self)
Steven M. Gava33277c72001-08-13 04:36:58 +0000144 framePageButtons = Frame(self.framePages)
Steven M. Gavad721c482001-07-31 10:46:53 +0000145 #action buttons
Steven M. Gava952d0a52001-08-03 04:43:44 +0000146 self.buttonHelp = Button(frameActionButtons,text='Help',
147 command=self.Help,takefocus=FALSE)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000148 self.buttonOk = Button(frameActionButtons,text='Ok',
149 command=self.Ok,takefocus=FALSE)
150 self.buttonApply = Button(frameActionButtons,text='Apply',
151 command=self.Apply,underline=0,takefocus=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +0000152 self.buttonCancel = Button(frameActionButtons,text='Cancel',
153 command=self.Cancel,takefocus=FALSE)
154 #page buttons
155 self.pageNum=IntVar()
156 self.pageNum.set(0)
Steven M. Gava33277c72001-08-13 04:36:58 +0000157 pageButtonNames=('Fonts/Tabs','Highlighting','Keys','General')
158 self.pageButtons=[]
159 buttonValue=0
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000160 buttonSelColour=framePageButtons.cget('bg')
Steven M. Gava33277c72001-08-13 04:36:58 +0000161 for name in pageButtonNames:
162 buttonFrame=Frame(framePageButtons,borderwidth=2,relief=RIDGE)
163 buttonFrame.pack(side=LEFT)
164 button = Radiobutton(buttonFrame,command=self.ChangePage,
165 value=buttonValue,padx=5,pady=5,takefocus=FALSE,underline=0,
166 indicatoron=FALSE,highlightthickness=0,variable=self.pageNum,
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000167 selectcolor=buttonSelColour,borderwidth=0,text=name)
Steven M. Gava33277c72001-08-13 04:36:58 +0000168 button.pack()
169 button.lift()
170 self.pageButtons.append(button)
171 buttonValue=buttonValue+1
Steven M. Gavad721c482001-07-31 10:46:53 +0000172 #pages
Steven M. Gava60fc7072001-08-04 13:58:22 +0000173 self.pages=(self.CreatePageFontTab(),
Steven M. Gava952d0a52001-08-03 04:43:44 +0000174 self.CreatePageHighlight(),
175 self.CreatePageKeys(),
176 self.CreatePageGeneral())
177
Steven M. Gavad721c482001-07-31 10:46:53 +0000178 #grid in framePages so we can overlap pages
Steven M. Gava33277c72001-08-13 04:36:58 +0000179 framePageButtons.grid(row=0,column=0,sticky=NSEW)
Steven M. Gavad721c482001-07-31 10:46:53 +0000180 for page in self.pages: page.grid(row=1,column=0,sticky=(N,S,E,W))
181
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000182 self.buttonHelp.pack(side=RIGHT,padx=5,pady=5)
183 self.buttonOk.pack(side=LEFT,padx=5,pady=5)
184 self.buttonApply.pack(side=LEFT,padx=5,pady=5)
Steven M. Gavad721c482001-07-31 10:46:53 +0000185 self.buttonCancel.pack(side=LEFT,padx=5,pady=5)
186 frameActionButtons.pack(side=BOTTOM)
187 self.framePages.pack(side=TOP,expand=TRUE,fill=BOTH)
188
Steven M. Gava60fc7072001-08-04 13:58:22 +0000189 def CreatePageFontTab(self):
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000190 #tkVars
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000191 self.fontSize=StringVar()
192 self.spaceNum=IntVar()
193 self.tabCols=IntVar()
194 self.indentType=IntVar()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000195 self.editFont=tkFont.Font(self,('courier',12,'normal'))
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000196 ##widget creation
197 #body frame
Steven M. Gava33277c72001-08-13 04:36:58 +0000198 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000199 #body section frames
200 frameFont=Frame(frame,borderwidth=2,relief=GROOVE)
201 frameIndent=Frame(frame,borderwidth=2,relief=GROOVE)
202 #frameFont
203 labelFontTitle=Label(frameFont,text='Set Base Editor Font')
204 frameFontName=Frame(frameFont)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000205 frameFontSize=Frame(frameFontName)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000206 labelFontNameTitle=Label(frameFontName,justify=LEFT,
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000207 text='Font :')
208 self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
209 exportselection=FALSE)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000210 self.listFontName.bind('<<ListboxSelect>>',self.SetFontSampleBinding)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000211 scrollFont=Scrollbar(frameFontName)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000212 scrollFont.config(command=self.listFontName.yview)
213 self.listFontName.config(yscrollcommand=scrollFont.set)
214 labelFontSizeTitle=Label(frameFontSize,text='Size :')
Steven M. Gava485f7b62001-10-26 06:47:09 +0000215 self.optMenuFontSize=DynOptionMenu(frameFontSize,self.fontSize,None,
216 command=self.SetFontSampleBinding)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000217 frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
218 self.labelFontSample=Label(frameFontSample,
219 text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000220 justify=LEFT,font=self.editFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000221 #frameIndent
222 labelIndentTitle=Label(frameIndent,text='Set Indentation Defaults')
223 frameIndentType=Frame(frameIndent)
224 frameIndentSize=Frame(frameIndent)
225 labelIndentTypeTitle=Label(frameIndentType,
226 text='Choose indentation type :')
227 radioUseSpaces=Radiobutton(frameIndentType,variable=self.indentType,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000228 value=1,text='Tab key inserts spaces')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000229 radioUseTabs=Radiobutton(frameIndentType,variable=self.indentType,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000230 value=0,text='Tab key inserts tabs')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000231 labelIndentSizeTitle=Label(frameIndentSize,
232 text='Choose indentation size :')
233 labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT,
234 text='when tab key inserts spaces,\nspaces per tab')
235 self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum,
236 orient='horizontal',tickinterval=2,from_=2,to=8)
237 labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
238 text='when tab key inserts tabs,\ncolumns per tab')
239 self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
240 orient='horizontal',tickinterval=2,from_=2,to=8)
241
242 #widget packing
243 #body
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000244 frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
245 frameIndent.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000246 #frameFont
247 labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000248 frameFontName.pack(side=TOP,padx=5,pady=5)
249 frameFontSize.pack(side=RIGHT,anchor=N,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000250 labelFontNameTitle.pack(side=TOP,anchor=W)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000251 self.listFontName.pack(side=LEFT,fill=Y)
252 scrollFont.pack(side=LEFT,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000253 labelFontSizeTitle.pack(side=TOP,anchor=W)
Steven M. Gava485f7b62001-10-26 06:47:09 +0000254 self.optMenuFontSize.pack(side=TOP,anchor=W,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000255 frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000256 self.labelFontSample.pack(expand=TRUE,fill=BOTH)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000257 #frameIndent
258 labelIndentTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
259 frameIndentType.pack(side=TOP,padx=5,fill=X)
260 frameIndentSize.pack(side=TOP,padx=5,pady=5,fill=BOTH)
261 labelIndentTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
262 radioUseSpaces.pack(side=TOP,anchor=W,padx=5)
263 radioUseTabs.pack(side=TOP,anchor=W,padx=5)
264 labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
265 labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
266 self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
267 labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
268 self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000269 return frame
270
271 def CreatePageHighlight(self):
272 #tkVars
Steven M. Gava60fc7072001-08-04 13:58:22 +0000273 self.highlightTarget=StringVar()
Steven M. Gava952d0a52001-08-03 04:43:44 +0000274 self.builtinTheme=StringVar()
275 self.customTheme=StringVar()
276 self.colour=StringVar()
277 self.fontName=StringVar()
278 self.fontBold=StringVar()
279 self.fontItalic=StringVar()
Steven M. Gava952d0a52001-08-03 04:43:44 +0000280 self.themeType=IntVar()
281 ##widget creation
282 #body frame
Steven M. Gava33277c72001-08-13 04:36:58 +0000283 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000284 #body section frames
285 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
286 frameTheme=Frame(frame,borderwidth=2,relief=GROOVE)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000287 #frameCustom
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000288 self.frameHighlightTarget=Frame(frameCustom)
289 self.frameHighlightSample=Frame(frameCustom,relief=SOLID,
290 borderwidth=1,cursor='hand2')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000291 frameSet=Frame(frameCustom)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000292 self.frameColourSet=Frame(frameSet,relief=SOLID,borderwidth=1)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000293 frameFontSet=Frame(frameSet)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000294 labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting')
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000295 labelTargetTitle=Label(self.frameHighlightTarget,text='for : ')
Steven M. Gava41a85322001-10-29 08:05:34 +0000296 self.optMenuHighlightTarget=DynOptionMenu(self.frameHighlightTarget,
297 self.highlightTarget,None,command=None)
Steven M. Gava074c9d22001-08-08 01:30:38 +0000298 buttonSetColour=Button(self.frameColourSet,text='Set Colour',
299 command=self.GetColour)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000300 labelFontTitle=Label(frameFontSet,text='Set Font Style')
301 checkFontBold=Checkbutton(frameFontSet,variable=self.fontBold,
302 onvalue='Bold',offvalue='',text='Bold')
303 checkFontItalic=Checkbutton(frameFontSet,variable=self.fontItalic,
304 onvalue='Italic',offvalue='',text='Italic')
Steven M. Gava074c9d22001-08-08 01:30:38 +0000305 self.labelTestSample=Label(self.frameHighlightSample,justify=LEFT,font=('courier',12,''),
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000306 text='#when finished, this\n#sample area will\n#be interactive\n'+
307 'def Ahem(foo,bar):\n '+
308 '"""'+'doc hazard'+'"""'+
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000309 '\n test=foo\n text=bar\n return')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000310 buttonSaveCustomTheme=Button(frameCustom,
Steven M. Gava952d0a52001-08-03 04:43:44 +0000311 text='Save as a Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000312 #frameTheme
313 #frameDivider=Frame(frameTheme,relief=SUNKEN,borderwidth=1,
314 # width=2,height=10)
315 labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme')
316 labelTypeTitle=Label(frameTheme,text='Select : ')
Steven M. Gava41a85322001-10-29 08:05:34 +0000317 self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeType,
Steven M. Gava952d0a52001-08-03 04:43:44 +0000318 value=0,command=self.SetThemeType,text='a Built-in Theme')
Steven M. Gava41a85322001-10-29 08:05:34 +0000319 self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeType,
Steven M. Gava952d0a52001-08-03 04:43:44 +0000320 value=1,command=self.SetThemeType,text='a Custom Theme')
Steven M. Gava41a85322001-10-29 08:05:34 +0000321 self.optMenuThemeBuiltin=DynOptionMenu(frameTheme,
322 self.builtinTheme,None,command=self.SetHighlightSampleBinding)
323 self.optMenuThemeCustom=DynOptionMenu(frameTheme,
324 self.customTheme,None,command=self.SetHighlightSampleBinding)
325 # self.themeType.set(0)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000326 self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme')
Steven M. Gava41a85322001-10-29 08:05:34 +0000327 # self.SetThemeType()
Steven M. Gava952d0a52001-08-03 04:43:44 +0000328 ##widget packing
329 #body
Steven M. Gava60fc7072001-08-04 13:58:22 +0000330 frameCustom.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
331 frameTheme.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000332 #frameCustom
333 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000334 self.frameHighlightTarget.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gava074c9d22001-08-08 01:30:38 +0000335 self.frameHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000336 frameSet.pack(side=TOP,fill=X)
Steven M. Gava074c9d22001-08-08 01:30:38 +0000337 self.frameColourSet.pack(side=LEFT,padx=5,pady=5,fill=BOTH)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000338 frameFontSet.pack(side=RIGHT,padx=5,pady=5,anchor=W)
339 labelTargetTitle.pack(side=LEFT,anchor=E)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000340 self.optMenuHighlightTarget.pack(side=RIGHT,anchor=W,expand=TRUE,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000341 buttonSetColour.pack(expand=TRUE,fill=BOTH,padx=10,pady=10)
342 labelFontTitle.pack(side=TOP,anchor=W)
343 checkFontBold.pack(side=LEFT,anchor=W,pady=2)
344 checkFontItalic.pack(side=RIGHT,anchor=W)
Steven M. Gava074c9d22001-08-08 01:30:38 +0000345 self.labelTestSample.pack(anchor=CENTER,expand=TRUE,fill=BOTH)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000346 buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000347 #frameTheme
348 #frameDivider.pack(side=LEFT,fill=Y,padx=5,pady=5)
349 labelThemeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
350 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000351 self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
352 self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000353 self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
354 self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000355 self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000356 return frame
357
358 def CreatePageKeys(self):
Steven M. Gava60fc7072001-08-04 13:58:22 +0000359 #tkVars
360 self.bindingTarget=StringVar()
361 self.builtinKeys=StringVar()
362 self.customKeys=StringVar()
363 self.keyChars=StringVar()
364 self.keyCtrl=StringVar()
365 self.keyAlt=StringVar()
366 self.keyShift=StringVar()
367 self.keysType=IntVar()
368 ##widget creation
369 #body frame
Steven M. Gava33277c72001-08-13 04:36:58 +0000370 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000371 #body section frames
372 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
373 frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE)
374 #frameCustom
375 frameTarget=Frame(frameCustom)
376 frameSet=Frame(frameCustom)
377 labelCustomTitle=Label(frameCustom,text='Set Custom Key Bindings')
378 labelTargetTitle=Label(frameTarget,text='Action')
379 scrollTarget=Scrollbar(frameTarget)
380 listTarget=Listbox(frameTarget)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000381 scrollTarget.config(command=listTarget.yview)
382 listTarget.config(yscrollcommand=scrollTarget.set)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000383 labelKeyBindTitle=Label(frameSet,text='Binding')
384 labelModifierTitle=Label(frameSet,text='Modifier:')
385 checkCtrl=Checkbutton(frameSet,text='Ctrl')
386 checkAlt=Checkbutton(frameSet,text='Alt')
387 checkShift=Checkbutton(frameSet,text='Shift')
388 labelKeyEntryTitle=Label(frameSet,text='Key:')
389 entryKey=Entry(frameSet,width=4)
390 buttonSaveCustomKeys=Button(frameCustom,text='Save as a Custom Key Set')
391 #frameKeySets
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000392 labelKeysTitle=Label(frameKeySets,text='Select a Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000393 labelTypeTitle=Label(frameKeySets,text='Select : ')
Steven M. Gava41a85322001-10-29 08:05:34 +0000394 self.radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysType,
Steven M. Gava60fc7072001-08-04 13:58:22 +0000395 value=0,command=self.SetKeysType,text='a Built-in Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000396 self.radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysType,
Steven M. Gava60fc7072001-08-04 13:58:22 +0000397 value=1,command=self.SetKeysType,text='a Custom Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000398 self.optMenuKeysBuiltin=DynOptionMenu(frameKeySets,
399 self.builtinKeys,None,command=None)
400 self.optMenuKeysCustom=DynOptionMenu(frameKeySets,
401 self.customKeys,None,command=None)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000402 self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000403# self.SetKeysType()
Steven M. Gava60fc7072001-08-04 13:58:22 +0000404 ##widget packing
405 #body
406 frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
407 frameKeySets.pack(side=LEFT,padx=5,pady=5,fill=Y)
408 #frameCustom
409 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
410 buttonSaveCustomKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
411 frameTarget.pack(side=LEFT,padx=5,pady=5,fill=Y)
412 frameSet.pack(side=LEFT,padx=5,pady=5,fill=Y)
413 labelTargetTitle.pack(side=TOP,anchor=W)
414 scrollTarget.pack(side=RIGHT,anchor=W,fill=Y)
415 listTarget.pack(side=TOP,anchor=W,expand=TRUE,fill=BOTH)
416 labelKeyBindTitle.pack(side=TOP,anchor=W)
417 labelModifierTitle.pack(side=TOP,anchor=W,pady=5)
418 checkCtrl.pack(side=TOP,anchor=W)
419 checkAlt.pack(side=TOP,anchor=W,pady=2)
420 checkShift.pack(side=TOP,anchor=W)
421 labelKeyEntryTitle.pack(side=TOP,anchor=W,pady=5)
422 entryKey.pack(side=TOP,anchor=W)
423 #frameKeySets
424 labelKeysTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
425 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000426 self.radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5)
427 self.radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000428 self.optMenuKeysBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
429 self.optMenuKeysCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
430 self.buttonDeleteCustomKeys.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000431 return frame
432
433 def CreatePageGeneral(self):
Steven M. Gava230e5782001-08-07 03:28:25 +0000434 #tkVars
435 self.runType=IntVar()
436 self.winWidth=StringVar()
437 self.winHeight=StringVar()
438 self.extState=IntVar()
439 #widget creation
440 #body
Steven M. Gava33277c72001-08-13 04:36:58 +0000441 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gava230e5782001-08-07 03:28:25 +0000442 #body section frames
443 frameRun=Frame(frame,borderwidth=2,relief=GROOVE)
444 frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)
445 frameExt=Frame(frame,borderwidth=2,relief=GROOVE)
446 #frameRun
447 labelRunTitle=Label(frameRun,text='Run Preferences')
448 labelRunChoiceTitle=Label(frameRun,text='Run code : ')
449 radioRunInternal=Radiobutton(frameRun,variable=self.runType,
450 value=0,command=self.SetKeysType,text="in IDLE's Process")
451 radioRunSeparate=Radiobutton(frameRun,variable=self.runType,
452 value=1,command=self.SetKeysType,text='in a Separate Process')
453 #frameWinSize
454 labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size')
455 buttonWinSizeSet=Button(frameWinSize,text='Set to current window size')
456 labelWinWidthTitle=Label(frameWinSize,text='Width')
457 entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth,
458 width=3)
459 labelWinHeightTitle=Label(frameWinSize,text='Height')
460 entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight,
461 width=3)
462 #frameExt
463 frameExtList=Frame(frameExt)
464 frameExtSet=Frame(frameExt)
465 labelExtTitle=Label(frameExt,text='Configure IDLE Extensions')
466 labelExtListTitle=Label(frameExtList,text='Extension')
467 scrollExtList=Scrollbar(frameExtList)
468 listExt=Listbox(frameExtList,height=5)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000469 scrollExtList.config(command=listExt.yview)
470 listExt.config(yscrollcommand=scrollExtList.set)
Steven M. Gava230e5782001-08-07 03:28:25 +0000471 labelExtSetTitle=Label(frameExtSet,text='Settings')
472 radioEnableExt=Radiobutton(frameExtSet,variable=self.extState,
473 value=1,text="enable")
474 radioDisableExt=Radiobutton(frameExtSet,variable=self.extState,
475 value=0,text="disable")
476 self.extState.set(1)
477 buttonExtConfig=Button(frameExtSet,text='Configure')
478
479 #widget packing
480 #body
481 frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
482 frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
483 frameExt.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
484 #frameRun
485 labelRunTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
486 labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
487 radioRunInternal.pack(side=LEFT,anchor=W,padx=5,pady=5)
488 radioRunSeparate.pack(side=LEFT,anchor=W,padx=5,pady=5)
489 #frameWinSize
490 labelWinSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
491 buttonWinSizeSet.pack(side=LEFT,anchor=W,padx=5,pady=5)
492 labelWinWidthTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
493 entryWinWidth.pack(side=LEFT,anchor=W,padx=5,pady=5)
494 labelWinHeightTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
495 entryWinHeight.pack(side=LEFT,anchor=W,padx=5,pady=5)
496 #frameExt
497 labelExtTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
498 frameExtSet.pack(side=RIGHT,padx=5,pady=5,fill=Y)
499 frameExtList.pack(side=RIGHT,padx=5,pady=5,expand=TRUE,fill=BOTH)
500 labelExtListTitle.pack(side=TOP,anchor=W)
501 scrollExtList.pack(side=RIGHT,anchor=W,fill=Y)
502 listExt.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
503 labelExtSetTitle.pack(side=TOP,anchor=W)
504 radioEnableExt.pack(side=TOP,anchor=W)
505 radioDisableExt.pack(side=TOP,anchor=W)
506 buttonExtConfig.pack(side=TOP,anchor=W,pady=5)
507
Steven M. Gava952d0a52001-08-03 04:43:44 +0000508 return frame
509
Steven M. Gava429a86a2001-10-23 10:42:12 +0000510 def LoadFontCfg(self):
511 ##base editor font selection list
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000512 fonts=list(tkFont.families(self))
513 fonts.sort()
514 for font in fonts:
515 self.listFontName.insert(END,font)
Steven M. Gava485f7b62001-10-26 06:47:09 +0000516 configuredFont=idleConf.GetOption('main','EditorWindow','font',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000517 default='courier')
518 if configuredFont in fonts:
519 currentFontIndex=fonts.index(configuredFont)
520 self.listFontName.see(currentFontIndex)
521 self.listFontName.select_set(currentFontIndex)
522 ##font size dropdown
Steven M. Gava485f7b62001-10-26 06:47:09 +0000523 fontSize=idleConf.GetOption('main','EditorWindow','font-size',default='12')
524 self.optMenuFontSize.SetMenu(('10','11','12','13','14',
525 '16','18','20','22'),fontSize )
Steven M. Gava429a86a2001-10-23 10:42:12 +0000526 ##font sample
527 self.SetFontSample()
528
529 def LoadTabCfg(self):
530 ##indent type radibuttons
Steven M. Gava485f7b62001-10-26 06:47:09 +0000531 spaceIndent=idleConf.GetOption('main','Indent','use-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000532 default=1,type='bool')
533 self.indentType.set(spaceIndent)
534 ##indent sizes
Steven M. Gava485f7b62001-10-26 06:47:09 +0000535 spaceNum=idleConf.GetOption('main','Indent','num-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000536 default=4,type='int')
Steven M. Gava485f7b62001-10-26 06:47:09 +0000537 tabCols=idleConf.GetOption('main','Indent','tab-cols',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000538 default=4,type='int')
539 self.spaceNum.set(spaceNum)
540 self.tabCols.set(tabCols)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000541
Steven M. Gava485f7b62001-10-26 06:47:09 +0000542 def LoadThemeLists(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000543 ##current theme type radiobutton
544 self.themeType.set(idleConf.GetOption('main','Theme','user',type='int'))
545 ##currently set theme
546 currentOption=idleConf.GetOption('main','Theme','name')
547 ##load option menus
548 if self.themeType.get() == 0: #default theme selected
549 itemList=idleConf.GetSectionList('default','highlight')
550 self.optMenuThemeBuiltin.SetMenu(itemList,currentOption)
551 itemList=idleConf.GetSectionList('user','highlight')
552 if not itemList:
553 self.radioThemeCustom.config(state=DISABLED)
554 self.customTheme.set('- no custom themes -')
555 else:
556 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
557 elif self.themeType.get() == 1: #user theme selected
558 itemList=idleConf.GetSectionList('user','highlight')
559 self.optMenuThemeCustom.SetMenu(itemList,currentOption)
560 itemList=idleConf.GetSectionList('default','highlight')
561 self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
562 self.SetThemeType()
563
564 def LoadKeyLists(self):
565 ##current keys type radiobutton
566 self.keysType.set(idleConf.GetOption('main','Keys','user',type='int'))
567 ##currently set keys
568 currentOption=idleConf.GetOption('main','Keys','name')
569 ##load option menus
570 if self.keysType.get() == 0: #default theme selected
571 itemList=idleConf.GetSectionList('default','keys')
572 self.optMenuKeysBuiltin.SetMenu(itemList,currentOption)
573 itemList=idleConf.GetSectionList('user','keys')
574 if not itemList:
575 self.radioKeysCustom.config(state=DISABLED)
576 self.customKeys.set('- no custom keys -')
577 else:
578 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
579 elif self.keysType.get() == 1: #user theme selected
580 itemList=idleConf.GetSectionList('user','keys')
581 self.optMenuKeysCustom.SetMenu(itemList,currentOption)
582 itemList=idleConf.GetSectionList('default','keys')
583 self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0])
584 self.SetKeysType()
585
Steven M. Gava429a86a2001-10-23 10:42:12 +0000586 def LoadConfigs(self):
587 """
588 load configuration from default and user config files and populate
589 the widgets on the config dialog pages.
590 """
591 ### fonts / tabs page
592 self.LoadFontCfg()
593 self.LoadTabCfg()
594 ### highlighting page
Steven M. Gava485f7b62001-10-26 06:47:09 +0000595 self.LoadThemeLists()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000596 ### keys page
Steven M. Gava41a85322001-10-29 08:05:34 +0000597 self.LoadKeyLists()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000598 ### help page
599 ### general page
600
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000601 def SaveConfigs(self):
Steven M. Gava429a86a2001-10-23 10:42:12 +0000602 """
603 save configuration changes to user config files.
604 """
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000605 pass
606
Steven M. Gava44d3d1a2001-07-31 06:59:02 +0000607if __name__ == '__main__':
Steven M. Gavad721c482001-07-31 10:46:53 +0000608 #test the dialog
609 root=Tk()
610 Button(root,text='Dialog',
611 command=lambda:ConfigDialog(root,'Settings',None)).pack()
612 root.mainloop()