blob: 2e2ab7ec79f7ba0c6bfe73b474bee42dfe1929c1 [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. Gava085eb1b2002-02-05 04:52:32 +000013from configHelpSourceEdit import GetHelpSourceDialog
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000014class ConfigDialog(Toplevel):
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000015 """
Steven M. Gavad721c482001-07-31 10:46:53 +000016 configuration dialog for idle
17 """
Steven M. Gava3b55a892001-11-21 05:56:26 +000018 def __init__(self,parent,title):
Steven M. Gavad721c482001-07-31 10:46:53 +000019 Toplevel.__init__(self, parent)
20 self.configure(borderwidth=5)
21 self.geometry("+%d+%d" % (parent.winfo_rootx()+20,
22 parent.winfo_rooty()+30))
Steven M. Gava9dd16b32001-11-03 14:54:25 +000023 #Theme Elements. Each theme element key is it's display name.
24 #The first value of the tuple is the sample area tag name.
25 #The second value is the display name list sort index.
26 #The third value indicates whether the element can have a foreground
27 #or background colour or both.
Steven M. Gavaad4f5322002-01-03 12:05:17 +000028 self.themeElements={'Normal Text':('normal','00'),
29 'Python Keywords':('keyword','01'),
30 'Python Definitions':('definition','02'),
31 'Python Comments':('comment','03'),
32 'Python Strings':('string','04'),
33 'Selected Text':('hilite','05'),
34 'Found Text':('hit','06'),
35 'Cursor':('cursor','07'),
36 'Error Text':('error','08'),
37 'Shell Normal Text':('console','09'),
38 'Shell Stdout Text':('stdout','10'),
39 'Shell Stderr Text':('stderr','11')}
Steven M. Gavaa498af22002-02-01 01:33:36 +000040 self.ResetChangedItems() #load initial values in changed items dict
Steven M. Gavad721c482001-07-31 10:46:53 +000041 self.CreateWidgets()
42 self.resizable(height=FALSE,width=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +000043 self.transient(parent)
44 self.grab_set()
45 self.protocol("WM_DELETE_WINDOW", self.Cancel)
46 self.parent = parent
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000047 self.tabPages.focus_set()
Steven M. Gavad721c482001-07-31 10:46:53 +000048 #key bindings for this dialog
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000049 #self.bind('<Escape>',self.Cancel) #dismiss dialog, no save
50 #self.bind('<Alt-a>',self.Apply) #apply changes, save
51 #self.bind('<F1>',self.Help) #context help
Steven M. Gava429a86a2001-10-23 10:42:12 +000052 self.LoadConfigs()
Steven M. Gavac112cd82002-01-22 05:56:40 +000053 self.AttachVarCallbacks() #avoid callbacks during LoadConfigs
Steven M. Gavad721c482001-07-31 10:46:53 +000054 self.wait_window()
55
Steven M. Gavad721c482001-07-31 10:46:53 +000056 def CreateWidgets(self):
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000057 self.tabPages = TabPageSet(self,
58 pageNames=['Fonts/Tabs','Highlighting','Keys','General'])
Steven M. Gavaad4f5322002-01-03 12:05:17 +000059 self.tabPages.ChangePage()#activates default (first) page
Steven M. Gavad721c482001-07-31 10:46:53 +000060 frameActionButtons = Frame(self)
Steven M. Gavad721c482001-07-31 10:46:53 +000061 #action buttons
Steven M. Gava952d0a52001-08-03 04:43:44 +000062 self.buttonHelp = Button(frameActionButtons,text='Help',
63 command=self.Help,takefocus=FALSE)
Steven M. Gavac01e30f2001-08-11 15:48:13 +000064 self.buttonOk = Button(frameActionButtons,text='Ok',
65 command=self.Ok,takefocus=FALSE)
66 self.buttonApply = Button(frameActionButtons,text='Apply',
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000067 command=self.Apply,takefocus=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +000068 self.buttonCancel = Button(frameActionButtons,text='Cancel',
69 command=self.Cancel,takefocus=FALSE)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000070 self.CreatePageFontTab()
71 self.CreatePageHighlight()
72 self.CreatePageKeys()
73 self.CreatePageGeneral()
Steven M. Gavac01e30f2001-08-11 15:48:13 +000074 self.buttonHelp.pack(side=RIGHT,padx=5,pady=5)
75 self.buttonOk.pack(side=LEFT,padx=5,pady=5)
76 self.buttonApply.pack(side=LEFT,padx=5,pady=5)
Steven M. Gavad721c482001-07-31 10:46:53 +000077 self.buttonCancel.pack(side=LEFT,padx=5,pady=5)
78 frameActionButtons.pack(side=BOTTOM)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000079 self.tabPages.pack(side=TOP,expand=TRUE,fill=BOTH)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000080
Steven M. Gava60fc7072001-08-04 13:58:22 +000081 def CreatePageFontTab(self):
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000082 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +000083 self.fontSize=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +000084 self.fontBold=BooleanVar(self)
85 self.fontName=StringVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +000086 self.spaceNum=IntVar(self)
87 self.tabCols=IntVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +000088 self.indentBySpaces=BooleanVar(self)
Steven M. Gava429a86a2001-10-23 10:42:12 +000089 self.editFont=tkFont.Font(self,('courier',12,'normal'))
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000090 ##widget creation
91 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000092 frame=self.tabPages.pages['Fonts/Tabs']['page']
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000093 #body section frames
94 frameFont=Frame(frame,borderwidth=2,relief=GROOVE)
95 frameIndent=Frame(frame,borderwidth=2,relief=GROOVE)
96 #frameFont
97 labelFontTitle=Label(frameFont,text='Set Base Editor Font')
98 frameFontName=Frame(frameFont)
Steven M. Gavae16d94b2001-11-03 05:07:28 +000099 frameFontParam=Frame(frameFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000100 labelFontNameTitle=Label(frameFontName,justify=LEFT,
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000101 text='Font :')
102 self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
103 exportselection=FALSE)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000104 self.listFontName.bind('<ButtonRelease-1>',self.OnListFontButtonRelease)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000105 scrollFont=Scrollbar(frameFontName)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000106 scrollFont.config(command=self.listFontName.yview)
107 self.listFontName.config(yscrollcommand=scrollFont.set)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000108 labelFontSizeTitle=Label(frameFontParam,text='Size :')
109 self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000110 command=self.SetFontSample)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000111 checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000112 onvalue=1,offvalue=0,text='Bold',command=self.SetFontSample)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000113 frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
114 self.labelFontSample=Label(frameFontSample,
115 text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000116 justify=LEFT,font=self.editFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000117 #frameIndent
118 labelIndentTitle=Label(frameIndent,text='Set Indentation Defaults')
119 frameIndentType=Frame(frameIndent)
120 frameIndentSize=Frame(frameIndent)
121 labelIndentTypeTitle=Label(frameIndentType,
122 text='Choose indentation type :')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000123 radioUseSpaces=Radiobutton(frameIndentType,variable=self.indentBySpaces,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000124 value=1,text='Tab key inserts spaces')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000125 radioUseTabs=Radiobutton(frameIndentType,variable=self.indentBySpaces,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000126 value=0,text='Tab key inserts tabs')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000127 labelIndentSizeTitle=Label(frameIndentSize,
128 text='Choose indentation size :')
129 labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT,
130 text='when tab key inserts spaces,\nspaces per tab')
131 self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum,
132 orient='horizontal',tickinterval=2,from_=2,to=8)
133 labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
134 text='when tab key inserts tabs,\ncolumns per tab')
135 self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
136 orient='horizontal',tickinterval=2,from_=2,to=8)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000137 #widget packing
138 #body
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000139 frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
140 frameIndent.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000141 #frameFont
142 labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000143 frameFontName.pack(side=TOP,padx=5,pady=5,fill=X)
144 frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000145 labelFontNameTitle.pack(side=TOP,anchor=W)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000146 self.listFontName.pack(side=LEFT,expand=TRUE,fill=X)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000147 scrollFont.pack(side=LEFT,fill=Y)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000148 labelFontSizeTitle.pack(side=LEFT,anchor=W)
149 self.optMenuFontSize.pack(side=LEFT,anchor=W)
150 checkFontBold.pack(side=LEFT,anchor=W,padx=20)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000151 frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000152 self.labelFontSample.pack(expand=TRUE,fill=BOTH)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000153 #frameIndent
154 labelIndentTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
155 frameIndentType.pack(side=TOP,padx=5,fill=X)
156 frameIndentSize.pack(side=TOP,padx=5,pady=5,fill=BOTH)
157 labelIndentTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
158 radioUseSpaces.pack(side=TOP,anchor=W,padx=5)
159 radioUseTabs.pack(side=TOP,anchor=W,padx=5)
160 labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
161 labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
162 self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
163 labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
164 self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000165 return frame
166
167 def CreatePageHighlight(self):
Steven M. Gava3b55a892001-11-21 05:56:26 +0000168 self.builtinTheme=StringVar(self)
169 self.customTheme=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000170 self.fgHilite=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000171 self.colour=StringVar(self)
172 self.fontName=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000173 self.themeIsBuiltin=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000174 self.highlightTarget=StringVar(self)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000175 ##widget creation
176 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000177 frame=self.tabPages.pages['Highlighting']['page']
Steven M. Gava952d0a52001-08-03 04:43:44 +0000178 #body section frames
179 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
180 frameTheme=Frame(frame,borderwidth=2,relief=GROOVE)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000181 #frameCustom
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000182 self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1,
183 font=('courier',12,''),cursor='hand2',width=10,height=10,
184 takefocus=FALSE,highlightthickness=0)
185 text=self.textHighlightSample
186 text.bind('<Double-Button-1>',lambda e: 'break')
187 text.bind('<B1-Motion>',lambda e: 'break')
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000188 textAndTags=(('#you can click in here','comment'),('\n','normal'),
189 ('#to choose items','comment'),('\n','normal'),('def','keyword'),
190 (' ','normal'),('func','definition'),('(param):','normal'),
191 ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000192 ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'hilite'),
193 ('\n var2 = ','normal'),("'found'",'hit'),('\n\n','normal'),
Steven M. Gava99300612001-11-04 07:03:08 +0000194 (' error ','error'),(' ','normal'),('cursor |','cursor'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000195 ('\n ','normal'),('shell','console'),(' ','normal'),('stdout','stdout'),
196 (' ','normal'),('stderr','stderr'),('\n','normal'))
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000197 for txTa in textAndTags:
198 text.insert(END,txTa[0],txTa[1])
199 for element in self.themeElements.keys():
200 text.tag_bind(self.themeElements[element][0],'<ButtonPress-1>',
201 lambda event,elem=element: event.widget.winfo_toplevel()
202 .highlightTarget.set(elem))
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000203 text.config(state=DISABLED)
204 self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1)
Steven M. Gava7c017862001-10-29 11:19:46 +0000205 frameFgBg=Frame(frameCustom)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000206 labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting')
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000207 buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :',
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000208 command=self.GetColour,highlightthickness=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000209 self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet,
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000210 self.highlightTarget,None,highlightthickness=0)#,command=self.SetHighlightTargetBinding
Steven M. Gava7c017862001-10-29 11:19:46 +0000211 self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000212 value=1,text='Foreground',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000213 self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000214 value=0,text='Background',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000215 self.fgHilite.set(1)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000216 buttonSaveCustomTheme=Button(frameCustom,
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000217 text='Save as New Custom Theme',command=self.SaveAsNewTheme)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000218 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000219 labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme')
220 labelTypeTitle=Label(frameTheme,text='Select : ')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000221 self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
222 value=1,command=self.SetThemeType,text='a Built-in Theme')
223 self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
224 value=0,command=self.SetThemeType,text='a Custom Theme')
Steven M. Gava41a85322001-10-29 08:05:34 +0000225 self.optMenuThemeBuiltin=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000226 self.builtinTheme,None,command=None)
Steven M. Gava41a85322001-10-29 08:05:34 +0000227 self.optMenuThemeCustom=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000228 self.customTheme,None,command=None)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000229 self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000230 ##widget packing
231 #body
Steven M. Gava60fc7072001-08-04 13:58:22 +0000232 frameCustom.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
233 frameTheme.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000234 #frameCustom
235 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000236 self.frameColourSet.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=X)
Steven M. Gava7c017862001-10-29 11:19:46 +0000237 frameFgBg.pack(side=TOP,padx=5,pady=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000238 self.textHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,
239 fill=BOTH)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000240 buttonSetColour.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=4)
241 self.optMenuHighlightTarget.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=3)
Steven M. Gava7c017862001-10-29 11:19:46 +0000242 self.radioFg.pack(side=LEFT,anchor=E)
243 self.radioBg.pack(side=RIGHT,anchor=W)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000244 buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000245 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000246 labelThemeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
247 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000248 self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
249 self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000250 self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
251 self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000252 self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000253 return frame
254
255 def CreatePageKeys(self):
Steven M. Gava60fc7072001-08-04 13:58:22 +0000256 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000257 self.bindingTarget=StringVar(self)
258 self.builtinKeys=StringVar(self)
259 self.customKeys=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000260 self.keysAreDefault=BooleanVar(self)
261 self.keyBinding=StringVar(self)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000262 ##widget creation
263 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000264 frame=self.tabPages.pages['Keys']['page']
Steven M. Gava60fc7072001-08-04 13:58:22 +0000265 #body section frames
266 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
267 frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE)
268 #frameCustom
269 frameTarget=Frame(frameCustom)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000270 labelCustomTitle=Label(frameCustom,text='Set Custom Key Bindings')
Steven M. Gavafacfc092002-01-19 00:29:54 +0000271 labelTargetTitle=Label(frameTarget,text='Action - Key(s)')
272 scrollTargetY=Scrollbar(frameTarget)
273 scrollTargetX=Scrollbar(frameTarget,orient=HORIZONTAL)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000274 self.listBindings=Listbox(frameTarget,takefocus=FALSE,
275 exportselection=FALSE)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000276 self.listBindings.bind('<ButtonRelease-1>',self.KeyBindingSelected)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000277 scrollTargetY.config(command=self.listBindings.yview)
278 scrollTargetX.config(command=self.listBindings.xview)
279 self.listBindings.config(yscrollcommand=scrollTargetY.set)
280 self.listBindings.config(xscrollcommand=scrollTargetX.set)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000281 self.buttonNewKeys=Button(frameCustom,text='Get New Keys for Selection',
282 command=self.GetNewKeys,state=DISABLED)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000283 buttonSaveCustomKeys=Button(frameCustom,
284 text='Save as New Custom Key Set',command=self.SaveAsNewKeySet)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000285 #frameKeySets
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000286 labelKeysTitle=Label(frameKeySets,text='Select a Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000287 labelTypeTitle=Label(frameKeySets,text='Select : ')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000288 self.radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysAreDefault,
289 value=1,command=self.SetKeysType,text='a Built-in Key Set')
290 self.radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysAreDefault,
291 value=0,command=self.SetKeysType,text='a Custom Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000292 self.optMenuKeysBuiltin=DynOptionMenu(frameKeySets,
293 self.builtinKeys,None,command=None)
294 self.optMenuKeysCustom=DynOptionMenu(frameKeySets,
295 self.customKeys,None,command=None)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000296 self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000297 ##widget packing
298 #body
299 frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
300 frameKeySets.pack(side=LEFT,padx=5,pady=5,fill=Y)
301 #frameCustom
302 labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
303 buttonSaveCustomKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000304 self.buttonNewKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000305 frameTarget.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
306 #frame target
307 frameTarget.columnconfigure(0,weight=1)
308 frameTarget.rowconfigure(1,weight=1)
309 labelTargetTitle.grid(row=0,column=0,columnspan=2,sticky=W)
310 self.listBindings.grid(row=1,column=0,sticky=NSEW)
311 scrollTargetY.grid(row=1,column=1,sticky=NS)
312 scrollTargetX.grid(row=2,column=0,sticky=EW)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000313 #frameKeySets
314 labelKeysTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
315 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000316 self.radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5)
317 self.radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000318 self.optMenuKeysBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
319 self.optMenuKeysCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
320 self.buttonDeleteCustomKeys.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000321 return frame
322
323 def CreatePageGeneral(self):
Steven M. Gava230e5782001-08-07 03:28:25 +0000324 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000325 self.winWidth=StringVar(self)
326 self.winHeight=StringVar(self)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000327 self.startupEdit=IntVar(self)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000328 self.userHelpBrowser=BooleanVar(self)
329 self.helpBrowser=StringVar(self)
Steven M. Gava230e5782001-08-07 03:28:25 +0000330 #widget creation
331 #body
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000332 frame=self.tabPages.pages['General']['page']
Steven M. Gava230e5782001-08-07 03:28:25 +0000333 #body section frames
334 frameRun=Frame(frame,borderwidth=2,relief=GROOVE)
335 frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000336 frameHelp=Frame(frame,borderwidth=2,relief=GROOVE)
Steven M. Gava230e5782001-08-07 03:28:25 +0000337 #frameRun
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000338 labelRunTitle=Label(frameRun,text='Startup Preferences')
339 labelRunChoiceTitle=Label(frameRun,text='On startup : ')
340 radioStartupEdit=Radiobutton(frameRun,variable=self.startupEdit,
341 value=1,command=self.SetKeysType,text="open Edit Window")
342 radioStartupShell=Radiobutton(frameRun,variable=self.startupEdit,
343 value=0,command=self.SetKeysType,text='open Shell Window')
Steven M. Gava230e5782001-08-07 03:28:25 +0000344 #frameWinSize
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000345 labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size'+
346 ' (in characters)')
Steven M. Gava230e5782001-08-07 03:28:25 +0000347 labelWinWidthTitle=Label(frameWinSize,text='Width')
348 entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth,
349 width=3)
350 labelWinHeightTitle=Label(frameWinSize,text='Height')
351 entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight,
352 width=3)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000353 #frameHelp
354 labelHelpTitle=Label(frameHelp,text='Help Options')
355 frameHelpList=Frame(frameHelp)
356 frameHelpListButtons=Frame(frameHelpList)
357 labelHelpListTitle=Label(frameHelpList,text='Additional (html) Help Sources:')
358 scrollHelpList=Scrollbar(frameHelpList)
359 self.listHelp=Listbox(frameHelpList,height=5,takefocus=FALSE,
360 exportselection=FALSE)
361 scrollHelpList.config(command=self.listHelp.yview)
362 self.listHelp.config(yscrollcommand=scrollHelpList.set)
363 self.listHelp.bind('<ButtonRelease-1>',self.HelpSourceSelected)
364 self.buttonHelpListEdit=Button(frameHelpListButtons,text='Edit',
365 state=DISABLED,width=8,command=self.HelpListItemEdit)
366 self.buttonHelpListAdd=Button(frameHelpListButtons,text='Add',
367 width=8,command=self.HelpListItemAdd)
368 self.buttonHelpListRemove=Button(frameHelpListButtons,text='Remove',
369 state=DISABLED,width=8,command=self.HelpListItemRemove)
370 checkHelpBrowser=Checkbutton(frameHelp,variable=self.userHelpBrowser,
371 onvalue=1,offvalue=0,text='user specified (html) help browser:',
372 command=self.OnCheckUserHelpBrowser)
373 self.entryHelpBrowser=Entry(frameHelp,textvariable=self.helpBrowser,
374 width=40)
Steven M. Gava230e5782001-08-07 03:28:25 +0000375 #widget packing
376 #body
377 frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
378 frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000379 frameHelp.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gava230e5782001-08-07 03:28:25 +0000380 #frameRun
381 labelRunTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
382 labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000383 radioStartupEdit.pack(side=LEFT,anchor=W,padx=5,pady=5)
384 radioStartupShell.pack(side=LEFT,anchor=W,padx=5,pady=5)
Steven M. Gava230e5782001-08-07 03:28:25 +0000385 #frameWinSize
Steven M. Gavafacfc092002-01-19 00:29:54 +0000386 labelWinSizeTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
387 entryWinHeight.pack(side=RIGHT,anchor=E,padx=10,pady=5)
388 labelWinHeightTitle.pack(side=RIGHT,anchor=E,pady=5)
389 entryWinWidth.pack(side=RIGHT,anchor=E,padx=10,pady=5)
390 labelWinWidthTitle.pack(side=RIGHT,anchor=E,pady=5)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000391 #frameHelp
392 labelHelpTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
393 frameHelpListButtons.pack(side=RIGHT,padx=5,pady=5,fill=Y)
394 frameHelpList.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
395 labelHelpListTitle.pack(side=TOP,anchor=W)
396 scrollHelpList.pack(side=RIGHT,anchor=W,fill=Y)
397 self.listHelp.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
398 self.buttonHelpListEdit.pack(side=TOP,anchor=W,pady=5)
399 self.buttonHelpListAdd.pack(side=TOP,anchor=W)
400 self.buttonHelpListRemove.pack(side=TOP,anchor=W,pady=5)
401 checkHelpBrowser.pack(side=TOP,anchor=W,padx=5)
402 self.entryHelpBrowser.pack(side=TOP,anchor=W,padx=5,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. Gavabbf5ef52002-01-22 11:35:50 +0000447
Steven M. Gavac112cd82002-01-22 05:56:40 +0000448 def VarChanged_keyBinding(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000449 value=self.keyBinding.get()
450 keySet=self.customKeys.get()
451 event=self.listBindings.get(ANCHOR).split()[0]
Steven M. Gavaa498af22002-02-01 01:33:36 +0000452 if idleConf.IsCoreBinding(event):
453 #this is a core keybinding
454 self.AddChangedItem('keys',keySet,event,value)
455 else: #this is an extension key binding
456 extName=idleConf.GetExtnNameForEvent(event)
457 extKeybindSection=extName+'_cfgBindings'
458 self.AddChangedItem('extensions',extKeybindSection,event,value)
459
Steven M. Gavac112cd82002-01-22 05:56:40 +0000460 def VarChanged_winWidth(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000461 value=self.winWidth.get()
462 self.AddChangedItem('main','EditorWindow','width',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000463
464 def VarChanged_winHeight(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000465 value=self.winHeight.get()
466 self.AddChangedItem('main','EditorWindow','height',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000467
468 def VarChanged_startupEdit(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000469 value=self.startupEdit.get()
470 self.AddChangedItem('main','General','editor-on-startup',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000471
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000472 def ExtensionStateToggled(self):
473 #callback for the extension enable/disable radio buttons
474 value=self.extEnabled.get()
475 extension=self.listExt.get(ANCHOR)
476 self.AddChangedItem('extensions',extension,'enabled',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000477
Steven M. Gavaa498af22002-02-01 01:33:36 +0000478 def ResetChangedItems(self):
479 #changedItems. When any config item is changed in this dialog, an entry
480 #should be made in the relevant section (config type) of this
481 #dictionary. The key should be the config file section name and the
482 #value a dictionary, whose key:value pairs are item=value pairs for
483 #that config file section.
484 self.changedItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
485
Steven M. Gavac112cd82002-01-22 05:56:40 +0000486 def AddChangedItem(self,type,section,item,value):
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000487 print type,section,item,value
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000488 value=str(value) #make sure we use a string
Steven M. Gavac112cd82002-01-22 05:56:40 +0000489 if not self.changedItems[type].has_key(section):
490 self.changedItems[type][section]={}
491 self.changedItems[type][section][item]=value
492
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000493 def GetDefaultItems(self):
494 dItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
495 for configType in dItems.keys():
496 sections=idleConf.GetSectionList('default',configType)
497 for section in sections:
498 dItems[configType][section]={}
499 options=idleConf.defaultCfg[configType].GetOptionList(section)
500 for option in options:
501 dItems[configType][section][option]=(
502 idleConf.defaultCfg[configType].Get(section,option))
503 return dItems
504
505 def SetThemeType(self):
506 if self.themeIsBuiltin.get():
507 self.optMenuThemeBuiltin.config(state=NORMAL)
508 self.optMenuThemeCustom.config(state=DISABLED)
509 self.buttonDeleteCustomTheme.config(state=DISABLED)
510 else:
511 self.optMenuThemeBuiltin.config(state=DISABLED)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000512 self.radioThemeCustom.config(state=NORMAL)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000513 self.optMenuThemeCustom.config(state=NORMAL)
514 self.buttonDeleteCustomTheme.config(state=NORMAL)
515
516 def SetKeysType(self):
517 if self.keysAreDefault.get():
518 self.optMenuKeysBuiltin.config(state=NORMAL)
519 self.optMenuKeysCustom.config(state=DISABLED)
520 self.buttonDeleteCustomKeys.config(state=DISABLED)
521 else:
522 self.optMenuKeysBuiltin.config(state=DISABLED)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000523 self.radioKeysCustom.config(state=NORMAL)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000524 self.optMenuKeysCustom.config(state=NORMAL)
525 self.buttonDeleteCustomKeys.config(state=NORMAL)
526
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000527 def GetNewKeys(self):
528 listIndex=self.listBindings.index(ANCHOR)
529 binding=self.listBindings.get(listIndex)
530 bindName=binding.split()[0] #first part, up to first space
531 currentKeySequences=idleConf.GetCurrentKeySet().values()
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000532 newKeys=GetKeysDialog(self,'Get New Keys',bindName,
533 currentKeySequences).result
534 if newKeys: #new keys were specified
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000535 if self.keysAreDefault.get(): #current key set is a built-in
536 message=('Your changes will be saved as a new Custom Key Set. '+
537 'Enter a name for your new Custom Key Set below.')
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000538 newKeySet=self.GetNewKeysName(message)
539 if not newKeySet: #user cancelled custom key set creation
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000540 self.listBindings.select_set(listIndex)
541 self.listBindings.select_anchor(listIndex)
542 return
543 else: #create new custom key set based on previously active key set
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000544 self.CreateNewKeySet(newKeySet)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000545 self.listBindings.delete(listIndex)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000546 self.listBindings.insert(listIndex,bindName+' - '+newKeys)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000547 self.listBindings.select_set(listIndex)
548 self.listBindings.select_anchor(listIndex)
549 self.keyBinding.set(newKeys.result)
550 else:
551 self.listBindings.select_set(listIndex)
552 self.listBindings.select_anchor(listIndex)
553
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000554 def GetNewKeysName(self,message):
555 usedNames=idleConf.GetSectionList('user','keys')
556 for newName in self.changedItems['keys'].keys():
557 if newName not in usedNames: usedNames.append(newName)
558 newKeySet=GetCfgSectionNameDialog(self,'New Custom Key Set',
559 message,usedNames).result
560 return newKeySet
561
562 def SaveAsNewKeySet(self):
563 newKeysName=self.GetNewKeysName('New Key Set Name:')
564 if newKeysName:
565 self.CreateNewKeySet(newKeysName)
566
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000567 def KeyBindingSelected(self,event):
568 self.buttonNewKeys.config(state=NORMAL)
569
570 def CreateNewKeySet(self,newKeySetName):
571 #creates new custom key set based on the previously active key set,
572 #and makes the new key set active
573 if self.keysAreDefault.get():
574 keySetName=self.builtinKeys.get()
575 else:
576 keySetName=self.customKeys.get()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000577 #add the new key set to changedItems
Steven M. Gavaa498af22002-02-01 01:33:36 +0000578 prevCoreKeys=idleConf.GetCoreKeys(keySetName)
579 for event in prevCoreKeys.keys(): #add core key set to changed items
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000580 eventName=event[2:-2] #trim off the angle brackets
581 self.AddChangedItem('keys',newKeySetName,eventName,
Steven M. Gavaa498af22002-02-01 01:33:36 +0000582 string.join(prevCoreKeys[event]))
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000583 #change gui over to the new key set
584 customKeyList=idleConf.GetSectionList('user','keys')
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000585 for newName in self.changedItems['keys'].keys():
586 if newName not in customKeyList: customKeyList.append(newName)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000587 customKeyList.sort()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000588 self.optMenuKeysCustom.SetMenu(customKeyList,newKeySetName)
589 self.keysAreDefault.set(0)
590 self.SetKeysType()
591
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000592 def GetColour(self):
593 target=self.highlightTarget.get()
594 rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
595 title='Pick new colour for : '+target,
596 initialcolor=self.frameColourSet.cget('bg'))
597 if colourString: #user didn't cancel
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000598 if self.themeIsBuiltin.get(): #current theme is a built-in
599 message=('Your changes will be saved as a new Custom Theme. '+
600 'Enter a name for your new Custom Theme below.')
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000601 newTheme=self.GetNewThemeName(message)
602 if not newTheme: #user cancelled custom theme creation
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000603 return
604 else: #create new custom theme based on previously active theme
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000605 self.CreateNewTheme(newTheme)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000606 self.colour.set(colourString)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000607 self.frameColourSet.config(bg=colourString)#set sample
608 if self.fgHilite.get(): plane='foreground'
609 else: plane='background'
610 apply(self.textHighlightSample.tag_config,
611 (self.themeElements[target][0],),{plane:colourString})
612
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000613 def GetNewThemeName(self,message):
614 usedNames=idleConf.GetSectionList('user','highlight')
615 for newName in self.changedItems['highlight'].keys():
616 if newName not in usedNames: usedNames.append(newName)
617 newTheme=GetCfgSectionNameDialog(self,'New Custom Theme',
618 message,usedNames).result
619 return newTheme
620
621 def SaveAsNewTheme(self):
622 newThemeName=self.GetNewThemeName('New Theme Name:')
623 if newThemeName:
624 self.CreateNewTheme(newThemeName)
625
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000626 def CreateNewTheme(self,newThemeName):
627 #creates new custom theme based on the previously active theme,
628 #and makes the new theme active
629 if self.themeIsBuiltin.get():
630 themeType='default'
631 themeName=self.builtinTheme.get()
632 else:
633 themeType='user'
634 themeName=self.customTheme.get()
635 newTheme=idleConf.GetThemeDict(themeType,themeName)
636 #add the new theme to changedItems
637 self.changedItems['highlight'][newThemeName]=newTheme
638 #change gui over to the new theme
639 customThemeList=idleConf.GetSectionList('user','highlight')
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000640 for newName in self.changedItems['highlight'].keys():
641 if newName not in customThemeList: customThemeList.append(newName)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000642 customThemeList.sort()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000643 self.optMenuThemeCustom.SetMenu(customThemeList,newThemeName)
644 self.themeIsBuiltin.set(0)
645 self.SetThemeType()
646
Steven M. Gavac112cd82002-01-22 05:56:40 +0000647 def OnListFontButtonRelease(self,event):
648 self.fontName.set(self.listFontName.get(ANCHOR))
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000649 self.SetFontSample()
650
Steven M. Gavac112cd82002-01-22 05:56:40 +0000651 def SetFontSample(self,event=None):
652 fontName=self.fontName.get()
653 if self.fontBold.get():
654 fontWeight=tkFont.BOLD
655 else:
656 fontWeight=tkFont.NORMAL
657 self.editFont.config(size=self.fontSize.get(),
658 weight=fontWeight,family=fontName)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000659
660 def SetHighlightTargetBinding(self,*args):
661 self.SetHighlightTarget()
662
663 def SetHighlightTarget(self):
664 if self.highlightTarget.get()=='Cursor': #bg not possible
665 self.radioFg.config(state=DISABLED)
666 self.radioBg.config(state=DISABLED)
667 self.fgHilite.set(1)
668 else: #both fg and bg can be set
669 self.radioFg.config(state=NORMAL)
670 self.radioBg.config(state=NORMAL)
671 self.fgHilite.set(1)
672 self.SetColourSample()
673
674 def SetColourSampleBinding(self,*args):
675 self.SetColourSample()
676
677 def SetColourSample(self):
678 #set the colour smaple area
679 tag=self.themeElements[self.highlightTarget.get()][0]
680 if self.fgHilite.get(): plane='foreground'
681 else: plane='background'
682 colour=self.textHighlightSample.tag_cget(tag,plane)
683 self.frameColourSet.config(bg=colour)
684
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000685 def PaintThemeSample(self):
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000686 if self.themeIsBuiltin.get(): #a default theme
Steven M. Gava99300612001-11-04 07:03:08 +0000687 theme=self.builtinTheme.get()
688 else: #a user theme
689 theme=self.customTheme.get()
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000690 for element in self.themeElements.keys():
691 colours=idleConf.GetHighlight(theme, self.themeElements[element][0])
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000692 if element=='Cursor': #cursor sample needs special painting
693 colours['background']=idleConf.GetHighlight(theme,
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000694 'normal', fgBg='bg')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000695 apply(self.textHighlightSample.tag_config,
696 (self.themeElements[element][0],),colours)
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000697
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000698 def OnCheckUserHelpBrowser(self):
699 if self.userHelpBrowser.get():
700 self.entryHelpBrowser.config(state=NORMAL)
701 else:
702 self.entryHelpBrowser.config(state=DISABLED)
703
704 def HelpSourceSelected(self,event):
705 self.SetHelpListButtonStates()
706
707 def SetHelpListButtonStates(self):
708 if self.listHelp.size()<1: #no entries in list
709 self.buttonHelpListEdit.config(state=DISABLED)
710 self.buttonHelpListRemove.config(state=DISABLED)
711 else: #there are some entries
712 if self.listHelp.curselection(): #there currently is a selection
713 self.buttonHelpListEdit.config(state=NORMAL)
714 self.buttonHelpListRemove.config(state=NORMAL)
715 else: #there currently is not a selection
716 self.buttonHelpListEdit.config(state=DISABLED)
717 self.buttonHelpListRemove.config(state=DISABLED)
718
719 def HelpListItemAdd(self):
720 helpSource=GetHelpSourceDialog(self,'New Help Source').result
721 if helpSource:
722 self.userHelpList.append( (helpSource[0],helpSource[1]) )
723 self.listHelp.insert(END,helpSource[0]+' '+helpSource[1])
724 self.UpdateUserHelpChangedItems()
725 self.SetHelpListButtonStates()
726
727 def HelpListItemEdit(self):
728 itemIndex=self.listHelp.index(ANCHOR)
729 helpSource=self.userHelpList[itemIndex]
730 newHelpSource=GetHelpSourceDialog(self,'New Help Source',
731 menuItem=helpSource[0],filePath=helpSource[1]).result
732 if (not newHelpSource) or (newHelpSource==helpSource):
733 return #no changes
734 self.userHelpList[itemIndex]=newHelpSource
735 self.listHelp.delete(itemIndex)
736 self.listHelp.insert(itemIndex,newHelpSource[0]+' '+newHelpSource[1])
737 self.UpdateUserHelpChangedItems()
738 self.SetHelpListButtonStates()
739
740 def HelpListItemRemove(self):
741 itemIndex=self.listHelp.index(ANCHOR)
742 del(self.userHelpList[itemIndex])
743 self.listHelp.delete(itemIndex)
744 self.UpdateUserHelpChangedItems()
745 self.SetHelpListButtonStates()
746
747 def UpdateUserHelpChangedItems(self):
748 #clear and rebuild the HelpFiles secion in self.changedItems
749 if self.changedItems['main'].has_key('HelpFiles'):
750 del(self.changedItems['main']['HelpFiles'])
751 for num in range(1,len(self.userHelpList)+1):
752 self.AddChangedItem('main','HelpFiles',str(num),
753 string.join(self.userHelpList[num-1],';'))
754
Steven M. Gava429a86a2001-10-23 10:42:12 +0000755 def LoadFontCfg(self):
756 ##base editor font selection list
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000757 fonts=list(tkFont.families(self))
758 fonts.sort()
759 for font in fonts:
760 self.listFontName.insert(END,font)
Steven M. Gava485f7b62001-10-26 06:47:09 +0000761 configuredFont=idleConf.GetOption('main','EditorWindow','font',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000762 default='courier')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000763 self.fontName.set(configuredFont)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000764 if configuredFont in fonts:
765 currentFontIndex=fonts.index(configuredFont)
766 self.listFontName.see(currentFontIndex)
767 self.listFontName.select_set(currentFontIndex)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000768 self.listFontName.select_anchor(currentFontIndex)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000769 ##font size dropdown
Steven M. Gavac112cd82002-01-22 05:56:40 +0000770 fontSize=idleConf.GetOption('main','EditorWindow','font-size',
771 default='12')
Steven M. Gava485f7b62001-10-26 06:47:09 +0000772 self.optMenuFontSize.SetMenu(('10','11','12','13','14',
773 '16','18','20','22'),fontSize )
Steven M. Gavac112cd82002-01-22 05:56:40 +0000774 ##fontWeight
775 self.fontBold.set(idleConf.GetOption('main','EditorWindow',
776 'font-bold',default=0,type='bool'))
Steven M. Gava429a86a2001-10-23 10:42:12 +0000777 ##font sample
778 self.SetFontSample()
779
780 def LoadTabCfg(self):
781 ##indent type radibuttons
Steven M. Gava485f7b62001-10-26 06:47:09 +0000782 spaceIndent=idleConf.GetOption('main','Indent','use-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000783 default=1,type='bool')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000784 self.indentBySpaces.set(spaceIndent)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000785 ##indent sizes
Steven M. Gava485f7b62001-10-26 06:47:09 +0000786 spaceNum=idleConf.GetOption('main','Indent','num-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000787 default=4,type='int')
Steven M. Gava485f7b62001-10-26 06:47:09 +0000788 tabCols=idleConf.GetOption('main','Indent','tab-cols',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000789 default=4,type='int')
790 self.spaceNum.set(spaceNum)
791 self.tabCols.set(tabCols)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000792
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000793 def LoadThemeCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000794 ##current theme type radiobutton
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000795 self.themeIsBuiltin.set(idleConf.GetOption('main','Theme','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000796 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000797 ##currently set theme
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000798 currentOption=idleConf.CurrentTheme()
Steven M. Gava7c017862001-10-29 11:19:46 +0000799 ##load available theme option menus
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000800 if self.themeIsBuiltin.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000801 itemList=idleConf.GetSectionList('default','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000802 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000803 self.optMenuThemeBuiltin.SetMenu(itemList,currentOption)
804 itemList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000805 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000806 if not itemList:
807 self.radioThemeCustom.config(state=DISABLED)
808 self.customTheme.set('- no custom themes -')
809 else:
810 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000811 else: #user theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000812 itemList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000813 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000814 self.optMenuThemeCustom.SetMenu(itemList,currentOption)
815 itemList=idleConf.GetSectionList('default','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000816 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000817 self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
Steven M. Gava7c017862001-10-29 11:19:46 +0000818 self.SetThemeType()
819 ##load theme element option menu
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000820 themeNames=self.themeElements.keys()
821 themeNames.sort(self.__ThemeNameIndexCompare)
822 self.optMenuHighlightTarget.SetMenu(themeNames,themeNames[0])
823 self.PaintThemeSample()
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000824 self.SetHighlightTarget()
Steven M. Gava41a85322001-10-29 08:05:34 +0000825
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000826 def __ThemeNameIndexCompare(self,a,b):
827 if self.themeElements[a][1]<self.themeElements[b][1]: return -1
828 elif self.themeElements[a][1]==self.themeElements[b][1]: return 0
829 else: return 1
830
831 def LoadKeyCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000832 ##current keys type radiobutton
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000833 self.keysAreDefault.set(idleConf.GetOption('main','Keys','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000834 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000835 ##currently set keys
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000836 currentOption=idleConf.CurrentKeys()
Steven M. Gava7c017862001-10-29 11:19:46 +0000837 ##load available keyset option menus
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000838 if self.keysAreDefault.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000839 itemList=idleConf.GetSectionList('default','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000840 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000841 self.optMenuKeysBuiltin.SetMenu(itemList,currentOption)
842 itemList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000843 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000844 if not itemList:
845 self.radioKeysCustom.config(state=DISABLED)
846 self.customKeys.set('- no custom keys -')
847 else:
848 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
Steven M. Gavaa498af22002-02-01 01:33:36 +0000849 else: #user key set selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000850 itemList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000851 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000852 self.optMenuKeysCustom.SetMenu(itemList,currentOption)
853 itemList=idleConf.GetSectionList('default','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000854 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000855 self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0])
856 self.SetKeysType()
Steven M. Gavafacfc092002-01-19 00:29:54 +0000857 ##load keyset element list
Steven M. Gavac628a062002-01-19 10:33:21 +0000858 keySet=idleConf.GetCurrentKeySet()
Steven M. Gavafacfc092002-01-19 00:29:54 +0000859 bindNames=keySet.keys()
860 bindNames.sort()
861 for bindName in bindNames:
862 key=string.join(keySet[bindName]) #make key(s) into a string
863 bindName=bindName[2:-2] #trim off the angle brackets
864 self.listBindings.insert(END, bindName+' - '+key)
865
Steven M. Gavafacfc092002-01-19 00:29:54 +0000866 def LoadGeneralCfg(self):
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000867 #startup state
868 self.startupEdit.set(idleConf.GetOption('main','General',
869 'editor-on-startup',default=1,type='bool'))
Steven M. Gavafacfc092002-01-19 00:29:54 +0000870 #initial window size
871 self.winWidth.set(idleConf.GetOption('main','EditorWindow','width'))
872 self.winHeight.set(idleConf.GetOption('main','EditorWindow','height'))
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000873 #help browsing
874 self.userHelpList=idleConf.GetExtraHelpSourceList('user')
875 for helpItem in self.userHelpList:
876 self.listHelp.insert(END,helpItem[0]+' '+helpItem[1])
877 self.SetHelpListButtonStates()
878 self.userHelpBrowser.set(idleConf.GetOption('main','General',
879 'user-help-browser',default=0,type='bool'))
880 self.helpBrowser.set(idleConf.GetOption('main','General',
881 'user-help-browser-command',default=''))
882 self.OnCheckUserHelpBrowser()
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000883
Steven M. Gava429a86a2001-10-23 10:42:12 +0000884 def LoadConfigs(self):
885 """
886 load configuration from default and user config files and populate
887 the widgets on the config dialog pages.
888 """
889 ### fonts / tabs page
890 self.LoadFontCfg()
891 self.LoadTabCfg()
892 ### highlighting page
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000893 self.LoadThemeCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000894 ### keys page
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000895 self.LoadKeyCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000896 ### general page
Steven M. Gavafacfc092002-01-19 00:29:54 +0000897 self.LoadGeneralCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +0000898
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000899 def SetUserValue(self,configType,section,item,value):
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000900 if idleConf.defaultCfg[configType].has_option(section,item):
901 if idleConf.defaultCfg[configType].Get(section,item)==value:
902 #the setting equals a default setting, remove it from user cfg
903 return idleConf.userCfg[configType].RemoveOption(section,item)
904 #if we got here set the option
905 return idleConf.userCfg[configType].SetOption(section,item,value)
906
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000907 def SaveConfigs(self):
Steven M. Gava429a86a2001-10-23 10:42:12 +0000908 """
909 save configuration changes to user config files.
910 """
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000911 if self.changedItems['main'].has_key('HelpFiles'):
912 #this section gets completely replaced
913 idleConf.userCfg['main'].remove_section('HelpFiles')
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000914 for configType in self.changedItems.keys():
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000915 cfgTypeHasChanges=0
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000916 for section in self.changedItems[configType].keys():
917 for item in self.changedItems[configType][section].keys():
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000918 value=self.changedItems[configType][section][item]
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000919 if self.SetUserValue(configType,section,item,value):
920 cfgTypeHasChanges=1
921 if cfgTypeHasChanges:
922 idleConf.userCfg[configType].Save()
Steven M. Gavaa498af22002-02-01 01:33:36 +0000923 self.ResetChangedItems() #clear the changed items dict
924
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000925 def Cancel(self):
926 self.destroy()
927
928 def Ok(self):
929 self.Apply()
930 self.destroy()
931
932 def Apply(self):
933 self.SaveConfigs()
934
935 def Help(self):
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000936 pass
937
Steven M. Gava44d3d1a2001-07-31 06:59:02 +0000938if __name__ == '__main__':
Steven M. Gavad721c482001-07-31 10:46:53 +0000939 #test the dialog
940 root=Tk()
941 Button(root,text='Dialog',
Steven M. Gava3b55a892001-11-21 05:56:26 +0000942 command=lambda:ConfigDialog(root,'Settings')).pack()
Steven M. Gavad721c482001-07-31 10:46:53 +0000943 root.mainloop()