blob: ff29ee5f45115d71964b1759939bf4429128d92c [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. Gava60fc7072001-08-04 13:58:22 +000014
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000015class ConfigDialog(Toplevel):
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000016 """
Steven M. Gavad721c482001-07-31 10:46:53 +000017 configuration dialog for idle
18 """
19 def __init__(self,parent,title,configDict):
20 """
21 configDict - dictionary of configuration items
22 """
23 Toplevel.__init__(self, parent)
24 self.configure(borderwidth=5)
25 self.geometry("+%d+%d" % (parent.winfo_rootx()+20,
26 parent.winfo_rooty()+30))
Steven M. Gavac11ccf32001-09-24 09:43:17 +000027 #self.LoadConfig()
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000028
Steven M. Gavad721c482001-07-31 10:46:53 +000029 self.CreateWidgets()
30 self.resizable(height=FALSE,width=FALSE)
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000031 self.ChangePage()
Steven M. Gavad721c482001-07-31 10:46:53 +000032 self.transient(parent)
33 self.grab_set()
34 self.protocol("WM_DELETE_WINDOW", self.Cancel)
35 self.parent = parent
36 self.framePages.focus_set()
37 #key bindings for this dialog
Steven M. Gavad721c482001-07-31 10:46:53 +000038 self.bind('<Escape>',self.CancelBinding) #dismiss dialog, no save
Steven M. Gavac01e30f2001-08-11 15:48:13 +000039 self.bind('<Alt-a>',self.ApplyBinding) #apply changes, save
Steven M. Gava952d0a52001-08-03 04:43:44 +000040 self.bind('<F1>',self.HelpBinding) #context help
Steven M. Gavad721c482001-07-31 10:46:53 +000041 self.bind('<Alt-f>',self.ChangePageBinding)
Steven M. Gava952d0a52001-08-03 04:43:44 +000042 self.bind('<Alt-h>',self.ChangePageBinding)
Steven M. Gavad721c482001-07-31 10:46:53 +000043 self.bind('<Alt-k>',self.ChangePageBinding)
44 self.bind('<Alt-g>',self.ChangePageBinding)
Steven M. Gavac11ccf32001-09-24 09:43:17 +000045 #self.LoadOptMenuHighlightTarget()
Steven M. Gava429a86a2001-10-23 10:42:12 +000046
47 self.LoadConfigs()
48
Steven M. Gavad721c482001-07-31 10:46:53 +000049 self.wait_window()
50
51 def Cancel(self):
52 self.destroy()
53
Steven M. Gavac01e30f2001-08-11 15:48:13 +000054 def Ok(self):
55 pass
56
57 def Apply(self):
Steven M. Gavad721c482001-07-31 10:46:53 +000058 pass
59
Steven M. Gava952d0a52001-08-03 04:43:44 +000060 def Help(self):
Steven M. Gavad721c482001-07-31 10:46:53 +000061 pass
62
Steven M. Gavad721c482001-07-31 10:46:53 +000063 def CancelBinding(self,event):
64 self.Cancel()
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000065
Steven M. Gavac01e30f2001-08-11 15:48:13 +000066 def OkBinding(self,event):
67 self.Ok()
68
69 def ApplyBinding(self,event):
70 self.Apply()
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000071
Steven M. Gava952d0a52001-08-03 04:43:44 +000072 def HelpBinding(self,event):
73 self.Help()
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000074
Steven M. Gava952d0a52001-08-03 04:43:44 +000075 def ChangePage(self):
Steven M. Gava33277c72001-08-13 04:36:58 +000076 #pop up the active 'tab' only
77 for button in self.pageButtons: button.master.config(relief=RIDGE)
78 self.pageButtons[self.pageNum.get()].master.config(relief=RAISED)
79 #switch page
Steven M. Gava952d0a52001-08-03 04:43:44 +000080 self.pages[self.pageNum.get()].lift()
Steven M. Gava230e5782001-08-07 03:28:25 +000081 self.title('Settings - '+
82 self.pageButtons[self.pageNum.get()].cget('text'))
Steven M. Gava952d0a52001-08-03 04:43:44 +000083
Steven M. Gavad721c482001-07-31 10:46:53 +000084 def ChangePageBinding(self,event):
Steven M. Gava952d0a52001-08-03 04:43:44 +000085 pageKeys=('f','h','k','g')
Steven M. Gavad721c482001-07-31 10:46:53 +000086 pos=0
87 for key in pageKeys:
88 if event.char == key:
89 self.pageNum.set(pos)
90 self.ChangePage()
91 return
92 pos=pos+1
93
Steven M. Gava952d0a52001-08-03 04:43:44 +000094 def SetThemeType(self):
95 if self.themeType.get()==0:
96 self.optMenuThemeBuiltin.config(state=NORMAL)
97 self.optMenuThemeCustom.config(state=DISABLED)
Steven M. Gava60fc7072001-08-04 13:58:22 +000098 self.buttonDeleteCustomTheme.config(state=DISABLED)
Steven M. Gava952d0a52001-08-03 04:43:44 +000099 elif self.themeType.get()==1:
100 self.optMenuThemeBuiltin.config(state=DISABLED)
101 self.optMenuThemeCustom.config(state=NORMAL)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000102 self.buttonDeleteCustomTheme.config(state=NORMAL)
103
104 def SetKeysType(self):
105 if self.keysType.get()==0:
106 self.optMenuKeysBuiltin.config(state=NORMAL)
107 self.optMenuKeysCustom.config(state=DISABLED)
108 self.buttonDeleteCustomKeys.config(state=DISABLED)
109 elif self.keysType.get()==1:
110 self.optMenuKeysBuiltin.config(state=DISABLED)
111 self.optMenuKeysCustom.config(state=NORMAL)
112 self.buttonDeleteCustomKeys.config(state=NORMAL)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000113
Steven M. Gava074c9d22001-08-08 01:30:38 +0000114 def GetColour(self):
115 rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
116 title='Pick new colour for : '+self.highlightTarget.get(),
117 initialcolor=self.workingTestColours['Foo-Bg'])#._root()
118 if colourString: #user didn't cancel
119 self.workingTestColours['Foo-Bg']=colourString
120 self.frameColourSet.config(bg=self.workingTestColours['Foo-Bg'])
121 self.labelTestSample.config(bg=self.workingTestColours['Foo-Bg'])
122 self.frameHighlightSample.config(bg=self.workingTestColours['Foo-Bg'])
123 self.frameColourSet.update() #redraw after dialog
124 self.frameHighlightSample.update() #redraw after dialog
125 self.labelTestSample.update()
126
Steven M. Gava429a86a2001-10-23 10:42:12 +0000127 def SetFontSampleBinding(self,event):
128 self.SetFontSample()
129
130 def SetFontSample(self):
131 self.editFont.config(size=self.fontSize.get(),weight=NORMAL,
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000132 family=self.listFontName.get(self.listFontName.curselection()[0]))
133
Steven M. Gavad721c482001-07-31 10:46:53 +0000134 def CreateWidgets(self):
Steven M. Gava952d0a52001-08-03 04:43:44 +0000135 self.framePages = Frame(self)
Steven M. Gavad721c482001-07-31 10:46:53 +0000136 frameActionButtons = Frame(self)
Steven M. Gava33277c72001-08-13 04:36:58 +0000137 framePageButtons = Frame(self.framePages)
Steven M. Gavad721c482001-07-31 10:46:53 +0000138 #action buttons
Steven M. Gava952d0a52001-08-03 04:43:44 +0000139 self.buttonHelp = Button(frameActionButtons,text='Help',
140 command=self.Help,takefocus=FALSE)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000141 self.buttonOk = Button(frameActionButtons,text='Ok',
142 command=self.Ok,takefocus=FALSE)
143 self.buttonApply = Button(frameActionButtons,text='Apply',
144 command=self.Apply,underline=0,takefocus=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +0000145 self.buttonCancel = Button(frameActionButtons,text='Cancel',
146 command=self.Cancel,takefocus=FALSE)
147 #page buttons
148 self.pageNum=IntVar()
149 self.pageNum.set(0)
Steven M. Gava33277c72001-08-13 04:36:58 +0000150 pageButtonNames=('Fonts/Tabs','Highlighting','Keys','General')
151 self.pageButtons=[]
152 buttonValue=0
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000153 buttonSelColour=framePageButtons.cget('bg')
Steven M. Gava33277c72001-08-13 04:36:58 +0000154 for name in pageButtonNames:
155 buttonFrame=Frame(framePageButtons,borderwidth=2,relief=RIDGE)
156 buttonFrame.pack(side=LEFT)
157 button = Radiobutton(buttonFrame,command=self.ChangePage,
158 value=buttonValue,padx=5,pady=5,takefocus=FALSE,underline=0,
159 indicatoron=FALSE,highlightthickness=0,variable=self.pageNum,
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000160 selectcolor=buttonSelColour,borderwidth=0,text=name)
Steven M. Gava33277c72001-08-13 04:36:58 +0000161 button.pack()
162 button.lift()
163 self.pageButtons.append(button)
164 buttonValue=buttonValue+1
Steven M. Gavad721c482001-07-31 10:46:53 +0000165 #pages
Steven M. Gava60fc7072001-08-04 13:58:22 +0000166 self.pages=(self.CreatePageFontTab(),
Steven M. Gava952d0a52001-08-03 04:43:44 +0000167 self.CreatePageHighlight(),
168 self.CreatePageKeys(),
169 self.CreatePageGeneral())
170
Steven M. Gavad721c482001-07-31 10:46:53 +0000171 #grid in framePages so we can overlap pages
Steven M. Gava33277c72001-08-13 04:36:58 +0000172 framePageButtons.grid(row=0,column=0,sticky=NSEW)
Steven M. Gavad721c482001-07-31 10:46:53 +0000173 for page in self.pages: page.grid(row=1,column=0,sticky=(N,S,E,W))
174
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000175 self.buttonHelp.pack(side=RIGHT,padx=5,pady=5)
176 self.buttonOk.pack(side=LEFT,padx=5,pady=5)
177 self.buttonApply.pack(side=LEFT,padx=5,pady=5)
Steven M. Gavad721c482001-07-31 10:46:53 +0000178 self.buttonCancel.pack(side=LEFT,padx=5,pady=5)
179 frameActionButtons.pack(side=BOTTOM)
180 self.framePages.pack(side=TOP,expand=TRUE,fill=BOTH)
181
Steven M. Gava60fc7072001-08-04 13:58:22 +0000182 def CreatePageFontTab(self):
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000183 #tkVars
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000184 self.fontSize=StringVar()
185 self.spaceNum=IntVar()
186 self.tabCols=IntVar()
187 self.indentType=IntVar()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000188 self.editFont=tkFont.Font(self,('courier',12,'normal'))
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000189 ##widget creation
190 #body frame
Steven M. Gava33277c72001-08-13 04:36:58 +0000191 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000192 #body section frames
193 frameFont=Frame(frame,borderwidth=2,relief=GROOVE)
194 frameIndent=Frame(frame,borderwidth=2,relief=GROOVE)
195 #frameFont
196 labelFontTitle=Label(frameFont,text='Set Base Editor Font')
197 frameFontName=Frame(frameFont)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000198 frameFontSize=Frame(frameFontName)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000199 labelFontNameTitle=Label(frameFontName,justify=LEFT,
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000200 text='Font :')
201 self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
202 exportselection=FALSE)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000203 self.listFontName.bind('<<ListboxSelect>>',self.SetFontSampleBinding)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000204 scrollFont=Scrollbar(frameFontName)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000205 #self.LoadFontList()
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000206 scrollFont.config(command=self.listFontName.yview)
207 self.listFontName.config(yscrollcommand=scrollFont.set)
208 labelFontSizeTitle=Label(frameFontSize,text='Size :')
209 sizes=('10','11','12','13','14','16','18','20','22')
210 args=(frameFontSize,self.fontSize)+sizes
Steven M. Gava429a86a2001-10-23 10:42:12 +0000211 keyArgs={'command':self.SetFontSampleBinding}
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000212 optFontSize=apply(OptionMenu,args,keyArgs)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000213 #optFontSize.bind('<<MenuSelect>>',self.SetFontSample)
214 frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
215 self.labelFontSample=Label(frameFontSample,
216 text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000217 justify=LEFT,font=self.editFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000218 #frameIndent
219 labelIndentTitle=Label(frameIndent,text='Set Indentation Defaults')
220 frameIndentType=Frame(frameIndent)
221 frameIndentSize=Frame(frameIndent)
222 labelIndentTypeTitle=Label(frameIndentType,
223 text='Choose indentation type :')
224 radioUseSpaces=Radiobutton(frameIndentType,variable=self.indentType,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000225 value=1,text='Tab key inserts spaces')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000226 radioUseTabs=Radiobutton(frameIndentType,variable=self.indentType,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000227 value=0,text='Tab key inserts tabs')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000228 labelIndentSizeTitle=Label(frameIndentSize,
229 text='Choose indentation size :')
230 labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT,
231 text='when tab key inserts spaces,\nspaces per tab')
232 self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum,
233 orient='horizontal',tickinterval=2,from_=2,to=8)
234 labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
235 text='when tab key inserts tabs,\ncolumns per tab')
236 self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
237 orient='horizontal',tickinterval=2,from_=2,to=8)
238
239 #widget packing
240 #body
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000241 frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
242 frameIndent.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000243 #frameFont
244 labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000245 frameFontName.pack(side=TOP,padx=5,pady=5)
246 frameFontSize.pack(side=RIGHT,anchor=N,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000247 labelFontNameTitle.pack(side=TOP,anchor=W)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000248 self.listFontName.pack(side=LEFT,fill=Y)
249 scrollFont.pack(side=LEFT,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000250 labelFontSizeTitle.pack(side=TOP,anchor=W)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000251 optFontSize.pack(side=TOP,anchor=W,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000252 frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000253 self.labelFontSample.pack(expand=TRUE,fill=BOTH)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000254 #frameIndent
255 labelIndentTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
256 frameIndentType.pack(side=TOP,padx=5,fill=X)
257 frameIndentSize.pack(side=TOP,padx=5,pady=5,fill=BOTH)
258 labelIndentTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
259 radioUseSpaces.pack(side=TOP,anchor=W,padx=5)
260 radioUseTabs.pack(side=TOP,anchor=W,padx=5)
261 labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
262 labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
263 self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
264 labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
265 self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000266 return frame
267
268 def CreatePageHighlight(self):
269 #tkVars
Steven M. Gava60fc7072001-08-04 13:58:22 +0000270 self.highlightTarget=StringVar()
Steven M. Gava952d0a52001-08-03 04:43:44 +0000271 self.builtinTheme=StringVar()
272 self.customTheme=StringVar()
273 self.colour=StringVar()
274 self.fontName=StringVar()
275 self.fontBold=StringVar()
276 self.fontItalic=StringVar()
Steven M. Gava952d0a52001-08-03 04:43:44 +0000277 self.themeType=IntVar()
278 ##widget creation
279 #body frame
Steven M. Gava33277c72001-08-13 04:36:58 +0000280 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000281 #body section frames
282 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
283 frameTheme=Frame(frame,borderwidth=2,relief=GROOVE)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000284 #frameCustom
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000285 self.frameHighlightTarget=Frame(frameCustom)
286 self.frameHighlightSample=Frame(frameCustom,relief=SOLID,
287 borderwidth=1,cursor='hand2')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000288 frameSet=Frame(frameCustom)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000289 self.frameColourSet=Frame(frameSet,relief=SOLID,borderwidth=1)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000290 frameFontSet=Frame(frameSet)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000291 labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting')
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000292 labelTargetTitle=Label(self.frameHighlightTarget,text='for : ')
293 self.optMenuHighlightTarget=OptionMenu(self.frameHighlightTarget,
Steven M. Gava074c9d22001-08-08 01:30:38 +0000294 self.highlightTarget,'normal text background','test target interface item 2')
Steven M. Gava074c9d22001-08-08 01:30:38 +0000295 buttonSetColour=Button(self.frameColourSet,text='Set Colour',
296 command=self.GetColour)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000297 labelFontTitle=Label(frameFontSet,text='Set Font Style')
298 checkFontBold=Checkbutton(frameFontSet,variable=self.fontBold,
299 onvalue='Bold',offvalue='',text='Bold')
300 checkFontItalic=Checkbutton(frameFontSet,variable=self.fontItalic,
301 onvalue='Italic',offvalue='',text='Italic')
Steven M. Gava074c9d22001-08-08 01:30:38 +0000302 self.labelTestSample=Label(self.frameHighlightSample,justify=LEFT,font=('courier',12,''),
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000303 text='#when finished, this\n#sample area will\n#be interactive\n'+
304 'def Ahem(foo,bar):\n '+
305 '"""'+'doc hazard'+'"""'+
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000306 '\n test=foo\n text=bar\n return')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000307 buttonSaveCustomTheme=Button(frameCustom,
Steven M. Gava952d0a52001-08-03 04:43:44 +0000308 text='Save as a Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000309 #frameTheme
310 #frameDivider=Frame(frameTheme,relief=SUNKEN,borderwidth=1,
311 # width=2,height=10)
312 labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme')
313 labelTypeTitle=Label(frameTheme,text='Select : ')
314 radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeType,
315 value=0,command=self.SetThemeType,text='a Built-in Theme')
316 radioThemeCustom=Radiobutton(frameTheme,variable=self.themeType,
317 value=1,command=self.SetThemeType,text='a Custom Theme')
318 self.optMenuThemeBuiltin=OptionMenu(frameTheme,
319 self.builtinTheme,'test builtin junk','test builtin junk 2')
320 self.builtinTheme.set('test builtin junk')
321 self.optMenuThemeCustom=OptionMenu(frameTheme,
322 self.customTheme,'test custom junk','test custom junk 2')
323 self.customTheme.set('test custom junk')
324 self.themeType.set(0)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000325 self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000326 self.SetThemeType()
Steven M. Gava952d0a52001-08-03 04:43:44 +0000327 ##widget packing
328 #body
Steven M. Gava60fc7072001-08-04 13:58:22 +0000329 frameCustom.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
330 frameTheme.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000331 #frameCustom
332 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000333 self.frameHighlightTarget.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gava074c9d22001-08-08 01:30:38 +0000334 self.frameHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000335 frameSet.pack(side=TOP,fill=X)
Steven M. Gava074c9d22001-08-08 01:30:38 +0000336 self.frameColourSet.pack(side=LEFT,padx=5,pady=5,fill=BOTH)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000337 frameFontSet.pack(side=RIGHT,padx=5,pady=5,anchor=W)
338 labelTargetTitle.pack(side=LEFT,anchor=E)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000339 self.optMenuHighlightTarget.pack(side=RIGHT,anchor=W,expand=TRUE,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000340 buttonSetColour.pack(expand=TRUE,fill=BOTH,padx=10,pady=10)
341 labelFontTitle.pack(side=TOP,anchor=W)
342 checkFontBold.pack(side=LEFT,anchor=W,pady=2)
343 checkFontItalic.pack(side=RIGHT,anchor=W)
Steven M. Gava074c9d22001-08-08 01:30:38 +0000344 self.labelTestSample.pack(anchor=CENTER,expand=TRUE,fill=BOTH)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000345 buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000346 #frameTheme
347 #frameDivider.pack(side=LEFT,fill=Y,padx=5,pady=5)
348 labelThemeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
349 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
350 radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
351 radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
352 self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
353 self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000354 self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000355 return frame
356
357 def CreatePageKeys(self):
Steven M. Gava60fc7072001-08-04 13:58:22 +0000358 #tkVars
359 self.bindingTarget=StringVar()
360 self.builtinKeys=StringVar()
361 self.customKeys=StringVar()
362 self.keyChars=StringVar()
363 self.keyCtrl=StringVar()
364 self.keyAlt=StringVar()
365 self.keyShift=StringVar()
366 self.keysType=IntVar()
367 ##widget creation
368 #body frame
Steven M. Gava33277c72001-08-13 04:36:58 +0000369 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000370 #body section frames
371 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
372 frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE)
373 #frameCustom
374 frameTarget=Frame(frameCustom)
375 frameSet=Frame(frameCustom)
376 labelCustomTitle=Label(frameCustom,text='Set Custom Key Bindings')
377 labelTargetTitle=Label(frameTarget,text='Action')
378 scrollTarget=Scrollbar(frameTarget)
379 listTarget=Listbox(frameTarget)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000380 scrollTarget.config(command=listTarget.yview)
381 listTarget.config(yscrollcommand=scrollTarget.set)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000382 labelKeyBindTitle=Label(frameSet,text='Binding')
383 labelModifierTitle=Label(frameSet,text='Modifier:')
384 checkCtrl=Checkbutton(frameSet,text='Ctrl')
385 checkAlt=Checkbutton(frameSet,text='Alt')
386 checkShift=Checkbutton(frameSet,text='Shift')
387 labelKeyEntryTitle=Label(frameSet,text='Key:')
388 entryKey=Entry(frameSet,width=4)
389 buttonSaveCustomKeys=Button(frameCustom,text='Save as a Custom Key Set')
390 #frameKeySets
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000391 labelKeysTitle=Label(frameKeySets,text='Select a Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000392 labelTypeTitle=Label(frameKeySets,text='Select : ')
393 radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysType,
394 value=0,command=self.SetKeysType,text='a Built-in Key Set')
395 radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysType,
396 value=1,command=self.SetKeysType,text='a Custom Key Set')
397 self.optMenuKeysBuiltin=OptionMenu(frameKeySets,
398 self.builtinKeys,'test builtin junk','test builtin junk 2')
399 self.builtinKeys.set('test builtin junk')
400 self.optMenuKeysCustom=OptionMenu(frameKeySets,
401 self.customKeys,'test custom junk','test custom junk 2')
402 self.customKeys.set('test custom junk')
403 self.keysType.set(0)
404 self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set')
405 self.SetKeysType()
406 ##widget packing
407 #body
408 frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
409 frameKeySets.pack(side=LEFT,padx=5,pady=5,fill=Y)
410 #frameCustom
411 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
412 buttonSaveCustomKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
413 frameTarget.pack(side=LEFT,padx=5,pady=5,fill=Y)
414 frameSet.pack(side=LEFT,padx=5,pady=5,fill=Y)
415 labelTargetTitle.pack(side=TOP,anchor=W)
416 scrollTarget.pack(side=RIGHT,anchor=W,fill=Y)
417 listTarget.pack(side=TOP,anchor=W,expand=TRUE,fill=BOTH)
418 labelKeyBindTitle.pack(side=TOP,anchor=W)
419 labelModifierTitle.pack(side=TOP,anchor=W,pady=5)
420 checkCtrl.pack(side=TOP,anchor=W)
421 checkAlt.pack(side=TOP,anchor=W,pady=2)
422 checkShift.pack(side=TOP,anchor=W)
423 labelKeyEntryTitle.pack(side=TOP,anchor=W,pady=5)
424 entryKey.pack(side=TOP,anchor=W)
425 #frameKeySets
426 labelKeysTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
427 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
428 radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5)
429 radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
430 self.optMenuKeysBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
431 self.optMenuKeysCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
432 self.buttonDeleteCustomKeys.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000433 return frame
434
435 def CreatePageGeneral(self):
Steven M. Gava230e5782001-08-07 03:28:25 +0000436 #tkVars
437 self.runType=IntVar()
438 self.winWidth=StringVar()
439 self.winHeight=StringVar()
440 self.extState=IntVar()
441 #widget creation
442 #body
Steven M. Gava33277c72001-08-13 04:36:58 +0000443 frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
Steven M. Gava230e5782001-08-07 03:28:25 +0000444 #body section frames
445 frameRun=Frame(frame,borderwidth=2,relief=GROOVE)
446 frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)
447 frameExt=Frame(frame,borderwidth=2,relief=GROOVE)
448 #frameRun
449 labelRunTitle=Label(frameRun,text='Run Preferences')
450 labelRunChoiceTitle=Label(frameRun,text='Run code : ')
451 radioRunInternal=Radiobutton(frameRun,variable=self.runType,
452 value=0,command=self.SetKeysType,text="in IDLE's Process")
453 radioRunSeparate=Radiobutton(frameRun,variable=self.runType,
454 value=1,command=self.SetKeysType,text='in a Separate Process')
455 #frameWinSize
456 labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size')
457 buttonWinSizeSet=Button(frameWinSize,text='Set to current window size')
458 labelWinWidthTitle=Label(frameWinSize,text='Width')
459 entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth,
460 width=3)
461 labelWinHeightTitle=Label(frameWinSize,text='Height')
462 entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight,
463 width=3)
464 #frameExt
465 frameExtList=Frame(frameExt)
466 frameExtSet=Frame(frameExt)
467 labelExtTitle=Label(frameExt,text='Configure IDLE Extensions')
468 labelExtListTitle=Label(frameExtList,text='Extension')
469 scrollExtList=Scrollbar(frameExtList)
470 listExt=Listbox(frameExtList,height=5)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000471 scrollExtList.config(command=listExt.yview)
472 listExt.config(yscrollcommand=scrollExtList.set)
Steven M. Gava230e5782001-08-07 03:28:25 +0000473 labelExtSetTitle=Label(frameExtSet,text='Settings')
474 radioEnableExt=Radiobutton(frameExtSet,variable=self.extState,
475 value=1,text="enable")
476 radioDisableExt=Radiobutton(frameExtSet,variable=self.extState,
477 value=0,text="disable")
478 self.extState.set(1)
479 buttonExtConfig=Button(frameExtSet,text='Configure')
480
481 #widget packing
482 #body
483 frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
484 frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
485 frameExt.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
486 #frameRun
487 labelRunTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
488 labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
489 radioRunInternal.pack(side=LEFT,anchor=W,padx=5,pady=5)
490 radioRunSeparate.pack(side=LEFT,anchor=W,padx=5,pady=5)
491 #frameWinSize
492 labelWinSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
493 buttonWinSizeSet.pack(side=LEFT,anchor=W,padx=5,pady=5)
494 labelWinWidthTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
495 entryWinWidth.pack(side=LEFT,anchor=W,padx=5,pady=5)
496 labelWinHeightTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
497 entryWinHeight.pack(side=LEFT,anchor=W,padx=5,pady=5)
498 #frameExt
499 labelExtTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
500 frameExtSet.pack(side=RIGHT,padx=5,pady=5,fill=Y)
501 frameExtList.pack(side=RIGHT,padx=5,pady=5,expand=TRUE,fill=BOTH)
502 labelExtListTitle.pack(side=TOP,anchor=W)
503 scrollExtList.pack(side=RIGHT,anchor=W,fill=Y)
504 listExt.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
505 labelExtSetTitle.pack(side=TOP,anchor=W)
506 radioEnableExt.pack(side=TOP,anchor=W)
507 radioDisableExt.pack(side=TOP,anchor=W)
508 buttonExtConfig.pack(side=TOP,anchor=W,pady=5)
509
Steven M. Gava952d0a52001-08-03 04:43:44 +0000510 return frame
511
Steven M. Gava429a86a2001-10-23 10:42:12 +0000512 def LoadFontCfg(self):
513 ##base editor font selection list
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000514 fonts=list(tkFont.families(self))
515 fonts.sort()
516 for font in fonts:
517 self.listFontName.insert(END,font)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000518 configuredFont=idleConf.GetDefault('main','EditorWindow','font',
519 default='courier')
520 if configuredFont in fonts:
521 currentFontIndex=fonts.index(configuredFont)
522 self.listFontName.see(currentFontIndex)
523 self.listFontName.select_set(currentFontIndex)
524 ##font size dropdown
525 fontSize=idleConf.GetDefault('main','EditorWindow','font-size',default='12')
526 self.fontSize.set(fontSize)
527 ##font sample
528 self.SetFontSample()
529
530 def LoadTabCfg(self):
531 ##indent type radibuttons
532 spaceIndent=idleConf.GetDefault('main','Indent','use-spaces',
533 default=1,type='bool')
534 self.indentType.set(spaceIndent)
535 ##indent sizes
536 spaceNum=idleConf.GetDefault('main','Indent','num-spaces',
537 default=4,type='int')
538 tabCols=idleConf.GetDefault('main','Indent','tab-cols',
539 default=4,type='int')
540 self.spaceNum.set(spaceNum)
541 self.tabCols.set(tabCols)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000542
543 #def LoadOptionMenu(self, optMenu, optList, optVar, optVal=None,
544 # command=None):
545 def LoadOptionMenu(self, optMenu, optVar, optVal=None, command=None):
546 """
547 Load the relevant list of values into an OptionMenu and set
548 selected value if required.
549 """
550 params={'cfg':None,
551 'section':None,
552 'optList':None,
553 'optVar':None,
554 'optVal':None,
555 'command':None}
556 if optMenu == self.optMenuHighlightTarget:
557 params['cfg']=idleConf.userCfg['highlight']
558# if
559# params['section']=idleconf.userCfg['main'].GetDef('EditorWindow',
560# 'theme')
561#
562# params['optVar']=self.HighlightTarget
563# params['optList']=idleconf.defaultCfg['main'].options(params.Section)
564# else: # a default theme
565# pass
566 #params.optList=idleConf
567
568
569 #if not params.optVar.get(): #no value set yet (initial load)
570 # params.optVal=
571
572 #if params.section: #we're asking to load a list of option names
573 # optList=params.cfg
574 #elif optMenu == xx:
575 #else:
576
577 #if self.HighlightTarget.get(): #if there was a value set (reload)
578 # params.optVal=self.HighlightTarget.get()
579 #else: #no value set yet (initial load)
580 #if not params.optVar.get(): #no value set yet (initial load)
581
582 menu=optMenu['menu']
583 print menu
584 menu.delete(0,END)
585 for item in optList:
586 menu.add_command(label=item,command=command)
587 if optVal:
588 optVar.set(optVal)
589 elif optList:
590 optVar.set(optList[0])
591
Steven M. Gava429a86a2001-10-23 10:42:12 +0000592 def LoadConfigs(self):
593 """
594 load configuration from default and user config files and populate
595 the widgets on the config dialog pages.
596 """
597 ### fonts / tabs page
598 self.LoadFontCfg()
599 self.LoadTabCfg()
600 ### highlighting page
601 ### keys page
602 ### help page
603 ### general page
604
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000605 def SaveConfigs(self):
Steven M. Gava429a86a2001-10-23 10:42:12 +0000606 """
607 save configuration changes to user config files.
608 """
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000609 pass
610
Steven M. Gava44d3d1a2001-07-31 06:59:02 +0000611if __name__ == '__main__':
Steven M. Gavad721c482001-07-31 10:46:53 +0000612 #test the dialog
613 root=Tk()
614 Button(root,text='Dialog',
615 command=lambda:ConfigDialog(root,'Settings',None)).pack()
616 root.mainloop()