blob: b990f239ca51dd0fd4f44bcc467e9335570c60ec [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. Gavafacfc092002-01-19 00:29:54 +00006import string
Steven M. Gava44d3d1a2001-07-31 06:59:02 +00007
Steven M. Gavac11ccf32001-09-24 09:43:17 +00008from configHandler import idleConf
Steven M. Gava485f7b62001-10-26 06:47:09 +00009from dynOptionMenuWidget import DynOptionMenu
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000010from tabpage import TabPageSet
Steven M. Gavafacfc092002-01-19 00:29:54 +000011from keybindingDialog import GetKeysDialog
Steven M. Gava60fc7072001-08-04 13:58:22 +000012
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000013class ConfigDialog(Toplevel):
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000014 """
Steven M. Gavad721c482001-07-31 10:46:53 +000015 configuration dialog for idle
16 """
Steven M. Gava3b55a892001-11-21 05:56:26 +000017 def __init__(self,parent,title):
Steven M. Gavad721c482001-07-31 10:46:53 +000018 Toplevel.__init__(self, parent)
19 self.configure(borderwidth=5)
20 self.geometry("+%d+%d" % (parent.winfo_rootx()+20,
21 parent.winfo_rooty()+30))
Steven M. Gava9dd16b32001-11-03 14:54:25 +000022 #Theme Elements. Each theme element key is it's display name.
23 #The first value of the tuple is the sample area tag name.
24 #The second value is the display name list sort index.
25 #The third value indicates whether the element can have a foreground
26 #or background colour or both.
Steven M. Gavaad4f5322002-01-03 12:05:17 +000027 self.themeElements={'Normal Text':('normal','00'),
28 'Python Keywords':('keyword','01'),
29 'Python Definitions':('definition','02'),
30 'Python Comments':('comment','03'),
31 'Python Strings':('string','04'),
32 'Selected Text':('hilite','05'),
33 'Found Text':('hit','06'),
34 'Cursor':('cursor','07'),
35 'Error Text':('error','08'),
36 'Shell Normal Text':('console','09'),
37 'Shell Stdout Text':('stdout','10'),
38 'Shell Stderr Text':('stderr','11')}
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000039 #changedItems. When any config item is changed in this dialog, an entry
40 #should be made in the relevant section (config type) of this
41 #dictionary. The key should be the config file section name and the
42 #value a dictionary, whose key:value pairs are item=value pairs for
43 #that config file section.
44 self.changedItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
45 #defaultItems. This dictionary is loaded with the values from the
46 #default config files. It is used for comparison with self.changedItems
47 #to decide which changed items actually need saving.
48 self.defaultItems=self.GetDefaultItems()
Steven M. Gavad721c482001-07-31 10:46:53 +000049 self.CreateWidgets()
50 self.resizable(height=FALSE,width=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +000051 self.transient(parent)
52 self.grab_set()
53 self.protocol("WM_DELETE_WINDOW", self.Cancel)
54 self.parent = parent
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000055 self.tabPages.focus_set()
Steven M. Gavad721c482001-07-31 10:46:53 +000056 #key bindings for this dialog
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000057 #self.bind('<Escape>',self.Cancel) #dismiss dialog, no save
58 #self.bind('<Alt-a>',self.Apply) #apply changes, save
59 #self.bind('<F1>',self.Help) #context help
Steven M. Gava429a86a2001-10-23 10:42:12 +000060 self.LoadConfigs()
Steven M. Gavac112cd82002-01-22 05:56:40 +000061 self.AttachVarCallbacks() #avoid callbacks during LoadConfigs
Steven M. Gavad721c482001-07-31 10:46:53 +000062 self.wait_window()
63
Steven M. Gavad721c482001-07-31 10:46:53 +000064 def CreateWidgets(self):
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000065 self.tabPages = TabPageSet(self,
66 pageNames=['Fonts/Tabs','Highlighting','Keys','General'])
Steven M. Gavaad4f5322002-01-03 12:05:17 +000067 self.tabPages.ChangePage()#activates default (first) page
Steven M. Gavad721c482001-07-31 10:46:53 +000068 frameActionButtons = Frame(self)
Steven M. Gavad721c482001-07-31 10:46:53 +000069 #action buttons
Steven M. Gava952d0a52001-08-03 04:43:44 +000070 self.buttonHelp = Button(frameActionButtons,text='Help',
71 command=self.Help,takefocus=FALSE)
Steven M. Gavac01e30f2001-08-11 15:48:13 +000072 self.buttonOk = Button(frameActionButtons,text='Ok',
73 command=self.Ok,takefocus=FALSE)
74 self.buttonApply = Button(frameActionButtons,text='Apply',
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000075 command=self.Apply,takefocus=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +000076 self.buttonCancel = Button(frameActionButtons,text='Cancel',
77 command=self.Cancel,takefocus=FALSE)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000078 self.CreatePageFontTab()
79 self.CreatePageHighlight()
80 self.CreatePageKeys()
81 self.CreatePageGeneral()
Steven M. Gavac01e30f2001-08-11 15:48:13 +000082 self.buttonHelp.pack(side=RIGHT,padx=5,pady=5)
83 self.buttonOk.pack(side=LEFT,padx=5,pady=5)
84 self.buttonApply.pack(side=LEFT,padx=5,pady=5)
Steven M. Gavad721c482001-07-31 10:46:53 +000085 self.buttonCancel.pack(side=LEFT,padx=5,pady=5)
86 frameActionButtons.pack(side=BOTTOM)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000087 self.tabPages.pack(side=TOP,expand=TRUE,fill=BOTH)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000088
Steven M. Gava60fc7072001-08-04 13:58:22 +000089 def CreatePageFontTab(self):
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000090 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +000091 self.fontSize=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +000092 self.fontBold=BooleanVar(self)
93 self.fontName=StringVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +000094 self.spaceNum=IntVar(self)
95 self.tabCols=IntVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +000096 self.indentBySpaces=BooleanVar(self)
Steven M. Gava429a86a2001-10-23 10:42:12 +000097 self.editFont=tkFont.Font(self,('courier',12,'normal'))
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000098 ##widget creation
99 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000100 frame=self.tabPages.pages['Fonts/Tabs']['page']
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000101 #body section frames
102 frameFont=Frame(frame,borderwidth=2,relief=GROOVE)
103 frameIndent=Frame(frame,borderwidth=2,relief=GROOVE)
104 #frameFont
105 labelFontTitle=Label(frameFont,text='Set Base Editor Font')
106 frameFontName=Frame(frameFont)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000107 frameFontParam=Frame(frameFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000108 labelFontNameTitle=Label(frameFontName,justify=LEFT,
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000109 text='Font :')
110 self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
111 exportselection=FALSE)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000112 self.listFontName.bind('<ButtonRelease-1>',self.OnListFontButtonRelease)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000113 scrollFont=Scrollbar(frameFontName)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000114 scrollFont.config(command=self.listFontName.yview)
115 self.listFontName.config(yscrollcommand=scrollFont.set)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000116 labelFontSizeTitle=Label(frameFontParam,text='Size :')
117 self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000118 command=self.SetFontSample)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000119 checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000120 onvalue=1,offvalue=0,text='Bold',command=self.SetFontSample)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000121 frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
122 self.labelFontSample=Label(frameFontSample,
123 text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000124 justify=LEFT,font=self.editFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000125 #frameIndent
126 labelIndentTitle=Label(frameIndent,text='Set Indentation Defaults')
127 frameIndentType=Frame(frameIndent)
128 frameIndentSize=Frame(frameIndent)
129 labelIndentTypeTitle=Label(frameIndentType,
130 text='Choose indentation type :')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000131 radioUseSpaces=Radiobutton(frameIndentType,variable=self.indentBySpaces,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000132 value=1,text='Tab key inserts spaces')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000133 radioUseTabs=Radiobutton(frameIndentType,variable=self.indentBySpaces,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000134 value=0,text='Tab key inserts tabs')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000135 labelIndentSizeTitle=Label(frameIndentSize,
136 text='Choose indentation size :')
137 labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT,
138 text='when tab key inserts spaces,\nspaces per tab')
139 self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum,
140 orient='horizontal',tickinterval=2,from_=2,to=8)
141 labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
142 text='when tab key inserts tabs,\ncolumns per tab')
143 self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
144 orient='horizontal',tickinterval=2,from_=2,to=8)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000145 #widget packing
146 #body
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000147 frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
148 frameIndent.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000149 #frameFont
150 labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000151 frameFontName.pack(side=TOP,padx=5,pady=5,fill=X)
152 frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000153 labelFontNameTitle.pack(side=TOP,anchor=W)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000154 self.listFontName.pack(side=LEFT,expand=TRUE,fill=X)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000155 scrollFont.pack(side=LEFT,fill=Y)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000156 labelFontSizeTitle.pack(side=LEFT,anchor=W)
157 self.optMenuFontSize.pack(side=LEFT,anchor=W)
158 checkFontBold.pack(side=LEFT,anchor=W,padx=20)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000159 frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000160 self.labelFontSample.pack(expand=TRUE,fill=BOTH)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000161 #frameIndent
162 labelIndentTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
163 frameIndentType.pack(side=TOP,padx=5,fill=X)
164 frameIndentSize.pack(side=TOP,padx=5,pady=5,fill=BOTH)
165 labelIndentTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
166 radioUseSpaces.pack(side=TOP,anchor=W,padx=5)
167 radioUseTabs.pack(side=TOP,anchor=W,padx=5)
168 labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
169 labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
170 self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
171 labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
172 self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000173 return frame
174
175 def CreatePageHighlight(self):
Steven M. Gava3b55a892001-11-21 05:56:26 +0000176 self.builtinTheme=StringVar(self)
177 self.customTheme=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000178 self.fgHilite=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000179 self.colour=StringVar(self)
180 self.fontName=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000181 self.themeIsBuiltin=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000182 self.highlightTarget=StringVar(self)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000183 ##widget creation
184 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000185 frame=self.tabPages.pages['Highlighting']['page']
Steven M. Gava952d0a52001-08-03 04:43:44 +0000186 #body section frames
187 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
188 frameTheme=Frame(frame,borderwidth=2,relief=GROOVE)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000189 #frameCustom
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000190 self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1,
191 font=('courier',12,''),cursor='hand2',width=10,height=10,
192 takefocus=FALSE,highlightthickness=0)
193 text=self.textHighlightSample
194 text.bind('<Double-Button-1>',lambda e: 'break')
195 text.bind('<B1-Motion>',lambda e: 'break')
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000196 textAndTags=(('#you can click in here','comment'),('\n','normal'),
197 ('#to choose items','comment'),('\n','normal'),('def','keyword'),
198 (' ','normal'),('func','definition'),('(param):','normal'),
199 ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000200 ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'hilite'),
201 ('\n var2 = ','normal'),("'found'",'hit'),('\n\n','normal'),
Steven M. Gava99300612001-11-04 07:03:08 +0000202 (' error ','error'),(' ','normal'),('cursor |','cursor'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000203 ('\n ','normal'),('shell','console'),(' ','normal'),('stdout','stdout'),
204 (' ','normal'),('stderr','stderr'),('\n','normal'))
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000205 for txTa in textAndTags:
206 text.insert(END,txTa[0],txTa[1])
207 for element in self.themeElements.keys():
208 text.tag_bind(self.themeElements[element][0],'<ButtonPress-1>',
209 lambda event,elem=element: event.widget.winfo_toplevel()
210 .highlightTarget.set(elem))
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000211 text.config(state=DISABLED)
212 self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1)
Steven M. Gava7c017862001-10-29 11:19:46 +0000213 frameFgBg=Frame(frameCustom)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000214 labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting')
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000215 buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :',
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000216 command=self.GetColour,highlightthickness=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000217 self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet,
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000218 self.highlightTarget,None,highlightthickness=0)#,command=self.SetHighlightTargetBinding
Steven M. Gava7c017862001-10-29 11:19:46 +0000219 self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000220 value=1,text='Foreground',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000221 self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000222 value=0,text='Background',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000223 self.fgHilite.set(1)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000224 buttonSaveCustomTheme=Button(frameCustom,
Steven M. Gava952d0a52001-08-03 04:43:44 +0000225 text='Save as a Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000226 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000227 labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme')
228 labelTypeTitle=Label(frameTheme,text='Select : ')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000229 self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
230 value=1,command=self.SetThemeType,text='a Built-in Theme')
231 self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
232 value=0,command=self.SetThemeType,text='a Custom Theme')
Steven M. Gava41a85322001-10-29 08:05:34 +0000233 self.optMenuThemeBuiltin=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000234 self.builtinTheme,None,command=None)
Steven M. Gava41a85322001-10-29 08:05:34 +0000235 self.optMenuThemeCustom=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000236 self.customTheme,None,command=None)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000237 self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000238 ##widget packing
239 #body
Steven M. Gava60fc7072001-08-04 13:58:22 +0000240 frameCustom.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
241 frameTheme.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000242 #frameCustom
243 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000244 self.frameColourSet.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=X)
Steven M. Gava7c017862001-10-29 11:19:46 +0000245 frameFgBg.pack(side=TOP,padx=5,pady=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000246 self.textHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,
247 fill=BOTH)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000248 buttonSetColour.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=4)
249 self.optMenuHighlightTarget.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=3)
Steven M. Gava7c017862001-10-29 11:19:46 +0000250 self.radioFg.pack(side=LEFT,anchor=E)
251 self.radioBg.pack(side=RIGHT,anchor=W)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000252 buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000253 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000254 labelThemeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
255 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000256 self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
257 self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000258 self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
259 self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000260 self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000261 return frame
262
263 def CreatePageKeys(self):
Steven M. Gava60fc7072001-08-04 13:58:22 +0000264 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000265 self.bindingTarget=StringVar(self)
266 self.builtinKeys=StringVar(self)
267 self.customKeys=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000268 self.keysAreDefault=BooleanVar(self)
269 self.keyBinding=StringVar(self)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000270 ##widget creation
271 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000272 frame=self.tabPages.pages['Keys']['page']
Steven M. Gava60fc7072001-08-04 13:58:22 +0000273 #body section frames
274 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
275 frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE)
276 #frameCustom
277 frameTarget=Frame(frameCustom)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000278 labelCustomTitle=Label(frameCustom,text='Set Custom Key Bindings')
Steven M. Gavafacfc092002-01-19 00:29:54 +0000279 labelTargetTitle=Label(frameTarget,text='Action - Key(s)')
280 scrollTargetY=Scrollbar(frameTarget)
281 scrollTargetX=Scrollbar(frameTarget,orient=HORIZONTAL)
282 self.listBindings=Listbox(frameTarget)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000283 self.listBindings.bind('<ButtonRelease-1>',self.KeyBindingSelected)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000284 scrollTargetY.config(command=self.listBindings.yview)
285 scrollTargetX.config(command=self.listBindings.xview)
286 self.listBindings.config(yscrollcommand=scrollTargetY.set)
287 self.listBindings.config(xscrollcommand=scrollTargetX.set)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000288 self.buttonNewKeys=Button(frameCustom,text='Get New Keys for Selection',
289 command=self.GetNewKeys,state=DISABLED)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000290 buttonSaveCustomKeys=Button(frameCustom,text='Save as a Custom Key Set')
291 #frameKeySets
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000292 labelKeysTitle=Label(frameKeySets,text='Select a Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000293 labelTypeTitle=Label(frameKeySets,text='Select : ')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000294 self.radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysAreDefault,
295 value=1,command=self.SetKeysType,text='a Built-in Key Set')
296 self.radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysAreDefault,
297 value=0,command=self.SetKeysType,text='a Custom Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000298 self.optMenuKeysBuiltin=DynOptionMenu(frameKeySets,
299 self.builtinKeys,None,command=None)
300 self.optMenuKeysCustom=DynOptionMenu(frameKeySets,
301 self.customKeys,None,command=None)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000302 self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000303 ##widget packing
304 #body
305 frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
306 frameKeySets.pack(side=LEFT,padx=5,pady=5,fill=Y)
307 #frameCustom
308 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
309 buttonSaveCustomKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000310 self.buttonNewKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000311 frameTarget.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
312 #frame target
313 frameTarget.columnconfigure(0,weight=1)
314 frameTarget.rowconfigure(1,weight=1)
315 labelTargetTitle.grid(row=0,column=0,columnspan=2,sticky=W)
316 self.listBindings.grid(row=1,column=0,sticky=NSEW)
317 scrollTargetY.grid(row=1,column=1,sticky=NS)
318 scrollTargetX.grid(row=2,column=0,sticky=EW)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000319 #frameKeySets
320 labelKeysTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
321 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000322 self.radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5)
323 self.radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000324 self.optMenuKeysBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
325 self.optMenuKeysCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
326 self.buttonDeleteCustomKeys.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000327 return frame
328
329 def CreatePageGeneral(self):
Steven M. Gava230e5782001-08-07 03:28:25 +0000330 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000331 self.winWidth=StringVar(self)
332 self.winHeight=StringVar(self)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000333 self.startupEdit=IntVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000334 self.extEnabled=IntVar(self)
Steven M. Gava230e5782001-08-07 03:28:25 +0000335 #widget creation
336 #body
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000337 frame=self.tabPages.pages['General']['page']
Steven M. Gava230e5782001-08-07 03:28:25 +0000338 #body section frames
339 frameRun=Frame(frame,borderwidth=2,relief=GROOVE)
340 frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)
341 frameExt=Frame(frame,borderwidth=2,relief=GROOVE)
342 #frameRun
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000343 labelRunTitle=Label(frameRun,text='Startup Preferences')
344 labelRunChoiceTitle=Label(frameRun,text='On startup : ')
345 radioStartupEdit=Radiobutton(frameRun,variable=self.startupEdit,
346 value=1,command=self.SetKeysType,text="open Edit Window")
347 radioStartupShell=Radiobutton(frameRun,variable=self.startupEdit,
348 value=0,command=self.SetKeysType,text='open Shell Window')
Steven M. Gava230e5782001-08-07 03:28:25 +0000349 #frameWinSize
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000350 labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size'+
351 ' (in characters)')
Steven M. Gava230e5782001-08-07 03:28:25 +0000352 labelWinWidthTitle=Label(frameWinSize,text='Width')
353 entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth,
354 width=3)
355 labelWinHeightTitle=Label(frameWinSize,text='Height')
356 entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight,
357 width=3)
358 #frameExt
359 frameExtList=Frame(frameExt)
360 frameExtSet=Frame(frameExt)
361 labelExtTitle=Label(frameExt,text='Configure IDLE Extensions')
362 labelExtListTitle=Label(frameExtList,text='Extension')
363 scrollExtList=Scrollbar(frameExtList)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000364 self.listExt=Listbox(frameExtList,height=5)
365 scrollExtList.config(command=self.listExt.yview)
366 self.listExt.config(yscrollcommand=scrollExtList.set)
367 self.listExt.bind('<ButtonRelease-1>',self.ExtensionSelected)
Steven M. Gava230e5782001-08-07 03:28:25 +0000368 labelExtSetTitle=Label(frameExtSet,text='Settings')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000369 self.radioEnableExt=Radiobutton(frameExtSet,variable=self.extEnabled,
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000370 value=1,text="enabled",state=DISABLED,
371 command=self.ExtensionStateToggled)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000372 self.radioDisableExt=Radiobutton(frameExtSet,variable=self.extEnabled,
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000373 value=0,text="disabled",state=DISABLED,
374 command=self.ExtensionStateToggled)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000375 self.buttonExtConfig=Button(frameExtSet,text='Configure',state=DISABLED)
Steven M. Gava230e5782001-08-07 03:28:25 +0000376 #widget packing
377 #body
378 frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
379 frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
380 frameExt.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
381 #frameRun
382 labelRunTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
383 labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000384 radioStartupEdit.pack(side=LEFT,anchor=W,padx=5,pady=5)
385 radioStartupShell.pack(side=LEFT,anchor=W,padx=5,pady=5)
Steven M. Gava230e5782001-08-07 03:28:25 +0000386 #frameWinSize
Steven M. Gavafacfc092002-01-19 00:29:54 +0000387 labelWinSizeTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
388 entryWinHeight.pack(side=RIGHT,anchor=E,padx=10,pady=5)
389 labelWinHeightTitle.pack(side=RIGHT,anchor=E,pady=5)
390 entryWinWidth.pack(side=RIGHT,anchor=E,padx=10,pady=5)
391 labelWinWidthTitle.pack(side=RIGHT,anchor=E,pady=5)
Steven M. Gava230e5782001-08-07 03:28:25 +0000392 #frameExt
393 labelExtTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
394 frameExtSet.pack(side=RIGHT,padx=5,pady=5,fill=Y)
395 frameExtList.pack(side=RIGHT,padx=5,pady=5,expand=TRUE,fill=BOTH)
396 labelExtListTitle.pack(side=TOP,anchor=W)
397 scrollExtList.pack(side=RIGHT,anchor=W,fill=Y)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000398 self.listExt.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
Steven M. Gava230e5782001-08-07 03:28:25 +0000399 labelExtSetTitle.pack(side=TOP,anchor=W)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000400 self.radioEnableExt.pack(side=TOP,anchor=W)
401 self.radioDisableExt.pack(side=TOP,anchor=W)
402 self.buttonExtConfig.pack(side=TOP,anchor=W,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000403 return frame
404
Steven M. Gavac112cd82002-01-22 05:56:40 +0000405 def AttachVarCallbacks(self):
406 self.fontSize.trace_variable('w',self.VarChanged_fontSize)
407 self.fontName.trace_variable('w',self.VarChanged_fontName)
408 self.fontBold.trace_variable('w',self.VarChanged_fontBold)
409 self.spaceNum.trace_variable('w',self.VarChanged_spaceNum)
410 self.tabCols.trace_variable('w',self.VarChanged_tabCols)
411 self.indentBySpaces.trace_variable('w',self.VarChanged_indentBySpaces)
412 self.colour.trace_variable('w',self.VarChanged_colour)
413 self.keyBinding.trace_variable('w',self.VarChanged_keyBinding)
414 self.winWidth.trace_variable('w',self.VarChanged_winWidth)
415 self.winHeight.trace_variable('w',self.VarChanged_winHeight)
416 self.startupEdit.trace_variable('w',self.VarChanged_startupEdit)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000417
418 def VarChanged_fontSize(self,*params):
419 value=self.fontSize.get()
420 self.AddChangedItem('main','EditorWindow','font-size',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000421
422 def VarChanged_fontName(self,*params):
423 value=self.fontName.get()
424 self.AddChangedItem('main','EditorWindow','font',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000425
426 def VarChanged_fontBold(self,*params):
427 value=self.fontBold.get()
428 self.AddChangedItem('main','EditorWindow','font-bold',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000429
430 def VarChanged_indentBySpaces(self,*params):
431 value=self.indentBySpaces.get()
432 self.AddChangedItem('main','Indent','use-spaces',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000433
434 def VarChanged_spaceNum(self,*params):
435 value=self.spaceNum.get()
436 self.AddChangedItem('main','Indent','num-spaces',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000437
438 def VarChanged_tabCols(self,*params):
439 value=self.tabCols.get()
440 self.AddChangedItem('main','Indent','tab-cols',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000441
442 def VarChanged_colour(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000443 value=self.colour.get()
444 theme=self.customTheme.get()
445 element=self.themeElements[self.highlightTarget.get()][0]
446 self.AddChangedItem('highlight',theme,element,value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000447 print params
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000448
Steven M. Gavac112cd82002-01-22 05:56:40 +0000449 def VarChanged_keyBinding(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000450 value=self.keyBinding.get()
451 keySet=self.customKeys.get()
452 event=self.listBindings.get(ANCHOR).split()[0]
453 self.AddChangedItem('keys',keySet,event,value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000454 print params
455
456 def VarChanged_winWidth(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000457 value=self.winWidth.get()
458 self.AddChangedItem('main','EditorWindow','width',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000459
460 def VarChanged_winHeight(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000461 value=self.winHeight.get()
462 self.AddChangedItem('main','EditorWindow','height',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000463
464 def VarChanged_startupEdit(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000465 value=self.startupEdit.get()
466 self.AddChangedItem('main','General','editor-on-startup',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000467
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000468 def ExtensionStateToggled(self):
469 #callback for the extension enable/disable radio buttons
470 value=self.extEnabled.get()
471 extension=self.listExt.get(ANCHOR)
472 self.AddChangedItem('extensions',extension,'enabled',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000473
474 def AddChangedItem(self,type,section,item,value):
475 if not self.changedItems[type].has_key(section):
476 self.changedItems[type][section]={}
477 self.changedItems[type][section][item]=value
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000478 print type,section,item,value
Steven M. Gavac112cd82002-01-22 05:56:40 +0000479
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000480 def GetDefaultItems(self):
481 dItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
482 for configType in dItems.keys():
483 sections=idleConf.GetSectionList('default',configType)
484 for section in sections:
485 dItems[configType][section]={}
486 options=idleConf.defaultCfg[configType].GetOptionList(section)
487 for option in options:
488 dItems[configType][section][option]=(
489 idleConf.defaultCfg[configType].Get(section,option))
490 return dItems
491
492 def SetThemeType(self):
493 if self.themeIsBuiltin.get():
494 self.optMenuThemeBuiltin.config(state=NORMAL)
495 self.optMenuThemeCustom.config(state=DISABLED)
496 self.buttonDeleteCustomTheme.config(state=DISABLED)
497 else:
498 self.optMenuThemeBuiltin.config(state=DISABLED)
499 self.optMenuThemeCustom.config(state=NORMAL)
500 self.buttonDeleteCustomTheme.config(state=NORMAL)
501
502 def SetKeysType(self):
503 if self.keysAreDefault.get():
504 self.optMenuKeysBuiltin.config(state=NORMAL)
505 self.optMenuKeysCustom.config(state=DISABLED)
506 self.buttonDeleteCustomKeys.config(state=DISABLED)
507 else:
508 self.optMenuKeysBuiltin.config(state=DISABLED)
509 self.optMenuKeysCustom.config(state=NORMAL)
510 self.buttonDeleteCustomKeys.config(state=NORMAL)
511
512 def GetColour(self):
513 target=self.highlightTarget.get()
514 rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
515 title='Pick new colour for : '+target,
516 initialcolor=self.frameColourSet.cget('bg'))
517 if colourString: #user didn't cancel
Steven M. Gavac112cd82002-01-22 05:56:40 +0000518 self.colour.set(colourString)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000519 self.frameColourSet.config(bg=colourString)#set sample
520 if self.fgHilite.get(): plane='foreground'
521 else: plane='background'
522 apply(self.textHighlightSample.tag_config,
523 (self.themeElements[target][0],),{plane:colourString})
524
Steven M. Gavac112cd82002-01-22 05:56:40 +0000525 def OnListFontButtonRelease(self,event):
526 self.fontName.set(self.listFontName.get(ANCHOR))
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000527 self.SetFontSample()
528
Steven M. Gavac112cd82002-01-22 05:56:40 +0000529 def SetFontSample(self,event=None):
530 fontName=self.fontName.get()
531 if self.fontBold.get():
532 fontWeight=tkFont.BOLD
533 else:
534 fontWeight=tkFont.NORMAL
535 self.editFont.config(size=self.fontSize.get(),
536 weight=fontWeight,family=fontName)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000537
538 def SetHighlightTargetBinding(self,*args):
539 self.SetHighlightTarget()
540
541 def SetHighlightTarget(self):
542 if self.highlightTarget.get()=='Cursor': #bg not possible
543 self.radioFg.config(state=DISABLED)
544 self.radioBg.config(state=DISABLED)
545 self.fgHilite.set(1)
546 else: #both fg and bg can be set
547 self.radioFg.config(state=NORMAL)
548 self.radioBg.config(state=NORMAL)
549 self.fgHilite.set(1)
550 self.SetColourSample()
551
552 def SetColourSampleBinding(self,*args):
553 self.SetColourSample()
554
555 def SetColourSample(self):
556 #set the colour smaple area
557 tag=self.themeElements[self.highlightTarget.get()][0]
558 if self.fgHilite.get(): plane='foreground'
559 else: plane='background'
560 colour=self.textHighlightSample.tag_cget(tag,plane)
561 self.frameColourSet.config(bg=colour)
562
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000563 def PaintThemeSample(self):
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000564 if self.themeIsBuiltin.get(): #a default theme
Steven M. Gava99300612001-11-04 07:03:08 +0000565 theme=self.builtinTheme.get()
566 else: #a user theme
567 theme=self.customTheme.get()
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000568 for element in self.themeElements.keys():
569 colours=idleConf.GetHighlight(theme, self.themeElements[element][0])
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000570 if element=='Cursor': #cursor sample needs special painting
571 colours['background']=idleConf.GetHighlight(theme,
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000572 'normal', fgBg='bg')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000573 apply(self.textHighlightSample.tag_config,
574 (self.themeElements[element][0],),colours)
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000575
Steven M. Gava429a86a2001-10-23 10:42:12 +0000576 def LoadFontCfg(self):
577 ##base editor font selection list
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000578 fonts=list(tkFont.families(self))
579 fonts.sort()
580 for font in fonts:
581 self.listFontName.insert(END,font)
Steven M. Gava485f7b62001-10-26 06:47:09 +0000582 configuredFont=idleConf.GetOption('main','EditorWindow','font',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000583 default='courier')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000584 self.fontName.set(configuredFont)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000585 if configuredFont in fonts:
586 currentFontIndex=fonts.index(configuredFont)
587 self.listFontName.see(currentFontIndex)
588 self.listFontName.select_set(currentFontIndex)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000589 self.listFontName.select_anchor(currentFontIndex)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000590 ##font size dropdown
Steven M. Gavac112cd82002-01-22 05:56:40 +0000591 fontSize=idleConf.GetOption('main','EditorWindow','font-size',
592 default='12')
Steven M. Gava485f7b62001-10-26 06:47:09 +0000593 self.optMenuFontSize.SetMenu(('10','11','12','13','14',
594 '16','18','20','22'),fontSize )
Steven M. Gavac112cd82002-01-22 05:56:40 +0000595 ##fontWeight
596 self.fontBold.set(idleConf.GetOption('main','EditorWindow',
597 'font-bold',default=0,type='bool'))
Steven M. Gava429a86a2001-10-23 10:42:12 +0000598 ##font sample
599 self.SetFontSample()
600
601 def LoadTabCfg(self):
602 ##indent type radibuttons
Steven M. Gava485f7b62001-10-26 06:47:09 +0000603 spaceIndent=idleConf.GetOption('main','Indent','use-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000604 default=1,type='bool')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000605 self.indentBySpaces.set(spaceIndent)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000606 ##indent sizes
Steven M. Gava485f7b62001-10-26 06:47:09 +0000607 spaceNum=idleConf.GetOption('main','Indent','num-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000608 default=4,type='int')
Steven M. Gava485f7b62001-10-26 06:47:09 +0000609 tabCols=idleConf.GetOption('main','Indent','tab-cols',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000610 default=4,type='int')
611 self.spaceNum.set(spaceNum)
612 self.tabCols.set(tabCols)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000613
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000614 def LoadThemeCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000615 ##current theme type radiobutton
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000616 self.themeIsBuiltin.set(idleConf.GetOption('main','Theme','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000617 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000618 ##currently set theme
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000619 currentOption=idleConf.CurrentTheme()
Steven M. Gava7c017862001-10-29 11:19:46 +0000620 ##load available theme option menus
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000621 if self.themeIsBuiltin.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000622 itemList=idleConf.GetSectionList('default','highlight')
623 self.optMenuThemeBuiltin.SetMenu(itemList,currentOption)
624 itemList=idleConf.GetSectionList('user','highlight')
625 if not itemList:
626 self.radioThemeCustom.config(state=DISABLED)
627 self.customTheme.set('- no custom themes -')
628 else:
629 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000630 else: #user theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000631 itemList=idleConf.GetSectionList('user','highlight')
632 self.optMenuThemeCustom.SetMenu(itemList,currentOption)
633 itemList=idleConf.GetSectionList('default','highlight')
634 self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
Steven M. Gava7c017862001-10-29 11:19:46 +0000635 self.SetThemeType()
636 ##load theme element option menu
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000637 themeNames=self.themeElements.keys()
638 themeNames.sort(self.__ThemeNameIndexCompare)
639 self.optMenuHighlightTarget.SetMenu(themeNames,themeNames[0])
640 self.PaintThemeSample()
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000641 self.SetHighlightTarget()
Steven M. Gava41a85322001-10-29 08:05:34 +0000642
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000643 def __ThemeNameIndexCompare(self,a,b):
644 if self.themeElements[a][1]<self.themeElements[b][1]: return -1
645 elif self.themeElements[a][1]==self.themeElements[b][1]: return 0
646 else: return 1
647
648 def LoadKeyCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000649 ##current keys type radiobutton
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000650 self.keysAreDefault.set(idleConf.GetOption('main','Keys','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000651 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000652 ##currently set keys
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000653 currentOption=idleConf.CurrentKeys()
Steven M. Gava7c017862001-10-29 11:19:46 +0000654 ##load available keyset option menus
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000655 if self.keysAreDefault.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000656 itemList=idleConf.GetSectionList('default','keys')
657 self.optMenuKeysBuiltin.SetMenu(itemList,currentOption)
658 itemList=idleConf.GetSectionList('user','keys')
659 if not itemList:
660 self.radioKeysCustom.config(state=DISABLED)
661 self.customKeys.set('- no custom keys -')
662 else:
663 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000664 else: #user theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000665 itemList=idleConf.GetSectionList('user','keys')
666 self.optMenuKeysCustom.SetMenu(itemList,currentOption)
667 itemList=idleConf.GetSectionList('default','keys')
668 self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0])
669 self.SetKeysType()
Steven M. Gavafacfc092002-01-19 00:29:54 +0000670 ##load keyset element list
Steven M. Gavac628a062002-01-19 10:33:21 +0000671 keySet=idleConf.GetCurrentKeySet()
Steven M. Gavafacfc092002-01-19 00:29:54 +0000672 bindNames=keySet.keys()
673 bindNames.sort()
674 for bindName in bindNames:
675 key=string.join(keySet[bindName]) #make key(s) into a string
676 bindName=bindName[2:-2] #trim off the angle brackets
677 self.listBindings.insert(END, bindName+' - '+key)
678
679 def GetNewKeys(self):
680 listIndex=self.listBindings.index(ANCHOR)
681 binding=self.listBindings.get(listIndex)
682 bindName=binding.split()[0] #first part, up to first space
Steven M. Gavac628a062002-01-19 10:33:21 +0000683 currentKeySequences=idleConf.GetCurrentKeySet().values()
Steven M. Gava68d73362002-01-19 01:30:56 +0000684 newKeys=GetKeysDialog(self,'Get New Keys',bindName,currentKeySequences)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000685 if newKeys.result: #new keys were specified
686 self.listBindings.delete(listIndex)
687 self.listBindings.insert(listIndex,bindName+' - '+newKeys.result)
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000688 self.listBindings.select_set(listIndex)
689 self.listBindings.select_anchor(listIndex)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000690 self.keyBinding.set(newKeys.result)
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000691 else:
692 self.listBindings.select_set(listIndex)
693 self.listBindings.select_anchor(listIndex)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000694
695 def KeyBindingSelected(self,event):
696 self.buttonNewKeys.config(state=NORMAL)
697
Steven M. Gavafacfc092002-01-19 00:29:54 +0000698 def LoadGeneralCfg(self):
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000699 #startup state
700 self.startupEdit.set(idleConf.GetOption('main','General',
701 'editor-on-startup',default=1,type='bool'))
Steven M. Gavafacfc092002-01-19 00:29:54 +0000702 #initial window size
703 self.winWidth.set(idleConf.GetOption('main','EditorWindow','width'))
704 self.winHeight.set(idleConf.GetOption('main','EditorWindow','height'))
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000705 #extensions
706 extns=idleConf.GetExtensions(activeOnly=0)
707 apply(self.listExt.insert,(END,)+tuple(extns))
708
709 def ExtensionSelected(self,event):
710 self.radioEnableExt.config(state=NORMAL)
711 self.radioDisableExt.config(state=NORMAL)
712 self.buttonExtConfig.config(state=NORMAL)
713 extn=self.listExt.get(ANCHOR)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000714 self.extEnabled.set(idleConf.GetOption('extensions',extn,'enable',
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000715 default=1,type='bool'))
716
Steven M. Gava429a86a2001-10-23 10:42:12 +0000717 def LoadConfigs(self):
718 """
719 load configuration from default and user config files and populate
720 the widgets on the config dialog pages.
721 """
722 ### fonts / tabs page
723 self.LoadFontCfg()
724 self.LoadTabCfg()
725 ### highlighting page
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000726 self.LoadThemeCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000727 ### keys page
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000728 self.LoadKeyCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000729 ### help page
730 ### general page
Steven M. Gavafacfc092002-01-19 00:29:54 +0000731 self.LoadGeneralCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000732
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000733 def SaveConfigs(self):
Steven M. Gava429a86a2001-10-23 10:42:12 +0000734 """
735 save configuration changes to user config files.
736 """
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000737 #DEBUG
738 print self.defaultItems
739 print self.changedItems
740 for configType in self.changedItems.keys():
741 for section in self.changedItems[configType].keys():
742 for item in self.changedItems[configType][section].keys():
743 #DEBUG
744 value=self.changedItems[configType][section][item]
745 print configType, section, item, value
746 print self.changedItems
747
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000748 def Cancel(self):
749 self.destroy()
750
751 def Ok(self):
752 self.Apply()
753 self.destroy()
754
755 def Apply(self):
756 self.SaveConfigs()
757
758 def Help(self):
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000759 pass
760
Steven M. Gava44d3d1a2001-07-31 06:59:02 +0000761if __name__ == '__main__':
Steven M. Gavad721c482001-07-31 10:46:53 +0000762 #test the dialog
763 root=Tk()
764 Button(root,text='Dialog',
Steven M. Gava3b55a892001-11-21 05:56:26 +0000765 command=lambda:ConfigDialog(root,'Settings')).pack()
Steven M. Gavad721c482001-07-31 10:46:53 +0000766 root.mainloop()