blob: 16d929811ae6afb8434c6d1362d5bd14293081c3 [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. Gavaf9bb90e2002-01-24 06:02:50 +000012from configSectionNameDialog import GetCfgSectionNameDialog
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. Gavaa498af22002-02-01 01:33:36 +000039 self.ResetChangedItems() #load initial values in changed items dict
Steven M. Gavad721c482001-07-31 10:46:53 +000040 self.CreateWidgets()
41 self.resizable(height=FALSE,width=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +000042 self.transient(parent)
43 self.grab_set()
44 self.protocol("WM_DELETE_WINDOW", self.Cancel)
45 self.parent = parent
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000046 self.tabPages.focus_set()
Steven M. Gavad721c482001-07-31 10:46:53 +000047 #key bindings for this dialog
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000048 #self.bind('<Escape>',self.Cancel) #dismiss dialog, no save
49 #self.bind('<Alt-a>',self.Apply) #apply changes, save
50 #self.bind('<F1>',self.Help) #context help
Steven M. Gava429a86a2001-10-23 10:42:12 +000051 self.LoadConfigs()
Steven M. Gavac112cd82002-01-22 05:56:40 +000052 self.AttachVarCallbacks() #avoid callbacks during LoadConfigs
Steven M. Gavad721c482001-07-31 10:46:53 +000053 self.wait_window()
54
Steven M. Gavad721c482001-07-31 10:46:53 +000055 def CreateWidgets(self):
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000056 self.tabPages = TabPageSet(self,
57 pageNames=['Fonts/Tabs','Highlighting','Keys','General'])
Steven M. Gavaad4f5322002-01-03 12:05:17 +000058 self.tabPages.ChangePage()#activates default (first) page
Steven M. Gavad721c482001-07-31 10:46:53 +000059 frameActionButtons = Frame(self)
Steven M. Gavad721c482001-07-31 10:46:53 +000060 #action buttons
Steven M. Gava952d0a52001-08-03 04:43:44 +000061 self.buttonHelp = Button(frameActionButtons,text='Help',
62 command=self.Help,takefocus=FALSE)
Steven M. Gavac01e30f2001-08-11 15:48:13 +000063 self.buttonOk = Button(frameActionButtons,text='Ok',
64 command=self.Ok,takefocus=FALSE)
65 self.buttonApply = Button(frameActionButtons,text='Apply',
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000066 command=self.Apply,takefocus=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +000067 self.buttonCancel = Button(frameActionButtons,text='Cancel',
68 command=self.Cancel,takefocus=FALSE)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000069 self.CreatePageFontTab()
70 self.CreatePageHighlight()
71 self.CreatePageKeys()
72 self.CreatePageGeneral()
Steven M. Gavac01e30f2001-08-11 15:48:13 +000073 self.buttonHelp.pack(side=RIGHT,padx=5,pady=5)
74 self.buttonOk.pack(side=LEFT,padx=5,pady=5)
75 self.buttonApply.pack(side=LEFT,padx=5,pady=5)
Steven M. Gavad721c482001-07-31 10:46:53 +000076 self.buttonCancel.pack(side=LEFT,padx=5,pady=5)
77 frameActionButtons.pack(side=BOTTOM)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000078 self.tabPages.pack(side=TOP,expand=TRUE,fill=BOTH)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000079
Steven M. Gava60fc7072001-08-04 13:58:22 +000080 def CreatePageFontTab(self):
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000081 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +000082 self.fontSize=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +000083 self.fontBold=BooleanVar(self)
84 self.fontName=StringVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +000085 self.spaceNum=IntVar(self)
86 self.tabCols=IntVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +000087 self.indentBySpaces=BooleanVar(self)
Steven M. Gava429a86a2001-10-23 10:42:12 +000088 self.editFont=tkFont.Font(self,('courier',12,'normal'))
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000089 ##widget creation
90 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000091 frame=self.tabPages.pages['Fonts/Tabs']['page']
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000092 #body section frames
93 frameFont=Frame(frame,borderwidth=2,relief=GROOVE)
94 frameIndent=Frame(frame,borderwidth=2,relief=GROOVE)
95 #frameFont
96 labelFontTitle=Label(frameFont,text='Set Base Editor Font')
97 frameFontName=Frame(frameFont)
Steven M. Gavae16d94b2001-11-03 05:07:28 +000098 frameFontParam=Frame(frameFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000099 labelFontNameTitle=Label(frameFontName,justify=LEFT,
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000100 text='Font :')
101 self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
102 exportselection=FALSE)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000103 self.listFontName.bind('<ButtonRelease-1>',self.OnListFontButtonRelease)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000104 scrollFont=Scrollbar(frameFontName)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000105 scrollFont.config(command=self.listFontName.yview)
106 self.listFontName.config(yscrollcommand=scrollFont.set)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000107 labelFontSizeTitle=Label(frameFontParam,text='Size :')
108 self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000109 command=self.SetFontSample)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000110 checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000111 onvalue=1,offvalue=0,text='Bold',command=self.SetFontSample)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000112 frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
113 self.labelFontSample=Label(frameFontSample,
114 text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000115 justify=LEFT,font=self.editFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000116 #frameIndent
117 labelIndentTitle=Label(frameIndent,text='Set Indentation Defaults')
118 frameIndentType=Frame(frameIndent)
119 frameIndentSize=Frame(frameIndent)
120 labelIndentTypeTitle=Label(frameIndentType,
121 text='Choose indentation type :')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000122 radioUseSpaces=Radiobutton(frameIndentType,variable=self.indentBySpaces,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000123 value=1,text='Tab key inserts spaces')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000124 radioUseTabs=Radiobutton(frameIndentType,variable=self.indentBySpaces,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000125 value=0,text='Tab key inserts tabs')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000126 labelIndentSizeTitle=Label(frameIndentSize,
127 text='Choose indentation size :')
128 labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT,
129 text='when tab key inserts spaces,\nspaces per tab')
130 self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum,
131 orient='horizontal',tickinterval=2,from_=2,to=8)
132 labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
133 text='when tab key inserts tabs,\ncolumns per tab')
134 self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
135 orient='horizontal',tickinterval=2,from_=2,to=8)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000136 #widget packing
137 #body
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000138 frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
139 frameIndent.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000140 #frameFont
141 labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000142 frameFontName.pack(side=TOP,padx=5,pady=5,fill=X)
143 frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000144 labelFontNameTitle.pack(side=TOP,anchor=W)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000145 self.listFontName.pack(side=LEFT,expand=TRUE,fill=X)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000146 scrollFont.pack(side=LEFT,fill=Y)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000147 labelFontSizeTitle.pack(side=LEFT,anchor=W)
148 self.optMenuFontSize.pack(side=LEFT,anchor=W)
149 checkFontBold.pack(side=LEFT,anchor=W,padx=20)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000150 frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000151 self.labelFontSample.pack(expand=TRUE,fill=BOTH)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000152 #frameIndent
153 labelIndentTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
154 frameIndentType.pack(side=TOP,padx=5,fill=X)
155 frameIndentSize.pack(side=TOP,padx=5,pady=5,fill=BOTH)
156 labelIndentTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
157 radioUseSpaces.pack(side=TOP,anchor=W,padx=5)
158 radioUseTabs.pack(side=TOP,anchor=W,padx=5)
159 labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
160 labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
161 self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
162 labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
163 self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000164 return frame
165
166 def CreatePageHighlight(self):
Steven M. Gava3b55a892001-11-21 05:56:26 +0000167 self.builtinTheme=StringVar(self)
168 self.customTheme=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000169 self.fgHilite=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000170 self.colour=StringVar(self)
171 self.fontName=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000172 self.themeIsBuiltin=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000173 self.highlightTarget=StringVar(self)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000174 ##widget creation
175 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000176 frame=self.tabPages.pages['Highlighting']['page']
Steven M. Gava952d0a52001-08-03 04:43:44 +0000177 #body section frames
178 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
179 frameTheme=Frame(frame,borderwidth=2,relief=GROOVE)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000180 #frameCustom
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000181 self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1,
182 font=('courier',12,''),cursor='hand2',width=10,height=10,
183 takefocus=FALSE,highlightthickness=0)
184 text=self.textHighlightSample
185 text.bind('<Double-Button-1>',lambda e: 'break')
186 text.bind('<B1-Motion>',lambda e: 'break')
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000187 textAndTags=(('#you can click in here','comment'),('\n','normal'),
188 ('#to choose items','comment'),('\n','normal'),('def','keyword'),
189 (' ','normal'),('func','definition'),('(param):','normal'),
190 ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000191 ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'hilite'),
192 ('\n var2 = ','normal'),("'found'",'hit'),('\n\n','normal'),
Steven M. Gava99300612001-11-04 07:03:08 +0000193 (' error ','error'),(' ','normal'),('cursor |','cursor'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000194 ('\n ','normal'),('shell','console'),(' ','normal'),('stdout','stdout'),
195 (' ','normal'),('stderr','stderr'),('\n','normal'))
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000196 for txTa in textAndTags:
197 text.insert(END,txTa[0],txTa[1])
198 for element in self.themeElements.keys():
199 text.tag_bind(self.themeElements[element][0],'<ButtonPress-1>',
200 lambda event,elem=element: event.widget.winfo_toplevel()
201 .highlightTarget.set(elem))
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000202 text.config(state=DISABLED)
203 self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1)
Steven M. Gava7c017862001-10-29 11:19:46 +0000204 frameFgBg=Frame(frameCustom)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000205 labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting')
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000206 buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :',
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000207 command=self.GetColour,highlightthickness=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000208 self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet,
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000209 self.highlightTarget,None,highlightthickness=0)#,command=self.SetHighlightTargetBinding
Steven M. Gava7c017862001-10-29 11:19:46 +0000210 self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000211 value=1,text='Foreground',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000212 self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000213 value=0,text='Background',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000214 self.fgHilite.set(1)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000215 buttonSaveCustomTheme=Button(frameCustom,
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000216 text='Save as New Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000217 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000218 labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme')
219 labelTypeTitle=Label(frameTheme,text='Select : ')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000220 self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
221 value=1,command=self.SetThemeType,text='a Built-in Theme')
222 self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
223 value=0,command=self.SetThemeType,text='a Custom Theme')
Steven M. Gava41a85322001-10-29 08:05:34 +0000224 self.optMenuThemeBuiltin=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000225 self.builtinTheme,None,command=None)
Steven M. Gava41a85322001-10-29 08:05:34 +0000226 self.optMenuThemeCustom=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000227 self.customTheme,None,command=None)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000228 self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000229 ##widget packing
230 #body
Steven M. Gava60fc7072001-08-04 13:58:22 +0000231 frameCustom.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
232 frameTheme.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000233 #frameCustom
234 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000235 self.frameColourSet.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=X)
Steven M. Gava7c017862001-10-29 11:19:46 +0000236 frameFgBg.pack(side=TOP,padx=5,pady=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000237 self.textHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,
238 fill=BOTH)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000239 buttonSetColour.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=4)
240 self.optMenuHighlightTarget.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=3)
Steven M. Gava7c017862001-10-29 11:19:46 +0000241 self.radioFg.pack(side=LEFT,anchor=E)
242 self.radioBg.pack(side=RIGHT,anchor=W)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000243 buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000244 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000245 labelThemeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
246 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000247 self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
248 self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000249 self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
250 self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000251 self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000252 return frame
253
254 def CreatePageKeys(self):
Steven M. Gava60fc7072001-08-04 13:58:22 +0000255 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000256 self.bindingTarget=StringVar(self)
257 self.builtinKeys=StringVar(self)
258 self.customKeys=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000259 self.keysAreDefault=BooleanVar(self)
260 self.keyBinding=StringVar(self)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000261 ##widget creation
262 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000263 frame=self.tabPages.pages['Keys']['page']
Steven M. Gava60fc7072001-08-04 13:58:22 +0000264 #body section frames
265 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
266 frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE)
267 #frameCustom
268 frameTarget=Frame(frameCustom)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000269 labelCustomTitle=Label(frameCustom,text='Set Custom Key Bindings')
Steven M. Gavafacfc092002-01-19 00:29:54 +0000270 labelTargetTitle=Label(frameTarget,text='Action - Key(s)')
271 scrollTargetY=Scrollbar(frameTarget)
272 scrollTargetX=Scrollbar(frameTarget,orient=HORIZONTAL)
273 self.listBindings=Listbox(frameTarget)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000274 self.listBindings.bind('<ButtonRelease-1>',self.KeyBindingSelected)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000275 scrollTargetY.config(command=self.listBindings.yview)
276 scrollTargetX.config(command=self.listBindings.xview)
277 self.listBindings.config(yscrollcommand=scrollTargetY.set)
278 self.listBindings.config(xscrollcommand=scrollTargetX.set)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000279 self.buttonNewKeys=Button(frameCustom,text='Get New Keys for Selection',
280 command=self.GetNewKeys,state=DISABLED)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000281 buttonSaveCustomKeys=Button(frameCustom,text='Save as New Custom Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000282 #frameKeySets
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000283 labelKeysTitle=Label(frameKeySets,text='Select a Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000284 labelTypeTitle=Label(frameKeySets,text='Select : ')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000285 self.radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysAreDefault,
286 value=1,command=self.SetKeysType,text='a Built-in Key Set')
287 self.radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysAreDefault,
288 value=0,command=self.SetKeysType,text='a Custom Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000289 self.optMenuKeysBuiltin=DynOptionMenu(frameKeySets,
290 self.builtinKeys,None,command=None)
291 self.optMenuKeysCustom=DynOptionMenu(frameKeySets,
292 self.customKeys,None,command=None)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000293 self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000294 ##widget packing
295 #body
296 frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
297 frameKeySets.pack(side=LEFT,padx=5,pady=5,fill=Y)
298 #frameCustom
299 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
300 buttonSaveCustomKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000301 self.buttonNewKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000302 frameTarget.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
303 #frame target
304 frameTarget.columnconfigure(0,weight=1)
305 frameTarget.rowconfigure(1,weight=1)
306 labelTargetTitle.grid(row=0,column=0,columnspan=2,sticky=W)
307 self.listBindings.grid(row=1,column=0,sticky=NSEW)
308 scrollTargetY.grid(row=1,column=1,sticky=NS)
309 scrollTargetX.grid(row=2,column=0,sticky=EW)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000310 #frameKeySets
311 labelKeysTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
312 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000313 self.radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5)
314 self.radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000315 self.optMenuKeysBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
316 self.optMenuKeysCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
317 self.buttonDeleteCustomKeys.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000318 return frame
319
320 def CreatePageGeneral(self):
Steven M. Gava230e5782001-08-07 03:28:25 +0000321 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000322 self.winWidth=StringVar(self)
323 self.winHeight=StringVar(self)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000324 self.startupEdit=IntVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000325 self.extEnabled=IntVar(self)
Steven M. Gava230e5782001-08-07 03:28:25 +0000326 #widget creation
327 #body
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000328 frame=self.tabPages.pages['General']['page']
Steven M. Gava230e5782001-08-07 03:28:25 +0000329 #body section frames
330 frameRun=Frame(frame,borderwidth=2,relief=GROOVE)
331 frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)
332 frameExt=Frame(frame,borderwidth=2,relief=GROOVE)
333 #frameRun
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000334 labelRunTitle=Label(frameRun,text='Startup Preferences')
335 labelRunChoiceTitle=Label(frameRun,text='On startup : ')
336 radioStartupEdit=Radiobutton(frameRun,variable=self.startupEdit,
337 value=1,command=self.SetKeysType,text="open Edit Window")
338 radioStartupShell=Radiobutton(frameRun,variable=self.startupEdit,
339 value=0,command=self.SetKeysType,text='open Shell Window')
Steven M. Gava230e5782001-08-07 03:28:25 +0000340 #frameWinSize
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000341 labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size'+
342 ' (in characters)')
Steven M. Gava230e5782001-08-07 03:28:25 +0000343 labelWinWidthTitle=Label(frameWinSize,text='Width')
344 entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth,
345 width=3)
346 labelWinHeightTitle=Label(frameWinSize,text='Height')
347 entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight,
348 width=3)
349 #frameExt
350 frameExtList=Frame(frameExt)
351 frameExtSet=Frame(frameExt)
352 labelExtTitle=Label(frameExt,text='Configure IDLE Extensions')
353 labelExtListTitle=Label(frameExtList,text='Extension')
354 scrollExtList=Scrollbar(frameExtList)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000355 self.listExt=Listbox(frameExtList,height=5)
356 scrollExtList.config(command=self.listExt.yview)
357 self.listExt.config(yscrollcommand=scrollExtList.set)
358 self.listExt.bind('<ButtonRelease-1>',self.ExtensionSelected)
Steven M. Gava230e5782001-08-07 03:28:25 +0000359 labelExtSetTitle=Label(frameExtSet,text='Settings')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000360 self.radioEnableExt=Radiobutton(frameExtSet,variable=self.extEnabled,
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000361 value=1,text="enabled",state=DISABLED,
362 command=self.ExtensionStateToggled)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000363 self.radioDisableExt=Radiobutton(frameExtSet,variable=self.extEnabled,
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000364 value=0,text="disabled",state=DISABLED,
365 command=self.ExtensionStateToggled)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000366 self.buttonExtConfig=Button(frameExtSet,text='Configure',state=DISABLED)
Steven M. Gava230e5782001-08-07 03:28:25 +0000367 #widget packing
368 #body
369 frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
370 frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
371 frameExt.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
372 #frameRun
373 labelRunTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
374 labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000375 radioStartupEdit.pack(side=LEFT,anchor=W,padx=5,pady=5)
376 radioStartupShell.pack(side=LEFT,anchor=W,padx=5,pady=5)
Steven M. Gava230e5782001-08-07 03:28:25 +0000377 #frameWinSize
Steven M. Gavafacfc092002-01-19 00:29:54 +0000378 labelWinSizeTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
379 entryWinHeight.pack(side=RIGHT,anchor=E,padx=10,pady=5)
380 labelWinHeightTitle.pack(side=RIGHT,anchor=E,pady=5)
381 entryWinWidth.pack(side=RIGHT,anchor=E,padx=10,pady=5)
382 labelWinWidthTitle.pack(side=RIGHT,anchor=E,pady=5)
Steven M. Gava230e5782001-08-07 03:28:25 +0000383 #frameExt
384 labelExtTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
385 frameExtSet.pack(side=RIGHT,padx=5,pady=5,fill=Y)
386 frameExtList.pack(side=RIGHT,padx=5,pady=5,expand=TRUE,fill=BOTH)
387 labelExtListTitle.pack(side=TOP,anchor=W)
388 scrollExtList.pack(side=RIGHT,anchor=W,fill=Y)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000389 self.listExt.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
Steven M. Gava230e5782001-08-07 03:28:25 +0000390 labelExtSetTitle.pack(side=TOP,anchor=W)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000391 self.radioEnableExt.pack(side=TOP,anchor=W)
392 self.radioDisableExt.pack(side=TOP,anchor=W)
393 self.buttonExtConfig.pack(side=TOP,anchor=W,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000394 return frame
395
Steven M. Gavac112cd82002-01-22 05:56:40 +0000396 def AttachVarCallbacks(self):
397 self.fontSize.trace_variable('w',self.VarChanged_fontSize)
398 self.fontName.trace_variable('w',self.VarChanged_fontName)
399 self.fontBold.trace_variable('w',self.VarChanged_fontBold)
400 self.spaceNum.trace_variable('w',self.VarChanged_spaceNum)
401 self.tabCols.trace_variable('w',self.VarChanged_tabCols)
402 self.indentBySpaces.trace_variable('w',self.VarChanged_indentBySpaces)
403 self.colour.trace_variable('w',self.VarChanged_colour)
404 self.keyBinding.trace_variable('w',self.VarChanged_keyBinding)
405 self.winWidth.trace_variable('w',self.VarChanged_winWidth)
406 self.winHeight.trace_variable('w',self.VarChanged_winHeight)
407 self.startupEdit.trace_variable('w',self.VarChanged_startupEdit)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000408
409 def VarChanged_fontSize(self,*params):
410 value=self.fontSize.get()
411 self.AddChangedItem('main','EditorWindow','font-size',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000412
413 def VarChanged_fontName(self,*params):
414 value=self.fontName.get()
415 self.AddChangedItem('main','EditorWindow','font',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000416
417 def VarChanged_fontBold(self,*params):
418 value=self.fontBold.get()
419 self.AddChangedItem('main','EditorWindow','font-bold',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000420
421 def VarChanged_indentBySpaces(self,*params):
422 value=self.indentBySpaces.get()
423 self.AddChangedItem('main','Indent','use-spaces',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000424
425 def VarChanged_spaceNum(self,*params):
426 value=self.spaceNum.get()
427 self.AddChangedItem('main','Indent','num-spaces',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000428
429 def VarChanged_tabCols(self,*params):
430 value=self.tabCols.get()
431 self.AddChangedItem('main','Indent','tab-cols',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000432
433 def VarChanged_colour(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000434 value=self.colour.get()
435 theme=self.customTheme.get()
436 element=self.themeElements[self.highlightTarget.get()][0]
437 self.AddChangedItem('highlight',theme,element,value)
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000438
Steven M. Gavac112cd82002-01-22 05:56:40 +0000439 def VarChanged_keyBinding(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000440 value=self.keyBinding.get()
441 keySet=self.customKeys.get()
442 event=self.listBindings.get(ANCHOR).split()[0]
Steven M. Gavaa498af22002-02-01 01:33:36 +0000443 if idleConf.IsCoreBinding(event):
444 #this is a core keybinding
445 self.AddChangedItem('keys',keySet,event,value)
446 else: #this is an extension key binding
447 extName=idleConf.GetExtnNameForEvent(event)
448 extKeybindSection=extName+'_cfgBindings'
449 self.AddChangedItem('extensions',extKeybindSection,event,value)
450
Steven M. Gavac112cd82002-01-22 05:56:40 +0000451 def VarChanged_winWidth(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000452 value=self.winWidth.get()
453 self.AddChangedItem('main','EditorWindow','width',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000454
455 def VarChanged_winHeight(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000456 value=self.winHeight.get()
457 self.AddChangedItem('main','EditorWindow','height',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000458
459 def VarChanged_startupEdit(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000460 value=self.startupEdit.get()
461 self.AddChangedItem('main','General','editor-on-startup',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000462
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000463 def ExtensionStateToggled(self):
464 #callback for the extension enable/disable radio buttons
465 value=self.extEnabled.get()
466 extension=self.listExt.get(ANCHOR)
467 self.AddChangedItem('extensions',extension,'enabled',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000468
Steven M. Gavaa498af22002-02-01 01:33:36 +0000469 def ResetChangedItems(self):
470 #changedItems. When any config item is changed in this dialog, an entry
471 #should be made in the relevant section (config type) of this
472 #dictionary. The key should be the config file section name and the
473 #value a dictionary, whose key:value pairs are item=value pairs for
474 #that config file section.
475 self.changedItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
476
Steven M. Gavac112cd82002-01-22 05:56:40 +0000477 def AddChangedItem(self,type,section,item,value):
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000478 value=str(value) #make sure we use a string
Steven M. Gavac112cd82002-01-22 05:56:40 +0000479 if not self.changedItems[type].has_key(section):
480 self.changedItems[type][section]={}
481 self.changedItems[type][section][item]=value
482
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000483 def GetDefaultItems(self):
484 dItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
485 for configType in dItems.keys():
486 sections=idleConf.GetSectionList('default',configType)
487 for section in sections:
488 dItems[configType][section]={}
489 options=idleConf.defaultCfg[configType].GetOptionList(section)
490 for option in options:
491 dItems[configType][section][option]=(
492 idleConf.defaultCfg[configType].Get(section,option))
493 return dItems
494
495 def SetThemeType(self):
496 if self.themeIsBuiltin.get():
497 self.optMenuThemeBuiltin.config(state=NORMAL)
498 self.optMenuThemeCustom.config(state=DISABLED)
499 self.buttonDeleteCustomTheme.config(state=DISABLED)
500 else:
501 self.optMenuThemeBuiltin.config(state=DISABLED)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000502 self.radioThemeCustom.config(state=NORMAL)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000503 self.optMenuThemeCustom.config(state=NORMAL)
504 self.buttonDeleteCustomTheme.config(state=NORMAL)
505
506 def SetKeysType(self):
507 if self.keysAreDefault.get():
508 self.optMenuKeysBuiltin.config(state=NORMAL)
509 self.optMenuKeysCustom.config(state=DISABLED)
510 self.buttonDeleteCustomKeys.config(state=DISABLED)
511 else:
512 self.optMenuKeysBuiltin.config(state=DISABLED)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000513 self.radioKeysCustom.config(state=NORMAL)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000514 self.optMenuKeysCustom.config(state=NORMAL)
515 self.buttonDeleteCustomKeys.config(state=NORMAL)
516
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000517 def GetNewKeys(self):
518 listIndex=self.listBindings.index(ANCHOR)
519 binding=self.listBindings.get(listIndex)
520 bindName=binding.split()[0] #first part, up to first space
521 currentKeySequences=idleConf.GetCurrentKeySet().values()
522 newKeys=GetKeysDialog(self,'Get New Keys',bindName,currentKeySequences)
523 if newKeys.result: #new keys were specified
524 if self.keysAreDefault.get(): #current key set is a built-in
525 message=('Your changes will be saved as a new Custom Key Set. '+
526 'Enter a name for your new Custom Key Set below.')
527 usedNames=idleConf.GetSectionList('user','keys')
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000528 for newName in self.changedItems['keys'].keys():
529 if newName not in usedNames: usedNames.append(newName)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000530 newKeySet=GetCfgSectionNameDialog(self,'New Custom Key Set',
531 message,usedNames)
532 if not newKeySet.result: #user cancelled custom key set creation
533 self.listBindings.select_set(listIndex)
534 self.listBindings.select_anchor(listIndex)
535 return
536 else: #create new custom key set based on previously active key set
537 self.CreateNewKeySet(newKeySet.result)
538 self.listBindings.delete(listIndex)
539 self.listBindings.insert(listIndex,bindName+' - '+newKeys.result)
540 self.listBindings.select_set(listIndex)
541 self.listBindings.select_anchor(listIndex)
542 self.keyBinding.set(newKeys.result)
543 else:
544 self.listBindings.select_set(listIndex)
545 self.listBindings.select_anchor(listIndex)
546
547 def KeyBindingSelected(self,event):
548 self.buttonNewKeys.config(state=NORMAL)
549
550 def CreateNewKeySet(self,newKeySetName):
551 #creates new custom key set based on the previously active key set,
552 #and makes the new key set active
553 if self.keysAreDefault.get():
554 keySetName=self.builtinKeys.get()
555 else:
556 keySetName=self.customKeys.get()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000557 #add the new key set to changedItems
Steven M. Gavaa498af22002-02-01 01:33:36 +0000558 prevCoreKeys=idleConf.GetCoreKeys(keySetName)
559 for event in prevCoreKeys.keys(): #add core key set to changed items
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000560 eventName=event[2:-2] #trim off the angle brackets
561 self.AddChangedItem('keys',newKeySetName,eventName,
Steven M. Gavaa498af22002-02-01 01:33:36 +0000562 string.join(prevCoreKeys[event]))
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000563 #change gui over to the new key set
564 customKeyList=idleConf.GetSectionList('user','keys')
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000565 for newName in self.changedItems['keys'].keys():
566 if newName not in customKeyList: customKeyList.append(newName)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000567 customKeyList.sort()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000568 self.optMenuKeysCustom.SetMenu(customKeyList,newKeySetName)
569 self.keysAreDefault.set(0)
570 self.SetKeysType()
571
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000572 def GetColour(self):
573 target=self.highlightTarget.get()
574 rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
575 title='Pick new colour for : '+target,
576 initialcolor=self.frameColourSet.cget('bg'))
577 if colourString: #user didn't cancel
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000578 if self.themeIsBuiltin.get(): #current theme is a built-in
579 message=('Your changes will be saved as a new Custom Theme. '+
580 'Enter a name for your new Custom Theme below.')
581 usedNames=idleConf.GetSectionList('user','highlight')
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000582 for newName in self.changedItems['highlight'].keys():
583 if newName not in usedNames: usedNames.append(newName)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000584 newTheme=GetCfgSectionNameDialog(self,'New Custom Theme',
585 message,usedNames)
586 if not newTheme.result: #user cancelled custom theme creation
587 return
588 else: #create new custom theme based on previously active theme
589 self.CreateNewTheme(newTheme.result)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000590 self.colour.set(colourString)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000591 self.frameColourSet.config(bg=colourString)#set sample
592 if self.fgHilite.get(): plane='foreground'
593 else: plane='background'
594 apply(self.textHighlightSample.tag_config,
595 (self.themeElements[target][0],),{plane:colourString})
596
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000597 def CreateNewTheme(self,newThemeName):
598 #creates new custom theme based on the previously active theme,
599 #and makes the new theme active
600 if self.themeIsBuiltin.get():
601 themeType='default'
602 themeName=self.builtinTheme.get()
603 else:
604 themeType='user'
605 themeName=self.customTheme.get()
606 newTheme=idleConf.GetThemeDict(themeType,themeName)
607 #add the new theme to changedItems
608 self.changedItems['highlight'][newThemeName]=newTheme
609 #change gui over to the new theme
610 customThemeList=idleConf.GetSectionList('user','highlight')
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000611 for newName in self.changedItems['highlight'].keys():
612 if newName not in customThemeList: customThemeList.append(newName)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000613 customThemeList.sort()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000614 self.optMenuThemeCustom.SetMenu(customThemeList,newThemeName)
615 self.themeIsBuiltin.set(0)
616 self.SetThemeType()
617
Steven M. Gavac112cd82002-01-22 05:56:40 +0000618 def OnListFontButtonRelease(self,event):
619 self.fontName.set(self.listFontName.get(ANCHOR))
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000620 self.SetFontSample()
621
Steven M. Gavac112cd82002-01-22 05:56:40 +0000622 def SetFontSample(self,event=None):
623 fontName=self.fontName.get()
624 if self.fontBold.get():
625 fontWeight=tkFont.BOLD
626 else:
627 fontWeight=tkFont.NORMAL
628 self.editFont.config(size=self.fontSize.get(),
629 weight=fontWeight,family=fontName)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000630
631 def SetHighlightTargetBinding(self,*args):
632 self.SetHighlightTarget()
633
634 def SetHighlightTarget(self):
635 if self.highlightTarget.get()=='Cursor': #bg not possible
636 self.radioFg.config(state=DISABLED)
637 self.radioBg.config(state=DISABLED)
638 self.fgHilite.set(1)
639 else: #both fg and bg can be set
640 self.radioFg.config(state=NORMAL)
641 self.radioBg.config(state=NORMAL)
642 self.fgHilite.set(1)
643 self.SetColourSample()
644
645 def SetColourSampleBinding(self,*args):
646 self.SetColourSample()
647
648 def SetColourSample(self):
649 #set the colour smaple area
650 tag=self.themeElements[self.highlightTarget.get()][0]
651 if self.fgHilite.get(): plane='foreground'
652 else: plane='background'
653 colour=self.textHighlightSample.tag_cget(tag,plane)
654 self.frameColourSet.config(bg=colour)
655
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000656 def PaintThemeSample(self):
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000657 if self.themeIsBuiltin.get(): #a default theme
Steven M. Gava99300612001-11-04 07:03:08 +0000658 theme=self.builtinTheme.get()
659 else: #a user theme
660 theme=self.customTheme.get()
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000661 for element in self.themeElements.keys():
662 colours=idleConf.GetHighlight(theme, self.themeElements[element][0])
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000663 if element=='Cursor': #cursor sample needs special painting
664 colours['background']=idleConf.GetHighlight(theme,
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000665 'normal', fgBg='bg')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000666 apply(self.textHighlightSample.tag_config,
667 (self.themeElements[element][0],),colours)
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000668
Steven M. Gava429a86a2001-10-23 10:42:12 +0000669 def LoadFontCfg(self):
670 ##base editor font selection list
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000671 fonts=list(tkFont.families(self))
672 fonts.sort()
673 for font in fonts:
674 self.listFontName.insert(END,font)
Steven M. Gava485f7b62001-10-26 06:47:09 +0000675 configuredFont=idleConf.GetOption('main','EditorWindow','font',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000676 default='courier')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000677 self.fontName.set(configuredFont)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000678 if configuredFont in fonts:
679 currentFontIndex=fonts.index(configuredFont)
680 self.listFontName.see(currentFontIndex)
681 self.listFontName.select_set(currentFontIndex)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000682 self.listFontName.select_anchor(currentFontIndex)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000683 ##font size dropdown
Steven M. Gavac112cd82002-01-22 05:56:40 +0000684 fontSize=idleConf.GetOption('main','EditorWindow','font-size',
685 default='12')
Steven M. Gava485f7b62001-10-26 06:47:09 +0000686 self.optMenuFontSize.SetMenu(('10','11','12','13','14',
687 '16','18','20','22'),fontSize )
Steven M. Gavac112cd82002-01-22 05:56:40 +0000688 ##fontWeight
689 self.fontBold.set(idleConf.GetOption('main','EditorWindow',
690 'font-bold',default=0,type='bool'))
Steven M. Gava429a86a2001-10-23 10:42:12 +0000691 ##font sample
692 self.SetFontSample()
693
694 def LoadTabCfg(self):
695 ##indent type radibuttons
Steven M. Gava485f7b62001-10-26 06:47:09 +0000696 spaceIndent=idleConf.GetOption('main','Indent','use-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000697 default=1,type='bool')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000698 self.indentBySpaces.set(spaceIndent)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000699 ##indent sizes
Steven M. Gava485f7b62001-10-26 06:47:09 +0000700 spaceNum=idleConf.GetOption('main','Indent','num-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000701 default=4,type='int')
Steven M. Gava485f7b62001-10-26 06:47:09 +0000702 tabCols=idleConf.GetOption('main','Indent','tab-cols',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000703 default=4,type='int')
704 self.spaceNum.set(spaceNum)
705 self.tabCols.set(tabCols)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000706
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000707 def LoadThemeCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000708 ##current theme type radiobutton
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000709 self.themeIsBuiltin.set(idleConf.GetOption('main','Theme','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000710 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000711 ##currently set theme
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000712 currentOption=idleConf.CurrentTheme()
Steven M. Gava7c017862001-10-29 11:19:46 +0000713 ##load available theme option menus
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000714 if self.themeIsBuiltin.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000715 itemList=idleConf.GetSectionList('default','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000716 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000717 self.optMenuThemeBuiltin.SetMenu(itemList,currentOption)
718 itemList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000719 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000720 if not itemList:
721 self.radioThemeCustom.config(state=DISABLED)
722 self.customTheme.set('- no custom themes -')
723 else:
724 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000725 else: #user theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000726 itemList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000727 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000728 self.optMenuThemeCustom.SetMenu(itemList,currentOption)
729 itemList=idleConf.GetSectionList('default','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000730 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000731 self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
Steven M. Gava7c017862001-10-29 11:19:46 +0000732 self.SetThemeType()
733 ##load theme element option menu
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000734 themeNames=self.themeElements.keys()
735 themeNames.sort(self.__ThemeNameIndexCompare)
736 self.optMenuHighlightTarget.SetMenu(themeNames,themeNames[0])
737 self.PaintThemeSample()
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000738 self.SetHighlightTarget()
Steven M. Gava41a85322001-10-29 08:05:34 +0000739
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000740 def __ThemeNameIndexCompare(self,a,b):
741 if self.themeElements[a][1]<self.themeElements[b][1]: return -1
742 elif self.themeElements[a][1]==self.themeElements[b][1]: return 0
743 else: return 1
744
745 def LoadKeyCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000746 ##current keys type radiobutton
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000747 self.keysAreDefault.set(idleConf.GetOption('main','Keys','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000748 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000749 ##currently set keys
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000750 currentOption=idleConf.CurrentKeys()
Steven M. Gava7c017862001-10-29 11:19:46 +0000751 ##load available keyset option menus
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000752 if self.keysAreDefault.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000753 itemList=idleConf.GetSectionList('default','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000754 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000755 self.optMenuKeysBuiltin.SetMenu(itemList,currentOption)
756 itemList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000757 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000758 if not itemList:
759 self.radioKeysCustom.config(state=DISABLED)
760 self.customKeys.set('- no custom keys -')
761 else:
762 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
Steven M. Gavaa498af22002-02-01 01:33:36 +0000763 else: #user key set selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000764 itemList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000765 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000766 self.optMenuKeysCustom.SetMenu(itemList,currentOption)
767 itemList=idleConf.GetSectionList('default','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000768 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000769 self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0])
770 self.SetKeysType()
Steven M. Gavafacfc092002-01-19 00:29:54 +0000771 ##load keyset element list
Steven M. Gavac628a062002-01-19 10:33:21 +0000772 keySet=idleConf.GetCurrentKeySet()
Steven M. Gavafacfc092002-01-19 00:29:54 +0000773 bindNames=keySet.keys()
774 bindNames.sort()
775 for bindName in bindNames:
776 key=string.join(keySet[bindName]) #make key(s) into a string
777 bindName=bindName[2:-2] #trim off the angle brackets
778 self.listBindings.insert(END, bindName+' - '+key)
779
Steven M. Gavafacfc092002-01-19 00:29:54 +0000780 def LoadGeneralCfg(self):
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000781 #startup state
782 self.startupEdit.set(idleConf.GetOption('main','General',
783 'editor-on-startup',default=1,type='bool'))
Steven M. Gavafacfc092002-01-19 00:29:54 +0000784 #initial window size
785 self.winWidth.set(idleConf.GetOption('main','EditorWindow','width'))
786 self.winHeight.set(idleConf.GetOption('main','EditorWindow','height'))
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000787 #extensions
788 extns=idleConf.GetExtensions(activeOnly=0)
789 apply(self.listExt.insert,(END,)+tuple(extns))
790
791 def ExtensionSelected(self,event):
792 self.radioEnableExt.config(state=NORMAL)
793 self.radioDisableExt.config(state=NORMAL)
794 self.buttonExtConfig.config(state=NORMAL)
795 extn=self.listExt.get(ANCHOR)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000796 self.extEnabled.set(idleConf.GetOption('extensions',extn,'enable',
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000797 default=1,type='bool'))
798
Steven M. Gava429a86a2001-10-23 10:42:12 +0000799 def LoadConfigs(self):
800 """
801 load configuration from default and user config files and populate
802 the widgets on the config dialog pages.
803 """
804 ### fonts / tabs page
805 self.LoadFontCfg()
806 self.LoadTabCfg()
807 ### highlighting page
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000808 self.LoadThemeCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000809 ### keys page
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000810 self.LoadKeyCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000811 ### help page
812 ### general page
Steven M. Gavafacfc092002-01-19 00:29:54 +0000813 self.LoadGeneralCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000814
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000815 def SetUserValue(self,configType,section,item,value):
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000816 if idleConf.defaultCfg[configType].has_option(section,item):
817 if idleConf.defaultCfg[configType].Get(section,item)==value:
818 #the setting equals a default setting, remove it from user cfg
819 return idleConf.userCfg[configType].RemoveOption(section,item)
820 #if we got here set the option
821 return idleConf.userCfg[configType].SetOption(section,item,value)
822
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000823 def SaveConfigs(self):
Steven M. Gava429a86a2001-10-23 10:42:12 +0000824 """
825 save configuration changes to user config files.
826 """
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000827 for configType in self.changedItems.keys():
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000828 cfgTypeHasChanges=0
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000829 for section in self.changedItems[configType].keys():
830 for item in self.changedItems[configType][section].keys():
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000831 value=self.changedItems[configType][section][item]
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000832 if self.SetUserValue(configType,section,item,value):
833 cfgTypeHasChanges=1
834 if cfgTypeHasChanges:
835 idleConf.userCfg[configType].Save()
Steven M. Gavaa498af22002-02-01 01:33:36 +0000836 self.ResetChangedItems() #clear the changed items dict
837
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000838 def Cancel(self):
839 self.destroy()
840
841 def Ok(self):
842 self.Apply()
843 self.destroy()
844
845 def Apply(self):
846 self.SaveConfigs()
847
848 def Help(self):
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000849 pass
850
Steven M. Gava44d3d1a2001-07-31 06:59:02 +0000851if __name__ == '__main__':
Steven M. Gavad721c482001-07-31 10:46:53 +0000852 #test the dialog
853 root=Tk()
854 Button(root,text='Dialog',
Steven M. Gava3b55a892001-11-21 05:56:26 +0000855 command=lambda:ConfigDialog(root,'Settings')).pack()
Steven M. Gavad721c482001-07-31 10:46:53 +0000856 root.mainloop()