blob: b131eeb43f551d9a4b74d790734797b2479caea7 [file] [log] [blame]
Steven M. Gava44d3d1a2001-07-31 06:59:02 +00001"""
2configuration dialog
3"""
4from Tkinter import *
Steven M. Gavac01e30f2001-08-11 15:48:13 +00005import tkMessageBox, tkColorChooser, tkFont
Steven M. Gava44d3d1a2001-07-31 06:59:02 +00006
Steven M. Gavac11ccf32001-09-24 09:43:17 +00007from configHandler import idleConf
Steven M. Gava485f7b62001-10-26 06:47:09 +00008from dynOptionMenuWidget import DynOptionMenu
Steven M. Gava2d4e03b2001-12-05 07:54:07 +00009from tabpage import TabPageSet
Steven M. Gava60fc7072001-08-04 13:58:22 +000010
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000011class ConfigDialog(Toplevel):
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000012 """
Steven M. Gavad721c482001-07-31 10:46:53 +000013 configuration dialog for idle
14 """
Steven M. Gava3b55a892001-11-21 05:56:26 +000015 def __init__(self,parent,title):
Steven M. Gavad721c482001-07-31 10:46:53 +000016 Toplevel.__init__(self, parent)
17 self.configure(borderwidth=5)
18 self.geometry("+%d+%d" % (parent.winfo_rootx()+20,
19 parent.winfo_rooty()+30))
Steven M. Gava9dd16b32001-11-03 14:54:25 +000020 #Theme Elements. Each theme element key is it's display name.
21 #The first value of the tuple is the sample area tag name.
22 #The second value is the display name list sort index.
23 #The third value indicates whether the element can have a foreground
24 #or background colour or both.
25 self.themeElements={'Normal Text':('normal','00','both'),
26 'Python Keywords':('keyword','01','both'),
27 'Python Definitions':('definition','02','both'),
28 'Python Comments':('comment','03','both'),
29 'Python Strings':('string','04','both'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +000030 'Selected Text':('hilite','05','both'),
31 'Found Text':('hit','06','both'),
Steven M. Gava9dd16b32001-11-03 14:54:25 +000032 'Cursor':('cursor','07','fg'),
33 'Error Background':('error','08','bg'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +000034 'Shell Foreground':('console','09','fg'),
35 'Shell Stdout Foreground':('stdout','10','fg'),
36 'Shell Stderr Foreground':('stderr','11','fg')}
Steven M. Gavad721c482001-07-31 10:46:53 +000037 self.CreateWidgets()
38 self.resizable(height=FALSE,width=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +000039 self.transient(parent)
40 self.grab_set()
41 self.protocol("WM_DELETE_WINDOW", self.Cancel)
42 self.parent = parent
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000043 self.tabPages.focus_set()
Steven M. Gavad721c482001-07-31 10:46:53 +000044 #key bindings for this dialog
Steven M. Gavad721c482001-07-31 10:46:53 +000045 self.bind('<Escape>',self.CancelBinding) #dismiss dialog, no save
Steven M. Gavac01e30f2001-08-11 15:48:13 +000046 self.bind('<Alt-a>',self.ApplyBinding) #apply changes, save
Steven M. Gava952d0a52001-08-03 04:43:44 +000047 self.bind('<F1>',self.HelpBinding) #context help
Steven M. Gava429a86a2001-10-23 10:42:12 +000048 self.LoadConfigs()
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 SetThemeType(self):
Steven M. Gavad0342cd2001-11-04 11:53:10 +000076 if self.themeIsBuiltin.get():
Steven M. Gava952d0a52001-08-03 04:43:44 +000077 self.optMenuThemeBuiltin.config(state=NORMAL)
78 self.optMenuThemeCustom.config(state=DISABLED)
Steven M. Gava60fc7072001-08-04 13:58:22 +000079 self.buttonDeleteCustomTheme.config(state=DISABLED)
Steven M. Gava9dd16b32001-11-03 14:54:25 +000080 else:
Steven M. Gava952d0a52001-08-03 04:43:44 +000081 self.optMenuThemeBuiltin.config(state=DISABLED)
82 self.optMenuThemeCustom.config(state=NORMAL)
Steven M. Gava60fc7072001-08-04 13:58:22 +000083 self.buttonDeleteCustomTheme.config(state=NORMAL)
84
85 def SetKeysType(self):
Steven M. Gavad0342cd2001-11-04 11:53:10 +000086 if self.keysAreDefault.get():
Steven M. Gava60fc7072001-08-04 13:58:22 +000087 self.optMenuKeysBuiltin.config(state=NORMAL)
88 self.optMenuKeysCustom.config(state=DISABLED)
89 self.buttonDeleteCustomKeys.config(state=DISABLED)
Steven M. Gavad0342cd2001-11-04 11:53:10 +000090 else:
Steven M. Gava60fc7072001-08-04 13:58:22 +000091 self.optMenuKeysBuiltin.config(state=DISABLED)
92 self.optMenuKeysCustom.config(state=NORMAL)
93 self.buttonDeleteCustomKeys.config(state=NORMAL)
Steven M. Gava952d0a52001-08-03 04:43:44 +000094
Steven M. Gava074c9d22001-08-08 01:30:38 +000095 def GetColour(self):
Steven M. Gava9dd16b32001-11-03 14:54:25 +000096 target=self.highlightTarget.get()
Steven M. Gava074c9d22001-08-08 01:30:38 +000097 rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
Steven M. Gava9dd16b32001-11-03 14:54:25 +000098 title='Pick new colour for : '+target,
99 initialcolor=self.frameColourSet.cget('bg'))
Steven M. Gava074c9d22001-08-08 01:30:38 +0000100 if colourString: #user didn't cancel
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000101 self.frameColourSet.config(bg=colourString)#set sample
102 if self.fgHilite.get(): plane='foreground'
103 else: plane='background'
104 apply(self.textHighlightSample.tag_config,
105 (self.themeElements[target][0],),{plane:colourString})
106
Steven M. Gava429a86a2001-10-23 10:42:12 +0000107 def SetFontSampleBinding(self,event):
108 self.SetFontSample()
109
110 def SetFontSample(self):
111 self.editFont.config(size=self.fontSize.get(),weight=NORMAL,
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000112 family=self.listFontName.get(self.listFontName.curselection()[0]))
Steven M. Gava41a85322001-10-29 08:05:34 +0000113
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000114 def SetHighlightTargetBinding(self,*args):
Steven M. Gava7c017862001-10-29 11:19:46 +0000115 self.SetHighlightTarget()
Steven M. Gava41a85322001-10-29 08:05:34 +0000116
Steven M. Gava7c017862001-10-29 11:19:46 +0000117 def SetHighlightTarget(self):
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000118 colourPlane=self.themeElements[self.highlightTarget.get()][2]
119 if colourPlane == 'bg':
Steven M. Gava7c017862001-10-29 11:19:46 +0000120 self.radioFg.config(state=DISABLED)
121 self.radioBg.config(state=DISABLED)
122 self.fgHilite.set(0)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000123 elif colourPlane == 'fg':
Steven M. Gava7c017862001-10-29 11:19:46 +0000124 self.radioFg.config(state=DISABLED)
125 self.radioBg.config(state=DISABLED)
126 self.fgHilite.set(1)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000127 elif colourPlane == 'both':
Steven M. Gava7c017862001-10-29 11:19:46 +0000128 self.radioFg.config(state=NORMAL)
129 self.radioBg.config(state=NORMAL)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000130 self.fgHilite.set(1) #default to setting foreground attribute
Steven M. Gava3b55a892001-11-21 05:56:26 +0000131 self.SetColourSample()
132
133 def SetColourSampleBinding(self,*args):
134 self.SetColourSample()
135
136 def SetColourSample(self):
137 #set the colour smaple area
138 tag=self.themeElements[self.highlightTarget.get()][0]
139 if self.fgHilite.get(): plane='foreground'
140 else: plane='background'
141 colour=self.textHighlightSample.tag_cget(tag,plane)
142 self.frameColourSet.config(bg=colour)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000143
Steven M. Gavad721c482001-07-31 10:46:53 +0000144 def CreateWidgets(self):
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000145 self.tabPages = TabPageSet(self,
146 pageNames=['Fonts/Tabs','Highlighting','Keys','General'])
Steven M. Gavad721c482001-07-31 10:46:53 +0000147 frameActionButtons = Frame(self)
Steven M. Gavad721c482001-07-31 10:46:53 +0000148 #action buttons
Steven M. Gava952d0a52001-08-03 04:43:44 +0000149 self.buttonHelp = Button(frameActionButtons,text='Help',
150 command=self.Help,takefocus=FALSE)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000151 self.buttonOk = Button(frameActionButtons,text='Ok',
152 command=self.Ok,takefocus=FALSE)
153 self.buttonApply = Button(frameActionButtons,text='Apply',
154 command=self.Apply,underline=0,takefocus=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +0000155 self.buttonCancel = Button(frameActionButtons,text='Cancel',
156 command=self.Cancel,takefocus=FALSE)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000157 self.CreatePageFontTab()
158 self.CreatePageHighlight()
159 self.CreatePageKeys()
160 self.CreatePageGeneral()
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000161 self.buttonHelp.pack(side=RIGHT,padx=5,pady=5)
162 self.buttonOk.pack(side=LEFT,padx=5,pady=5)
163 self.buttonApply.pack(side=LEFT,padx=5,pady=5)
Steven M. Gavad721c482001-07-31 10:46:53 +0000164 self.buttonCancel.pack(side=LEFT,padx=5,pady=5)
165 frameActionButtons.pack(side=BOTTOM)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000166 self.tabPages.pack(side=TOP,expand=TRUE,fill=BOTH)
167
Steven M. Gavad721c482001-07-31 10:46:53 +0000168
Steven M. Gava60fc7072001-08-04 13:58:22 +0000169 def CreatePageFontTab(self):
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000170 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000171 self.fontSize=StringVar(self)
172 self.fontBold=StringVar(self)
173 self.spaceNum=IntVar(self)
174 self.tabCols=IntVar(self)
175 self.indentType=IntVar(self)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000176 self.editFont=tkFont.Font(self,('courier',12,'normal'))
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000177 ##widget creation
178 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000179 frame=self.tabPages.pages['Fonts/Tabs']['page']
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000180 #body section frames
181 frameFont=Frame(frame,borderwidth=2,relief=GROOVE)
182 frameIndent=Frame(frame,borderwidth=2,relief=GROOVE)
183 #frameFont
184 labelFontTitle=Label(frameFont,text='Set Base Editor Font')
185 frameFontName=Frame(frameFont)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000186 frameFontParam=Frame(frameFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000187 labelFontNameTitle=Label(frameFontName,justify=LEFT,
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000188 text='Font :')
189 self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
190 exportselection=FALSE)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000191 self.listFontName.bind('<<ListboxSelect>>',self.SetFontSampleBinding)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000192 scrollFont=Scrollbar(frameFontName)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000193 scrollFont.config(command=self.listFontName.yview)
194 self.listFontName.config(yscrollcommand=scrollFont.set)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000195 labelFontSizeTitle=Label(frameFontParam,text='Size :')
196 self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None,
Steven M. Gava485f7b62001-10-26 06:47:09 +0000197 command=self.SetFontSampleBinding)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000198 checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold,
199 onvalue='Bold',offvalue='',text='Bold')
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000200 frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
201 self.labelFontSample=Label(frameFontSample,
202 text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000203 justify=LEFT,font=self.editFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000204 #frameIndent
205 labelIndentTitle=Label(frameIndent,text='Set Indentation Defaults')
206 frameIndentType=Frame(frameIndent)
207 frameIndentSize=Frame(frameIndent)
208 labelIndentTypeTitle=Label(frameIndentType,
209 text='Choose indentation type :')
210 radioUseSpaces=Radiobutton(frameIndentType,variable=self.indentType,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000211 value=1,text='Tab key inserts spaces')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000212 radioUseTabs=Radiobutton(frameIndentType,variable=self.indentType,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000213 value=0,text='Tab key inserts tabs')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000214 labelIndentSizeTitle=Label(frameIndentSize,
215 text='Choose indentation size :')
216 labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT,
217 text='when tab key inserts spaces,\nspaces per tab')
218 self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum,
219 orient='horizontal',tickinterval=2,from_=2,to=8)
220 labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
221 text='when tab key inserts tabs,\ncolumns per tab')
222 self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
223 orient='horizontal',tickinterval=2,from_=2,to=8)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000224 #widget packing
225 #body
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000226 frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
227 frameIndent.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000228 #frameFont
229 labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000230 frameFontName.pack(side=TOP,padx=5,pady=5,fill=X)
231 frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000232 labelFontNameTitle.pack(side=TOP,anchor=W)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000233 self.listFontName.pack(side=LEFT,expand=TRUE,fill=X)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000234 scrollFont.pack(side=LEFT,fill=Y)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000235 labelFontSizeTitle.pack(side=LEFT,anchor=W)
236 self.optMenuFontSize.pack(side=LEFT,anchor=W)
237 checkFontBold.pack(side=LEFT,anchor=W,padx=20)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000238 frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000239 self.labelFontSample.pack(expand=TRUE,fill=BOTH)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000240 #frameIndent
241 labelIndentTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
242 frameIndentType.pack(side=TOP,padx=5,fill=X)
243 frameIndentSize.pack(side=TOP,padx=5,pady=5,fill=BOTH)
244 labelIndentTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
245 radioUseSpaces.pack(side=TOP,anchor=W,padx=5)
246 radioUseTabs.pack(side=TOP,anchor=W,padx=5)
247 labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
248 labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
249 self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
250 labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
251 self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000252 return frame
253
254 def CreatePageHighlight(self):
Steven M. Gava3b55a892001-11-21 05:56:26 +0000255 self.builtinTheme=StringVar(self)
256 self.customTheme=StringVar(self)
257 self.fgHilite=IntVar(self)
258 self.colour=StringVar(self)
259 self.fontName=StringVar(self)
260 self.themeIsBuiltin=IntVar(self)
261 self.highlightTarget=StringVar(self)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000262 self.highlightTarget.trace_variable('w',self.SetHighlightTargetBinding)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000263 ##widget creation
264 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000265 frame=self.tabPages.pages['Highlighting']['page']
Steven M. Gava952d0a52001-08-03 04:43:44 +0000266 #body section frames
267 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
268 frameTheme=Frame(frame,borderwidth=2,relief=GROOVE)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000269 #frameCustom
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000270 self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1,
271 font=('courier',12,''),cursor='hand2',width=10,height=10,
272 takefocus=FALSE,highlightthickness=0)
273 text=self.textHighlightSample
274 text.bind('<Double-Button-1>',lambda e: 'break')
275 text.bind('<B1-Motion>',lambda e: 'break')
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000276 textAndTags=(('#you can click in here','comment'),('\n','normal'),
277 ('#to choose items','comment'),('\n','normal'),('def','keyword'),
278 (' ','normal'),('func','definition'),('(param):','normal'),
279 ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000280 ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'hilite'),
281 ('\n var2 = ','normal'),("'found'",'hit'),('\n\n','normal'),
Steven M. Gava99300612001-11-04 07:03:08 +0000282 (' error ','error'),(' ','normal'),('cursor |','cursor'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000283 ('\n ','normal'),('shell','console'),(' ','normal'),('stdout','stdout'),
284 (' ','normal'),('stderr','stderr'),('\n','normal'))
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000285 for txTa in textAndTags:
286 text.insert(END,txTa[0],txTa[1])
287 for element in self.themeElements.keys():
288 text.tag_bind(self.themeElements[element][0],'<ButtonPress-1>',
289 lambda event,elem=element: event.widget.winfo_toplevel()
290 .highlightTarget.set(elem))
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000291 text.config(state=DISABLED)
292 self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1)
Steven M. Gava7c017862001-10-29 11:19:46 +0000293 frameFgBg=Frame(frameCustom)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000294 labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting')
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000295 buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :',
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000296 command=self.GetColour,highlightthickness=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000297 self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet,
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000298 self.highlightTarget,None,highlightthickness=0)#,command=self.SetHighlightTargetBinding
Steven M. Gava7c017862001-10-29 11:19:46 +0000299 self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000300 value=1,text='Foreground',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000301 self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000302 value=0,text='Background',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000303 self.fgHilite.set(1)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000304 buttonSaveCustomTheme=Button(frameCustom,
Steven M. Gava952d0a52001-08-03 04:43:44 +0000305 text='Save as a Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000306 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000307 labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme')
308 labelTypeTitle=Label(frameTheme,text='Select : ')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000309 self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
310 value=1,command=self.SetThemeType,text='a Built-in Theme')
311 self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
312 value=0,command=self.SetThemeType,text='a Custom Theme')
Steven M. Gava41a85322001-10-29 08:05:34 +0000313 self.optMenuThemeBuiltin=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000314 self.builtinTheme,None,command=None)
Steven M. Gava41a85322001-10-29 08:05:34 +0000315 self.optMenuThemeCustom=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000316 self.customTheme,None,command=None)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000317 self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000318 ##widget packing
319 #body
Steven M. Gava60fc7072001-08-04 13:58:22 +0000320 frameCustom.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
321 frameTheme.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000322 #frameCustom
323 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000324 self.frameColourSet.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=X)
Steven M. Gava7c017862001-10-29 11:19:46 +0000325 frameFgBg.pack(side=TOP,padx=5,pady=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000326 self.textHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,
327 fill=BOTH)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000328 buttonSetColour.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=4)
329 self.optMenuHighlightTarget.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=3)
Steven M. Gava7c017862001-10-29 11:19:46 +0000330 self.radioFg.pack(side=LEFT,anchor=E)
331 self.radioBg.pack(side=RIGHT,anchor=W)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000332 buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000333 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000334 labelThemeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
335 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000336 self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
337 self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000338 self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
339 self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000340 self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000341 return frame
342
343 def CreatePageKeys(self):
Steven M. Gava60fc7072001-08-04 13:58:22 +0000344 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000345 self.bindingTarget=StringVar(self)
346 self.builtinKeys=StringVar(self)
347 self.customKeys=StringVar(self)
348 self.keyChars=StringVar(self)
349 self.keyCtrl=StringVar(self)
350 self.keyAlt=StringVar(self)
351 self.keyShift=StringVar(self)
352 self.keysAreDefault=IntVar(self)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000353 ##widget creation
354 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000355 frame=self.tabPages.pages['Keys']['page']
Steven M. Gava60fc7072001-08-04 13:58:22 +0000356 #body section frames
357 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
358 frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE)
359 #frameCustom
360 frameTarget=Frame(frameCustom)
361 frameSet=Frame(frameCustom)
362 labelCustomTitle=Label(frameCustom,text='Set Custom Key Bindings')
363 labelTargetTitle=Label(frameTarget,text='Action')
364 scrollTarget=Scrollbar(frameTarget)
365 listTarget=Listbox(frameTarget)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000366 scrollTarget.config(command=listTarget.yview)
367 listTarget.config(yscrollcommand=scrollTarget.set)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000368 labelKeyBindTitle=Label(frameSet,text='Binding')
369 labelModifierTitle=Label(frameSet,text='Modifier:')
370 checkCtrl=Checkbutton(frameSet,text='Ctrl')
371 checkAlt=Checkbutton(frameSet,text='Alt')
372 checkShift=Checkbutton(frameSet,text='Shift')
373 labelKeyEntryTitle=Label(frameSet,text='Key:')
374 entryKey=Entry(frameSet,width=4)
375 buttonSaveCustomKeys=Button(frameCustom,text='Save as a Custom Key Set')
376 #frameKeySets
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000377 labelKeysTitle=Label(frameKeySets,text='Select a Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000378 labelTypeTitle=Label(frameKeySets,text='Select : ')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000379 self.radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysAreDefault,
380 value=1,command=self.SetKeysType,text='a Built-in Key Set')
381 self.radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysAreDefault,
382 value=0,command=self.SetKeysType,text='a Custom Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000383 self.optMenuKeysBuiltin=DynOptionMenu(frameKeySets,
384 self.builtinKeys,None,command=None)
385 self.optMenuKeysCustom=DynOptionMenu(frameKeySets,
386 self.customKeys,None,command=None)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000387 self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000388 ##widget packing
389 #body
390 frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
391 frameKeySets.pack(side=LEFT,padx=5,pady=5,fill=Y)
392 #frameCustom
393 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
394 buttonSaveCustomKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
395 frameTarget.pack(side=LEFT,padx=5,pady=5,fill=Y)
396 frameSet.pack(side=LEFT,padx=5,pady=5,fill=Y)
397 labelTargetTitle.pack(side=TOP,anchor=W)
398 scrollTarget.pack(side=RIGHT,anchor=W,fill=Y)
399 listTarget.pack(side=TOP,anchor=W,expand=TRUE,fill=BOTH)
400 labelKeyBindTitle.pack(side=TOP,anchor=W)
401 labelModifierTitle.pack(side=TOP,anchor=W,pady=5)
402 checkCtrl.pack(side=TOP,anchor=W)
403 checkAlt.pack(side=TOP,anchor=W,pady=2)
404 checkShift.pack(side=TOP,anchor=W)
405 labelKeyEntryTitle.pack(side=TOP,anchor=W,pady=5)
406 entryKey.pack(side=TOP,anchor=W)
407 #frameKeySets
408 labelKeysTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
409 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000410 self.radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5)
411 self.radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000412 self.optMenuKeysBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
413 self.optMenuKeysCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
414 self.buttonDeleteCustomKeys.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000415 return frame
416
417 def CreatePageGeneral(self):
Steven M. Gava230e5782001-08-07 03:28:25 +0000418 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000419 self.runType=IntVar(self)
420 self.winWidth=StringVar(self)
421 self.winHeight=StringVar(self)
422 self.extState=IntVar(self)
Steven M. Gava230e5782001-08-07 03:28:25 +0000423 #widget creation
424 #body
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000425 frame=self.tabPages.pages['General']['page']
Steven M. Gava230e5782001-08-07 03:28:25 +0000426 #body section frames
427 frameRun=Frame(frame,borderwidth=2,relief=GROOVE)
428 frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)
429 frameExt=Frame(frame,borderwidth=2,relief=GROOVE)
430 #frameRun
431 labelRunTitle=Label(frameRun,text='Run Preferences')
432 labelRunChoiceTitle=Label(frameRun,text='Run code : ')
433 radioRunInternal=Radiobutton(frameRun,variable=self.runType,
434 value=0,command=self.SetKeysType,text="in IDLE's Process")
435 radioRunSeparate=Radiobutton(frameRun,variable=self.runType,
436 value=1,command=self.SetKeysType,text='in a Separate Process')
437 #frameWinSize
438 labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size')
439 buttonWinSizeSet=Button(frameWinSize,text='Set to current window size')
440 labelWinWidthTitle=Label(frameWinSize,text='Width')
441 entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth,
442 width=3)
443 labelWinHeightTitle=Label(frameWinSize,text='Height')
444 entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight,
445 width=3)
446 #frameExt
447 frameExtList=Frame(frameExt)
448 frameExtSet=Frame(frameExt)
449 labelExtTitle=Label(frameExt,text='Configure IDLE Extensions')
450 labelExtListTitle=Label(frameExtList,text='Extension')
451 scrollExtList=Scrollbar(frameExtList)
452 listExt=Listbox(frameExtList,height=5)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000453 scrollExtList.config(command=listExt.yview)
454 listExt.config(yscrollcommand=scrollExtList.set)
Steven M. Gava230e5782001-08-07 03:28:25 +0000455 labelExtSetTitle=Label(frameExtSet,text='Settings')
456 radioEnableExt=Radiobutton(frameExtSet,variable=self.extState,
457 value=1,text="enable")
458 radioDisableExt=Radiobutton(frameExtSet,variable=self.extState,
459 value=0,text="disable")
460 self.extState.set(1)
461 buttonExtConfig=Button(frameExtSet,text='Configure')
462
463 #widget packing
464 #body
465 frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
466 frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
467 frameExt.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
468 #frameRun
469 labelRunTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
470 labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
471 radioRunInternal.pack(side=LEFT,anchor=W,padx=5,pady=5)
472 radioRunSeparate.pack(side=LEFT,anchor=W,padx=5,pady=5)
473 #frameWinSize
474 labelWinSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
475 buttonWinSizeSet.pack(side=LEFT,anchor=W,padx=5,pady=5)
476 labelWinWidthTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
477 entryWinWidth.pack(side=LEFT,anchor=W,padx=5,pady=5)
478 labelWinHeightTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
479 entryWinHeight.pack(side=LEFT,anchor=W,padx=5,pady=5)
480 #frameExt
481 labelExtTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
482 frameExtSet.pack(side=RIGHT,padx=5,pady=5,fill=Y)
483 frameExtList.pack(side=RIGHT,padx=5,pady=5,expand=TRUE,fill=BOTH)
484 labelExtListTitle.pack(side=TOP,anchor=W)
485 scrollExtList.pack(side=RIGHT,anchor=W,fill=Y)
486 listExt.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
487 labelExtSetTitle.pack(side=TOP,anchor=W)
488 radioEnableExt.pack(side=TOP,anchor=W)
489 radioDisableExt.pack(side=TOP,anchor=W)
490 buttonExtConfig.pack(side=TOP,anchor=W,pady=5)
491
Steven M. Gava952d0a52001-08-03 04:43:44 +0000492 return frame
493
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000494 def PaintThemeSample(self):
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000495 if self.themeIsBuiltin.get(): #a default theme
Steven M. Gava99300612001-11-04 07:03:08 +0000496 theme=self.builtinTheme.get()
497 else: #a user theme
498 theme=self.customTheme.get()
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000499 for element in self.themeElements.keys():
500 colours=idleConf.GetHighlight(theme, self.themeElements[element][0])
501 apply(self.textHighlightSample.tag_config,
502 (self.themeElements[element][0],),colours)
Steven M. Gava99300612001-11-04 07:03:08 +0000503
Steven M. Gava429a86a2001-10-23 10:42:12 +0000504 def LoadFontCfg(self):
505 ##base editor font selection list
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000506 fonts=list(tkFont.families(self))
507 fonts.sort()
508 for font in fonts:
509 self.listFontName.insert(END,font)
Steven M. Gava485f7b62001-10-26 06:47:09 +0000510 configuredFont=idleConf.GetOption('main','EditorWindow','font',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000511 default='courier')
512 if configuredFont in fonts:
513 currentFontIndex=fonts.index(configuredFont)
514 self.listFontName.see(currentFontIndex)
515 self.listFontName.select_set(currentFontIndex)
516 ##font size dropdown
Steven M. Gava485f7b62001-10-26 06:47:09 +0000517 fontSize=idleConf.GetOption('main','EditorWindow','font-size',default='12')
518 self.optMenuFontSize.SetMenu(('10','11','12','13','14',
519 '16','18','20','22'),fontSize )
Steven M. Gava429a86a2001-10-23 10:42:12 +0000520 ##font sample
521 self.SetFontSample()
522
523 def LoadTabCfg(self):
524 ##indent type radibuttons
Steven M. Gava485f7b62001-10-26 06:47:09 +0000525 spaceIndent=idleConf.GetOption('main','Indent','use-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000526 default=1,type='bool')
527 self.indentType.set(spaceIndent)
528 ##indent sizes
Steven M. Gava485f7b62001-10-26 06:47:09 +0000529 spaceNum=idleConf.GetOption('main','Indent','num-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000530 default=4,type='int')
Steven M. Gava485f7b62001-10-26 06:47:09 +0000531 tabCols=idleConf.GetOption('main','Indent','tab-cols',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000532 default=4,type='int')
533 self.spaceNum.set(spaceNum)
534 self.tabCols.set(tabCols)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000535
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000536 def LoadThemeCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000537 ##current theme type radiobutton
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000538 self.themeIsBuiltin.set(idleConf.GetOption('main','Theme','default',
539 type='int',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000540 ##currently set theme
541 currentOption=idleConf.GetOption('main','Theme','name')
Steven M. Gava7c017862001-10-29 11:19:46 +0000542 ##load available theme option menus
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000543 if self.themeIsBuiltin.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000544 itemList=idleConf.GetSectionList('default','highlight')
545 self.optMenuThemeBuiltin.SetMenu(itemList,currentOption)
546 itemList=idleConf.GetSectionList('user','highlight')
547 if not itemList:
548 self.radioThemeCustom.config(state=DISABLED)
549 self.customTheme.set('- no custom themes -')
550 else:
551 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000552 else: #user theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000553 itemList=idleConf.GetSectionList('user','highlight')
554 self.optMenuThemeCustom.SetMenu(itemList,currentOption)
555 itemList=idleConf.GetSectionList('default','highlight')
556 self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
Steven M. Gava7c017862001-10-29 11:19:46 +0000557 self.SetThemeType()
558 ##load theme element option menu
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000559 themeNames=self.themeElements.keys()
560 themeNames.sort(self.__ThemeNameIndexCompare)
561 self.optMenuHighlightTarget.SetMenu(themeNames,themeNames[0])
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000562 sampleBg=idleConf.GetHighlight(currentOption,
563 self.highlightTarget.get())['background']
564 self.fgHilite.set(0)
565 self.frameColourSet.config(bg=sampleBg)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000566 self.PaintThemeSample()
Steven M. Gava41a85322001-10-29 08:05:34 +0000567
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000568 def __ThemeNameIndexCompare(self,a,b):
569 if self.themeElements[a][1]<self.themeElements[b][1]: return -1
570 elif self.themeElements[a][1]==self.themeElements[b][1]: return 0
571 else: return 1
572
573 def LoadKeyCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000574 ##current keys type radiobutton
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000575 self.keysAreDefault.set(idleConf.GetOption('main','Keys','default',
576 type='int',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000577 ##currently set keys
578 currentOption=idleConf.GetOption('main','Keys','name')
Steven M. Gava7c017862001-10-29 11:19:46 +0000579 ##load available keyset option menus
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000580 if self.keysAreDefault.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000581 itemList=idleConf.GetSectionList('default','keys')
582 self.optMenuKeysBuiltin.SetMenu(itemList,currentOption)
583 itemList=idleConf.GetSectionList('user','keys')
584 if not itemList:
585 self.radioKeysCustom.config(state=DISABLED)
586 self.customKeys.set('- no custom keys -')
587 else:
588 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000589 else: #user theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000590 itemList=idleConf.GetSectionList('user','keys')
591 self.optMenuKeysCustom.SetMenu(itemList,currentOption)
592 itemList=idleConf.GetSectionList('default','keys')
593 self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0])
594 self.SetKeysType()
Steven M. Gava7c017862001-10-29 11:19:46 +0000595 ##load keyset element option menu
Steven M. Gava41a85322001-10-29 08:05:34 +0000596
Steven M. Gava429a86a2001-10-23 10:42:12 +0000597 def LoadConfigs(self):
598 """
599 load configuration from default and user config files and populate
600 the widgets on the config dialog pages.
601 """
602 ### fonts / tabs page
603 self.LoadFontCfg()
604 self.LoadTabCfg()
605 ### highlighting page
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000606 self.LoadThemeCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000607 ### keys page
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000608 self.LoadKeyCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000609 ### help page
610 ### general page
611
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000612 def SaveConfigs(self):
Steven M. Gava429a86a2001-10-23 10:42:12 +0000613 """
614 save configuration changes to user config files.
615 """
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000616 pass
617
Steven M. Gava44d3d1a2001-07-31 06:59:02 +0000618if __name__ == '__main__':
Steven M. Gavad721c482001-07-31 10:46:53 +0000619 #test the dialog
620 root=Tk()
621 Button(root,text='Dialog',
Steven M. Gava3b55a892001-11-21 05:56:26 +0000622 command=lambda:ConfigDialog(root,'Settings')).pack()
Steven M. Gavad721c482001-07-31 10:46:53 +0000623 root.mainloop()