blob: 5baf7cfb5e0a7f5f871b9553476b2d6fd0b1d9bb [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. Gava052937f2002-02-11 02:20:53 +00006import string, copy
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.
Steven M. Gavaad4f5322002-01-03 12:05:17 +000026 self.themeElements={'Normal Text':('normal','00'),
27 'Python Keywords':('keyword','01'),
28 'Python Definitions':('definition','02'),
29 'Python Comments':('comment','03'),
30 'Python Strings':('string','04'),
31 'Selected Text':('hilite','05'),
32 'Found Text':('hit','06'),
33 'Cursor':('cursor','07'),
34 'Error Text':('error','08'),
35 'Shell Normal Text':('console','09'),
36 'Shell Stdout Text':('stdout','10'),
37 'Shell Stderr Text':('stderr','11')}
Steven M. Gavaa498af22002-02-01 01:33:36 +000038 self.ResetChangedItems() #load initial values in changed items dict
Steven M. Gavad721c482001-07-31 10:46:53 +000039 self.CreateWidgets()
40 self.resizable(height=FALSE,width=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +000041 self.transient(parent)
42 self.grab_set()
43 self.protocol("WM_DELETE_WINDOW", self.Cancel)
44 self.parent = parent
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000045 self.tabPages.focus_set()
Steven M. Gavad721c482001-07-31 10:46:53 +000046 #key bindings for this dialog
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000047 #self.bind('<Escape>',self.Cancel) #dismiss dialog, no save
48 #self.bind('<Alt-a>',self.Apply) #apply changes, save
49 #self.bind('<F1>',self.Help) #context help
Steven M. Gava429a86a2001-10-23 10:42:12 +000050 self.LoadConfigs()
Steven M. Gavac112cd82002-01-22 05:56:40 +000051 self.AttachVarCallbacks() #avoid callbacks during LoadConfigs
Steven M. Gavad721c482001-07-31 10:46:53 +000052 self.wait_window()
53
Steven M. Gavad721c482001-07-31 10:46:53 +000054 def CreateWidgets(self):
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000055 self.tabPages = TabPageSet(self,
56 pageNames=['Fonts/Tabs','Highlighting','Keys','General'])
Steven M. Gavaad4f5322002-01-03 12:05:17 +000057 self.tabPages.ChangePage()#activates default (first) page
Steven M. Gavad721c482001-07-31 10:46:53 +000058 frameActionButtons = Frame(self)
Steven M. Gavad721c482001-07-31 10:46:53 +000059 #action buttons
Steven M. Gava952d0a52001-08-03 04:43:44 +000060 self.buttonHelp = Button(frameActionButtons,text='Help',
61 command=self.Help,takefocus=FALSE)
Steven M. Gavac01e30f2001-08-11 15:48:13 +000062 self.buttonOk = Button(frameActionButtons,text='Ok',
63 command=self.Ok,takefocus=FALSE)
64 self.buttonApply = Button(frameActionButtons,text='Apply',
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000065 command=self.Apply,takefocus=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +000066 self.buttonCancel = Button(frameActionButtons,text='Cancel',
67 command=self.Cancel,takefocus=FALSE)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000068 self.CreatePageFontTab()
69 self.CreatePageHighlight()
70 self.CreatePageKeys()
71 self.CreatePageGeneral()
Steven M. Gavac01e30f2001-08-11 15:48:13 +000072 self.buttonHelp.pack(side=RIGHT,padx=5,pady=5)
73 self.buttonOk.pack(side=LEFT,padx=5,pady=5)
74 self.buttonApply.pack(side=LEFT,padx=5,pady=5)
Steven M. Gavad721c482001-07-31 10:46:53 +000075 self.buttonCancel.pack(side=LEFT,padx=5,pady=5)
76 frameActionButtons.pack(side=BOTTOM)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000077 self.tabPages.pack(side=TOP,expand=TRUE,fill=BOTH)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000078
Steven M. Gava60fc7072001-08-04 13:58:22 +000079 def CreatePageFontTab(self):
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000080 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +000081 self.fontSize=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +000082 self.fontBold=BooleanVar(self)
83 self.fontName=StringVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +000084 self.spaceNum=IntVar(self)
Steven M. Gava9d142ad2002-03-12 02:33:52 +000085 #self.tabCols=IntVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +000086 self.indentBySpaces=BooleanVar(self)
Steven M. Gava429a86a2001-10-23 10:42:12 +000087 self.editFont=tkFont.Font(self,('courier',12,'normal'))
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000088 ##widget creation
89 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000090 frame=self.tabPages.pages['Fonts/Tabs']['page']
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000091 #body section frames
92 frameFont=Frame(frame,borderwidth=2,relief=GROOVE)
93 frameIndent=Frame(frame,borderwidth=2,relief=GROOVE)
94 #frameFont
95 labelFontTitle=Label(frameFont,text='Set Base Editor Font')
96 frameFontName=Frame(frameFont)
Steven M. Gavae16d94b2001-11-03 05:07:28 +000097 frameFontParam=Frame(frameFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000098 labelFontNameTitle=Label(frameFontName,justify=LEFT,
Steven M. Gavac01e30f2001-08-11 15:48:13 +000099 text='Font :')
100 self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
101 exportselection=FALSE)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000102 self.listFontName.bind('<ButtonRelease-1>',self.OnListFontButtonRelease)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000103 scrollFont=Scrollbar(frameFontName)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000104 scrollFont.config(command=self.listFontName.yview)
105 self.listFontName.config(yscrollcommand=scrollFont.set)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000106 labelFontSizeTitle=Label(frameFontParam,text='Size :')
107 self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000108 command=self.SetFontSample)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000109 checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000110 onvalue=1,offvalue=0,text='Bold',command=self.SetFontSample)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000111 frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
112 self.labelFontSample=Label(frameFontSample,
113 text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000114 justify=LEFT,font=self.editFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000115 #frameIndent
116 labelIndentTitle=Label(frameIndent,text='Set Indentation Defaults')
117 frameIndentType=Frame(frameIndent)
118 frameIndentSize=Frame(frameIndent)
119 labelIndentTypeTitle=Label(frameIndentType,
120 text='Choose indentation type :')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000121 radioUseSpaces=Radiobutton(frameIndentType,variable=self.indentBySpaces,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000122 value=1,text='Tab key inserts spaces')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000123 radioUseTabs=Radiobutton(frameIndentType,variable=self.indentBySpaces,
Steven M. Gava429a86a2001-10-23 10:42:12 +0000124 value=0,text='Tab key inserts tabs')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000125 labelIndentSizeTitle=Label(frameIndentSize,
126 text='Choose indentation size :')
127 labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT,
Kurt B. Kaiser39df7c42002-09-14 02:58:07 +0000128 text='indent width')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000129 self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum,
Kurt B. Kaiser39df7c42002-09-14 02:58:07 +0000130 orient='horizontal',tickinterval=2,from_=2,to=16)
Steven M. Gava63f67142002-03-12 00:52:42 +0000131 #labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
132 # text='when tab key inserts tabs,\ncolumns per tab')
133 #self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
134 # orient='horizontal',tickinterval=2,from_=2,to=8)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000135 #widget packing
136 #body
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000137 frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
138 frameIndent.pack(side=LEFT,padx=5,pady=10,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000139 #frameFont
140 labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000141 frameFontName.pack(side=TOP,padx=5,pady=5,fill=X)
142 frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000143 labelFontNameTitle.pack(side=TOP,anchor=W)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000144 self.listFontName.pack(side=LEFT,expand=TRUE,fill=X)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000145 scrollFont.pack(side=LEFT,fill=Y)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000146 labelFontSizeTitle.pack(side=LEFT,anchor=W)
147 self.optMenuFontSize.pack(side=LEFT,anchor=W)
148 checkFontBold.pack(side=LEFT,anchor=W,padx=20)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000149 frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000150 self.labelFontSample.pack(expand=TRUE,fill=BOTH)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000151 #frameIndent
152 labelIndentTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
153 frameIndentType.pack(side=TOP,padx=5,fill=X)
154 frameIndentSize.pack(side=TOP,padx=5,pady=5,fill=BOTH)
155 labelIndentTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
156 radioUseSpaces.pack(side=TOP,anchor=W,padx=5)
157 radioUseTabs.pack(side=TOP,anchor=W,padx=5)
158 labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
159 labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
160 self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
Steven M. Gava63f67142002-03-12 00:52:42 +0000161 #labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
162 #self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000163 return frame
164
165 def CreatePageHighlight(self):
Steven M. Gava3b55a892001-11-21 05:56:26 +0000166 self.builtinTheme=StringVar(self)
167 self.customTheme=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000168 self.fgHilite=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000169 self.colour=StringVar(self)
170 self.fontName=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000171 self.themeIsBuiltin=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000172 self.highlightTarget=StringVar(self)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000173 ##widget creation
174 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000175 frame=self.tabPages.pages['Highlighting']['page']
Steven M. Gava952d0a52001-08-03 04:43:44 +0000176 #body section frames
177 frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
178 frameTheme=Frame(frame,borderwidth=2,relief=GROOVE)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000179 #frameCustom
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000180 self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1,
Steven M. Gavab77d3432002-03-02 07:16:21 +0000181 font=('courier',12,''),cursor='hand2',width=21,height=10,
182 takefocus=FALSE,highlightthickness=0,wrap=NONE)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000183 text=self.textHighlightSample
184 text.bind('<Double-Button-1>',lambda e: 'break')
185 text.bind('<B1-Motion>',lambda e: 'break')
Steven M. Gava052937f2002-02-11 02:20:53 +0000186 textAndTags=(('#you can click here','comment'),('\n','normal'),
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000187 ('#to choose items','comment'),('\n','normal'),('def','keyword'),
188 (' ','normal'),('func','definition'),('(param):','normal'),
189 ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000190 ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'hilite'),
191 ('\n var2 = ','normal'),("'found'",'hit'),('\n\n','normal'),
Steven M. Gava99300612001-11-04 07:03:08 +0000192 (' error ','error'),(' ','normal'),('cursor |','cursor'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000193 ('\n ','normal'),('shell','console'),(' ','normal'),('stdout','stdout'),
194 (' ','normal'),('stderr','stderr'),('\n','normal'))
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000195 for txTa in textAndTags:
196 text.insert(END,txTa[0],txTa[1])
197 for element in self.themeElements.keys():
198 text.tag_bind(self.themeElements[element][0],'<ButtonPress-1>',
199 lambda event,elem=element: event.widget.winfo_toplevel()
200 .highlightTarget.set(elem))
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000201 text.config(state=DISABLED)
202 self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1)
Steven M. Gava7c017862001-10-29 11:19:46 +0000203 frameFgBg=Frame(frameCustom)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000204 labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting')
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000205 buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :',
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000206 command=self.GetColour,highlightthickness=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000207 self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet,
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000208 self.highlightTarget,None,highlightthickness=0)#,command=self.SetHighlightTargetBinding
Steven M. Gava7c017862001-10-29 11:19:46 +0000209 self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000210 value=1,text='Foreground',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000211 self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000212 value=0,text='Background',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000213 self.fgHilite.set(1)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000214 buttonSaveCustomTheme=Button(frameCustom,
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000215 text='Save as New Custom Theme',command=self.SaveAsNewTheme)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000216 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000217 labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme')
218 labelTypeTitle=Label(frameTheme,text='Select : ')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000219 self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
220 value=1,command=self.SetThemeType,text='a Built-in Theme')
221 self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
222 value=0,command=self.SetThemeType,text='a Custom Theme')
Steven M. Gava41a85322001-10-29 08:05:34 +0000223 self.optMenuThemeBuiltin=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000224 self.builtinTheme,None,command=None)
Steven M. Gava41a85322001-10-29 08:05:34 +0000225 self.optMenuThemeCustom=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000226 self.customTheme,None,command=None)
Steven M. Gava49745752002-02-18 01:43:11 +0000227 self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme',
228 command=self.DeleteCustomTheme)
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. Gava052937f2002-02-11 02:20:53 +0000259 self.keysAreBuiltin=BooleanVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000260 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)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000273 self.listBindings=Listbox(frameTarget,takefocus=FALSE,
274 exportselection=FALSE)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000275 self.listBindings.bind('<ButtonRelease-1>',self.KeyBindingSelected)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000276 scrollTargetY.config(command=self.listBindings.yview)
277 scrollTargetX.config(command=self.listBindings.xview)
278 self.listBindings.config(yscrollcommand=scrollTargetY.set)
279 self.listBindings.config(xscrollcommand=scrollTargetX.set)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000280 self.buttonNewKeys=Button(frameCustom,text='Get New Keys for Selection',
281 command=self.GetNewKeys,state=DISABLED)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000282 buttonSaveCustomKeys=Button(frameCustom,
283 text='Save as New Custom Key Set',command=self.SaveAsNewKeySet)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000284 #frameKeySets
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000285 labelKeysTitle=Label(frameKeySets,text='Select a Key Set')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000286 labelTypeTitle=Label(frameKeySets,text='Select : ')
Steven M. Gava052937f2002-02-11 02:20:53 +0000287 self.radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysAreBuiltin,
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000288 value=1,command=self.SetKeysType,text='a Built-in Key Set')
Steven M. Gava052937f2002-02-11 02:20:53 +0000289 self.radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysAreBuiltin,
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000290 value=0,command=self.SetKeysType,text='a Custom Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000291 self.optMenuKeysBuiltin=DynOptionMenu(frameKeySets,
292 self.builtinKeys,None,command=None)
293 self.optMenuKeysCustom=DynOptionMenu(frameKeySets,
294 self.customKeys,None,command=None)
Steven M. Gava49745752002-02-18 01:43:11 +0000295 self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set',
296 command=self.DeleteCustomKeys)
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)
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +0000370 # the following is better handled by the BROWSER environment
371 # variable under unix/linux
372 #checkHelpBrowser=Checkbutton(frameHelp,variable=self.userHelpBrowser,
373 # onvalue=1,offvalue=0,text='user specified (html) help browser:',
374 # command=self.OnCheckUserHelpBrowser)
375 #self.entryHelpBrowser=Entry(frameHelp,textvariable=self.helpBrowser,
376 # width=40)
Steven M. Gava230e5782001-08-07 03:28:25 +0000377 #widget packing
378 #body
379 frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
380 frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000381 frameHelp.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gava230e5782001-08-07 03:28:25 +0000382 #frameRun
383 labelRunTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
384 labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000385 radioStartupEdit.pack(side=LEFT,anchor=W,padx=5,pady=5)
386 radioStartupShell.pack(side=LEFT,anchor=W,padx=5,pady=5)
Steven M. Gava230e5782001-08-07 03:28:25 +0000387 #frameWinSize
Steven M. Gavafacfc092002-01-19 00:29:54 +0000388 labelWinSizeTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
389 entryWinHeight.pack(side=RIGHT,anchor=E,padx=10,pady=5)
390 labelWinHeightTitle.pack(side=RIGHT,anchor=E,pady=5)
391 entryWinWidth.pack(side=RIGHT,anchor=E,padx=10,pady=5)
392 labelWinWidthTitle.pack(side=RIGHT,anchor=E,pady=5)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000393 #frameHelp
394 labelHelpTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
395 frameHelpListButtons.pack(side=RIGHT,padx=5,pady=5,fill=Y)
396 frameHelpList.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
397 labelHelpListTitle.pack(side=TOP,anchor=W)
398 scrollHelpList.pack(side=RIGHT,anchor=W,fill=Y)
399 self.listHelp.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
400 self.buttonHelpListEdit.pack(side=TOP,anchor=W,pady=5)
401 self.buttonHelpListAdd.pack(side=TOP,anchor=W)
402 self.buttonHelpListRemove.pack(side=TOP,anchor=W,pady=5)
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +0000403 #checkHelpBrowser.pack(side=TOP,anchor=W,padx=5)
404 #self.entryHelpBrowser.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000405 return frame
406
Steven M. Gavac112cd82002-01-22 05:56:40 +0000407 def AttachVarCallbacks(self):
408 self.fontSize.trace_variable('w',self.VarChanged_fontSize)
409 self.fontName.trace_variable('w',self.VarChanged_fontName)
410 self.fontBold.trace_variable('w',self.VarChanged_fontBold)
411 self.spaceNum.trace_variable('w',self.VarChanged_spaceNum)
Steven M. Gava9d142ad2002-03-12 02:33:52 +0000412 #self.tabCols.trace_variable('w',self.VarChanged_tabCols)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000413 self.indentBySpaces.trace_variable('w',self.VarChanged_indentBySpaces)
414 self.colour.trace_variable('w',self.VarChanged_colour)
Steven M. Gava052937f2002-02-11 02:20:53 +0000415 self.builtinTheme.trace_variable('w',self.VarChanged_builtinTheme)
416 self.customTheme.trace_variable('w',self.VarChanged_customTheme)
417 self.themeIsBuiltin.trace_variable('w',self.VarChanged_themeIsBuiltin)
418 self.highlightTarget.trace_variable('w',self.VarChanged_highlightTarget)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000419 self.keyBinding.trace_variable('w',self.VarChanged_keyBinding)
Steven M. Gava052937f2002-02-11 02:20:53 +0000420 self.builtinKeys.trace_variable('w',self.VarChanged_builtinKeys)
421 self.customKeys.trace_variable('w',self.VarChanged_customKeys)
422 self.keysAreBuiltin.trace_variable('w',self.VarChanged_keysAreBuiltin)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000423 self.winWidth.trace_variable('w',self.VarChanged_winWidth)
424 self.winHeight.trace_variable('w',self.VarChanged_winHeight)
425 self.startupEdit.trace_variable('w',self.VarChanged_startupEdit)
Steven M. Gava052937f2002-02-11 02:20:53 +0000426
Steven M. Gavac112cd82002-01-22 05:56:40 +0000427 def VarChanged_fontSize(self,*params):
428 value=self.fontSize.get()
429 self.AddChangedItem('main','EditorWindow','font-size',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000430
431 def VarChanged_fontName(self,*params):
432 value=self.fontName.get()
433 self.AddChangedItem('main','EditorWindow','font',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000434
435 def VarChanged_fontBold(self,*params):
436 value=self.fontBold.get()
437 self.AddChangedItem('main','EditorWindow','font-bold',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000438
439 def VarChanged_indentBySpaces(self,*params):
440 value=self.indentBySpaces.get()
441 self.AddChangedItem('main','Indent','use-spaces',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000442
443 def VarChanged_spaceNum(self,*params):
444 value=self.spaceNum.get()
445 self.AddChangedItem('main','Indent','num-spaces',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000446
Steven M. Gava9d142ad2002-03-12 02:33:52 +0000447 #def VarChanged_tabCols(self,*params):
448 # value=self.tabCols.get()
449 # self.AddChangedItem('main','Indent','tab-cols',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000450
451 def VarChanged_colour(self,*params):
Steven M. Gava052937f2002-02-11 02:20:53 +0000452 self.OnNewColourSet()
453
454 def VarChanged_builtinTheme(self,*params):
455 value=self.builtinTheme.get()
456 self.AddChangedItem('main','Theme','name',value)
457 self.PaintThemeSample()
458
459 def VarChanged_customTheme(self,*params):
460 value=self.customTheme.get()
Steven M. Gava49745752002-02-18 01:43:11 +0000461 if value != '- no custom themes -':
462 self.AddChangedItem('main','Theme','name',value)
463 self.PaintThemeSample()
Steven M. Gava052937f2002-02-11 02:20:53 +0000464
465 def VarChanged_themeIsBuiltin(self,*params):
466 value=self.themeIsBuiltin.get()
467 self.AddChangedItem('main','Theme','default',value)
Steven M. Gavaf31eec02002-03-05 00:25:58 +0000468 if value:
469 self.VarChanged_builtinTheme()
470 else:
471 self.VarChanged_customTheme()
Steven M. Gava052937f2002-02-11 02:20:53 +0000472
473 def VarChanged_highlightTarget(self,*params):
474 self.SetHighlightTarget()
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000475
Steven M. Gavac112cd82002-01-22 05:56:40 +0000476 def VarChanged_keyBinding(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000477 value=self.keyBinding.get()
478 keySet=self.customKeys.get()
479 event=self.listBindings.get(ANCHOR).split()[0]
Steven M. Gavaa498af22002-02-01 01:33:36 +0000480 if idleConf.IsCoreBinding(event):
481 #this is a core keybinding
482 self.AddChangedItem('keys',keySet,event,value)
483 else: #this is an extension key binding
484 extName=idleConf.GetExtnNameForEvent(event)
485 extKeybindSection=extName+'_cfgBindings'
486 self.AddChangedItem('extensions',extKeybindSection,event,value)
487
Steven M. Gava052937f2002-02-11 02:20:53 +0000488 def VarChanged_builtinKeys(self,*params):
489 value=self.builtinKeys.get()
490 self.AddChangedItem('main','Keys','name',value)
491 self.LoadKeysList(value)
492
493 def VarChanged_customKeys(self,*params):
494 value=self.customKeys.get()
Steven M. Gava49745752002-02-18 01:43:11 +0000495 if value != '- no custom keys -':
496 self.AddChangedItem('main','Keys','name',value)
497 self.LoadKeysList(value)
Steven M. Gava052937f2002-02-11 02:20:53 +0000498
499 def VarChanged_keysAreBuiltin(self,*params):
500 value=self.keysAreBuiltin.get()
501 self.AddChangedItem('main','Keys','default',value)
502 if value:
Steven M. Gavaf31eec02002-03-05 00:25:58 +0000503 self.VarChanged_builtinKeys()
Steven M. Gava052937f2002-02-11 02:20:53 +0000504 else:
Steven M. Gavaf31eec02002-03-05 00:25:58 +0000505 self.VarChanged_customKeys()
Steven M. Gava052937f2002-02-11 02:20:53 +0000506
Steven M. Gavac112cd82002-01-22 05:56:40 +0000507 def VarChanged_winWidth(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000508 value=self.winWidth.get()
509 self.AddChangedItem('main','EditorWindow','width',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000510
511 def VarChanged_winHeight(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000512 value=self.winHeight.get()
513 self.AddChangedItem('main','EditorWindow','height',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000514
515 def VarChanged_startupEdit(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000516 value=self.startupEdit.get()
517 self.AddChangedItem('main','General','editor-on-startup',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000518
Steven M. Gavaa498af22002-02-01 01:33:36 +0000519 def ResetChangedItems(self):
Steven M. Gavab77d3432002-03-02 07:16:21 +0000520 #When any config item is changed in this dialog, an entry
Steven M. Gavaa498af22002-02-01 01:33:36 +0000521 #should be made in the relevant section (config type) of this
522 #dictionary. The key should be the config file section name and the
523 #value a dictionary, whose key:value pairs are item=value pairs for
524 #that config file section.
525 self.changedItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
526
Steven M. Gavac112cd82002-01-22 05:56:40 +0000527 def AddChangedItem(self,type,section,item,value):
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000528 value=str(value) #make sure we use a string
Steven M. Gavac112cd82002-01-22 05:56:40 +0000529 if not self.changedItems[type].has_key(section):
530 self.changedItems[type][section]={}
531 self.changedItems[type][section][item]=value
532
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000533 def GetDefaultItems(self):
534 dItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
535 for configType in dItems.keys():
536 sections=idleConf.GetSectionList('default',configType)
537 for section in sections:
538 dItems[configType][section]={}
539 options=idleConf.defaultCfg[configType].GetOptionList(section)
540 for option in options:
541 dItems[configType][section][option]=(
542 idleConf.defaultCfg[configType].Get(section,option))
543 return dItems
544
545 def SetThemeType(self):
546 if self.themeIsBuiltin.get():
547 self.optMenuThemeBuiltin.config(state=NORMAL)
548 self.optMenuThemeCustom.config(state=DISABLED)
549 self.buttonDeleteCustomTheme.config(state=DISABLED)
550 else:
551 self.optMenuThemeBuiltin.config(state=DISABLED)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000552 self.radioThemeCustom.config(state=NORMAL)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000553 self.optMenuThemeCustom.config(state=NORMAL)
554 self.buttonDeleteCustomTheme.config(state=NORMAL)
555
556 def SetKeysType(self):
Steven M. Gava052937f2002-02-11 02:20:53 +0000557 if self.keysAreBuiltin.get():
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000558 self.optMenuKeysBuiltin.config(state=NORMAL)
559 self.optMenuKeysCustom.config(state=DISABLED)
560 self.buttonDeleteCustomKeys.config(state=DISABLED)
561 else:
562 self.optMenuKeysBuiltin.config(state=DISABLED)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000563 self.radioKeysCustom.config(state=NORMAL)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000564 self.optMenuKeysCustom.config(state=NORMAL)
565 self.buttonDeleteCustomKeys.config(state=NORMAL)
566
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000567 def GetNewKeys(self):
568 listIndex=self.listBindings.index(ANCHOR)
569 binding=self.listBindings.get(listIndex)
570 bindName=binding.split()[0] #first part, up to first space
Steven M. Gavae28ee752002-02-11 03:45:22 +0000571 if self.keysAreBuiltin.get():
572 currentKeySetName=self.builtinKeys.get()
573 else:
574 currentKeySetName=self.customKeys.get()
575 currentBindings=idleConf.GetCurrentKeySet()
576 if currentKeySetName in self.changedItems['keys'].keys(): #unsaved changes
577 keySetChanges=self.changedItems['keys'][currentKeySetName]
578 for event in keySetChanges.keys():
579 currentBindings[event]=keySetChanges[event].split()
580 currentKeySequences=currentBindings.values()
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000581 newKeys=GetKeysDialog(self,'Get New Keys',bindName,
582 currentKeySequences).result
583 if newKeys: #new keys were specified
Steven M. Gava052937f2002-02-11 02:20:53 +0000584 if self.keysAreBuiltin.get(): #current key set is a built-in
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000585 message=('Your changes will be saved as a new Custom Key Set. '+
586 'Enter a name for your new Custom Key Set below.')
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000587 newKeySet=self.GetNewKeysName(message)
588 if not newKeySet: #user cancelled custom key set creation
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000589 self.listBindings.select_set(listIndex)
590 self.listBindings.select_anchor(listIndex)
591 return
592 else: #create new custom key set based on previously active key set
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000593 self.CreateNewKeySet(newKeySet)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000594 self.listBindings.delete(listIndex)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000595 self.listBindings.insert(listIndex,bindName+' - '+newKeys)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000596 self.listBindings.select_set(listIndex)
597 self.listBindings.select_anchor(listIndex)
Steven M. Gava052937f2002-02-11 02:20:53 +0000598 self.keyBinding.set(newKeys)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000599 else:
600 self.listBindings.select_set(listIndex)
601 self.listBindings.select_anchor(listIndex)
602
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000603 def GetNewKeysName(self,message):
Steven M. Gava49745752002-02-18 01:43:11 +0000604 usedNames=(idleConf.GetSectionList('user','keys')+
605 idleConf.GetSectionList('default','keys'))
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000606 newKeySet=GetCfgSectionNameDialog(self,'New Custom Key Set',
607 message,usedNames).result
608 return newKeySet
609
610 def SaveAsNewKeySet(self):
611 newKeysName=self.GetNewKeysName('New Key Set Name:')
612 if newKeysName:
613 self.CreateNewKeySet(newKeysName)
614
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000615 def KeyBindingSelected(self,event):
616 self.buttonNewKeys.config(state=NORMAL)
617
618 def CreateNewKeySet(self,newKeySetName):
619 #creates new custom key set based on the previously active key set,
620 #and makes the new key set active
Steven M. Gava052937f2002-02-11 02:20:53 +0000621 if self.keysAreBuiltin.get():
622 prevKeySetName=self.builtinKeys.get()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000623 else:
Steven M. Gava052937f2002-02-11 02:20:53 +0000624 prevKeySetName=self.customKeys.get()
Steven M. Gava052937f2002-02-11 02:20:53 +0000625 prevKeys=idleConf.GetCoreKeys(prevKeySetName)
Steven M. Gava052937f2002-02-11 02:20:53 +0000626 newKeys={}
627 for event in prevKeys.keys(): #add key set to changed items
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000628 eventName=event[2:-2] #trim off the angle brackets
Steven M. Gava052937f2002-02-11 02:20:53 +0000629 binding=string.join(prevKeys[event])
630 newKeys[eventName]=binding
Steven M. Gava052937f2002-02-11 02:20:53 +0000631 #handle any unsaved changes to prev key set
632 if prevKeySetName in self.changedItems['keys'].keys():
633 keySetChanges=self.changedItems['keys'][prevKeySetName]
634 for event in keySetChanges.keys():
635 newKeys[event]=keySetChanges[event]
Steven M. Gava052937f2002-02-11 02:20:53 +0000636 #save the new theme
637 self.SaveNewKeySet(newKeySetName,newKeys)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000638 #change gui over to the new key set
639 customKeyList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000640 customKeyList.sort()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000641 self.optMenuKeysCustom.SetMenu(customKeyList,newKeySetName)
Steven M. Gava052937f2002-02-11 02:20:53 +0000642 self.keysAreBuiltin.set(0)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000643 self.SetKeysType()
644
Steven M. Gava052937f2002-02-11 02:20:53 +0000645 def LoadKeysList(self,keySetName):
646 reselect=0
647 newKeySet=0
648 if self.listBindings.curselection():
649 reselect=1
650 listIndex=self.listBindings.index(ANCHOR)
Steven M. Gava052937f2002-02-11 02:20:53 +0000651 keySet=idleConf.GetKeySet(keySetName)
Steven M. Gava052937f2002-02-11 02:20:53 +0000652 bindNames=keySet.keys()
653 bindNames.sort()
654 self.listBindings.delete(0,END)
655 for bindName in bindNames:
Steven M. Gava052937f2002-02-11 02:20:53 +0000656 key=string.join(keySet[bindName]) #make key(s) into a string
657 bindName=bindName[2:-2] #trim off the angle brackets
Steven M. Gava052937f2002-02-11 02:20:53 +0000658 if keySetName in self.changedItems['keys'].keys():
659 #handle any unsaved changes to this key set
660 if bindName in self.changedItems['keys'][keySetName].keys():
661 key=self.changedItems['keys'][keySetName][bindName]
Steven M. Gava052937f2002-02-11 02:20:53 +0000662 self.listBindings.insert(END, bindName+' - '+key)
Steven M. Gava052937f2002-02-11 02:20:53 +0000663 if reselect:
664 self.listBindings.see(listIndex)
665 self.listBindings.select_set(listIndex)
666 self.listBindings.select_anchor(listIndex)
667
Steven M. Gava49745752002-02-18 01:43:11 +0000668 def DeleteCustomKeys(self):
669 keySetName=self.customKeys.get()
670 if not tkMessageBox.askyesno('Delete Key Set','Are you sure you wish '+
671 'to delete the key set '+`keySetName`+' ?'):
672 return
673 #remove key set from config
674 idleConf.userCfg['keys'].remove_section(keySetName)
675 if self.changedItems['keys'].has_key(keySetName):
676 del(self.changedItems['keys'][keySetName])
677 #write changes
678 idleConf.userCfg['keys'].Save()
679 #reload user key set list
680 itemList=idleConf.GetSectionList('user','keys')
681 itemList.sort()
682 if not itemList:
683 self.radioKeysCustom.config(state=DISABLED)
684 self.optMenuKeysCustom.SetMenu(itemList,'- no custom keys -')
685 else:
686 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
687 #revert to default key set
688 self.keysAreBuiltin.set(idleConf.defaultCfg['main'].Get('Keys','default'))
689 self.builtinKeys.set(idleConf.defaultCfg['main'].Get('Keys','name'))
690 #user can't back out of these changes, they must be applied now
691 self.Apply()
692 self.SetKeysType()
693
694 def DeleteCustomTheme(self):
695 themeName=self.customTheme.get()
696 if not tkMessageBox.askyesno('Delete Theme','Are you sure you wish '+
697 'to delete the theme '+`themeName`+' ?'):
698 return
699 #remove theme from config
700 idleConf.userCfg['highlight'].remove_section(themeName)
701 if self.changedItems['highlight'].has_key(themeName):
702 del(self.changedItems['highlight'][themeName])
703 #write changes
704 idleConf.userCfg['highlight'].Save()
705 #reload user theme list
706 itemList=idleConf.GetSectionList('user','highlight')
707 itemList.sort()
708 if not itemList:
709 self.radioThemeCustom.config(state=DISABLED)
710 self.optMenuThemeCustom.SetMenu(itemList,'- no custom themes -')
711 else:
712 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
713 #revert to default theme
714 self.themeIsBuiltin.set(idleConf.defaultCfg['main'].Get('Theme','default'))
715 self.builtinTheme.set(idleConf.defaultCfg['main'].Get('Theme','name'))
716 #user can't back out of these changes, they must be applied now
717 self.Apply()
718 self.SetThemeType()
719
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000720 def GetColour(self):
721 target=self.highlightTarget.get()
Steven M. Gava052937f2002-02-11 02:20:53 +0000722 prevColour=self.frameColourSet.cget('bg')
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000723 rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
Steven M. Gava052937f2002-02-11 02:20:53 +0000724 title='Pick new colour for : '+target,initialcolor=prevColour)
725 if colourString and (colourString!=prevColour):
726 #user didn't cancel, and they chose a new colour
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000727 if self.themeIsBuiltin.get(): #current theme is a built-in
728 message=('Your changes will be saved as a new Custom Theme. '+
729 'Enter a name for your new Custom Theme below.')
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000730 newTheme=self.GetNewThemeName(message)
731 if not newTheme: #user cancelled custom theme creation
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000732 return
733 else: #create new custom theme based on previously active theme
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000734 self.CreateNewTheme(newTheme)
Steven M. Gava052937f2002-02-11 02:20:53 +0000735 self.colour.set(colourString)
736 else: #current theme is user defined
737 self.colour.set(colourString)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000738
Steven M. Gava052937f2002-02-11 02:20:53 +0000739 def OnNewColourSet(self):
740 newColour=self.colour.get()
741 self.frameColourSet.config(bg=newColour)#set sample
742 if self.fgHilite.get(): plane='foreground'
743 else: plane='background'
744 sampleElement=self.themeElements[self.highlightTarget.get()][0]
745 apply(self.textHighlightSample.tag_config,
746 (sampleElement,),{plane:newColour})
747 theme=self.customTheme.get()
748 themeElement=sampleElement+'-'+plane
749 self.AddChangedItem('highlight',theme,themeElement,newColour)
Steven M. Gava052937f2002-02-11 02:20:53 +0000750
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000751 def GetNewThemeName(self,message):
Steven M. Gava49745752002-02-18 01:43:11 +0000752 usedNames=(idleConf.GetSectionList('user','highlight')+
753 idleConf.GetSectionList('default','highlight'))
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000754 newTheme=GetCfgSectionNameDialog(self,'New Custom Theme',
755 message,usedNames).result
756 return newTheme
757
758 def SaveAsNewTheme(self):
759 newThemeName=self.GetNewThemeName('New Theme Name:')
760 if newThemeName:
761 self.CreateNewTheme(newThemeName)
762
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000763 def CreateNewTheme(self,newThemeName):
764 #creates new custom theme based on the previously active theme,
765 #and makes the new theme active
766 if self.themeIsBuiltin.get():
767 themeType='default'
768 themeName=self.builtinTheme.get()
769 else:
770 themeType='user'
771 themeName=self.customTheme.get()
772 newTheme=idleConf.GetThemeDict(themeType,themeName)
Steven M. Gava052937f2002-02-11 02:20:53 +0000773 #apply any of the old theme's unsaved changes to the new theme
774 if themeName in self.changedItems['highlight'].keys():
775 themeChanges=self.changedItems['highlight'][themeName]
776 for element in themeChanges.keys():
777 newTheme[element]=themeChanges[element]
778 #save the new theme
779 self.SaveNewTheme(newThemeName,newTheme)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000780 #change gui over to the new theme
781 customThemeList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000782 customThemeList.sort()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000783 self.optMenuThemeCustom.SetMenu(customThemeList,newThemeName)
784 self.themeIsBuiltin.set(0)
785 self.SetThemeType()
786
Steven M. Gavac112cd82002-01-22 05:56:40 +0000787 def OnListFontButtonRelease(self,event):
788 self.fontName.set(self.listFontName.get(ANCHOR))
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000789 self.SetFontSample()
790
Steven M. Gavac112cd82002-01-22 05:56:40 +0000791 def SetFontSample(self,event=None):
792 fontName=self.fontName.get()
793 if self.fontBold.get():
794 fontWeight=tkFont.BOLD
795 else:
796 fontWeight=tkFont.NORMAL
797 self.editFont.config(size=self.fontSize.get(),
798 weight=fontWeight,family=fontName)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000799
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000800 def SetHighlightTarget(self):
801 if self.highlightTarget.get()=='Cursor': #bg not possible
802 self.radioFg.config(state=DISABLED)
803 self.radioBg.config(state=DISABLED)
804 self.fgHilite.set(1)
805 else: #both fg and bg can be set
806 self.radioFg.config(state=NORMAL)
807 self.radioBg.config(state=NORMAL)
808 self.fgHilite.set(1)
809 self.SetColourSample()
810
811 def SetColourSampleBinding(self,*args):
812 self.SetColourSample()
813
814 def SetColourSample(self):
815 #set the colour smaple area
816 tag=self.themeElements[self.highlightTarget.get()][0]
817 if self.fgHilite.get(): plane='foreground'
818 else: plane='background'
819 colour=self.textHighlightSample.tag_cget(tag,plane)
820 self.frameColourSet.config(bg=colour)
821
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000822 def PaintThemeSample(self):
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000823 if self.themeIsBuiltin.get(): #a default theme
Steven M. Gava99300612001-11-04 07:03:08 +0000824 theme=self.builtinTheme.get()
825 else: #a user theme
826 theme=self.customTheme.get()
Steven M. Gava052937f2002-02-11 02:20:53 +0000827 for elementTitle in self.themeElements.keys():
828 element=self.themeElements[elementTitle][0]
829 colours=idleConf.GetHighlight(theme,element)
830 if element=='cursor': #cursor sample needs special painting
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000831 colours['background']=idleConf.GetHighlight(theme,
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000832 'normal', fgBg='bg')
Steven M. Gava052937f2002-02-11 02:20:53 +0000833 #handle any unsaved changes to this theme
834 if theme in self.changedItems['highlight'].keys():
835 themeDict=self.changedItems['highlight'][theme]
836 if themeDict.has_key(element+'-foreground'):
837 colours['foreground']=themeDict[element+'-foreground']
838 if themeDict.has_key(element+'-background'):
839 colours['background']=themeDict[element+'-background']
840 apply(self.textHighlightSample.tag_config,(element,),colours)
841 self.SetColourSample()
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000842
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000843 def OnCheckUserHelpBrowser(self):
844 if self.userHelpBrowser.get():
845 self.entryHelpBrowser.config(state=NORMAL)
846 else:
847 self.entryHelpBrowser.config(state=DISABLED)
848
849 def HelpSourceSelected(self,event):
850 self.SetHelpListButtonStates()
851
852 def SetHelpListButtonStates(self):
853 if self.listHelp.size()<1: #no entries in list
854 self.buttonHelpListEdit.config(state=DISABLED)
855 self.buttonHelpListRemove.config(state=DISABLED)
856 else: #there are some entries
857 if self.listHelp.curselection(): #there currently is a selection
858 self.buttonHelpListEdit.config(state=NORMAL)
859 self.buttonHelpListRemove.config(state=NORMAL)
860 else: #there currently is not a selection
861 self.buttonHelpListEdit.config(state=DISABLED)
862 self.buttonHelpListRemove.config(state=DISABLED)
863
864 def HelpListItemAdd(self):
865 helpSource=GetHelpSourceDialog(self,'New Help Source').result
866 if helpSource:
867 self.userHelpList.append( (helpSource[0],helpSource[1]) )
868 self.listHelp.insert(END,helpSource[0]+' '+helpSource[1])
869 self.UpdateUserHelpChangedItems()
870 self.SetHelpListButtonStates()
871
872 def HelpListItemEdit(self):
873 itemIndex=self.listHelp.index(ANCHOR)
874 helpSource=self.userHelpList[itemIndex]
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +0000875 newHelpSource=GetHelpSourceDialog(self,'Edit Help Source',
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000876 menuItem=helpSource[0],filePath=helpSource[1]).result
877 if (not newHelpSource) or (newHelpSource==helpSource):
878 return #no changes
879 self.userHelpList[itemIndex]=newHelpSource
880 self.listHelp.delete(itemIndex)
881 self.listHelp.insert(itemIndex,newHelpSource[0]+' '+newHelpSource[1])
882 self.UpdateUserHelpChangedItems()
883 self.SetHelpListButtonStates()
884
885 def HelpListItemRemove(self):
886 itemIndex=self.listHelp.index(ANCHOR)
887 del(self.userHelpList[itemIndex])
888 self.listHelp.delete(itemIndex)
889 self.UpdateUserHelpChangedItems()
890 self.SetHelpListButtonStates()
891
892 def UpdateUserHelpChangedItems(self):
893 #clear and rebuild the HelpFiles secion in self.changedItems
894 if self.changedItems['main'].has_key('HelpFiles'):
895 del(self.changedItems['main']['HelpFiles'])
896 for num in range(1,len(self.userHelpList)+1):
897 self.AddChangedItem('main','HelpFiles',str(num),
898 string.join(self.userHelpList[num-1],';'))
899
Steven M. Gava429a86a2001-10-23 10:42:12 +0000900 def LoadFontCfg(self):
901 ##base editor font selection list
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000902 fonts=list(tkFont.families(self))
903 fonts.sort()
904 for font in fonts:
905 self.listFontName.insert(END,font)
Steven M. Gava485f7b62001-10-26 06:47:09 +0000906 configuredFont=idleConf.GetOption('main','EditorWindow','font',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000907 default='courier')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000908 self.fontName.set(configuredFont)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000909 if configuredFont in fonts:
910 currentFontIndex=fonts.index(configuredFont)
911 self.listFontName.see(currentFontIndex)
912 self.listFontName.select_set(currentFontIndex)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000913 self.listFontName.select_anchor(currentFontIndex)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000914 ##font size dropdown
Steven M. Gavac112cd82002-01-22 05:56:40 +0000915 fontSize=idleConf.GetOption('main','EditorWindow','font-size',
916 default='12')
Chui Teya178cff2002-11-04 03:17:45 +0000917 self.optMenuFontSize.SetMenu(('7','8','9','10','11','12','13','14',
Steven M. Gava485f7b62001-10-26 06:47:09 +0000918 '16','18','20','22'),fontSize )
Steven M. Gavac112cd82002-01-22 05:56:40 +0000919 ##fontWeight
920 self.fontBold.set(idleConf.GetOption('main','EditorWindow',
921 'font-bold',default=0,type='bool'))
Steven M. Gava429a86a2001-10-23 10:42:12 +0000922 ##font sample
923 self.SetFontSample()
924
925 def LoadTabCfg(self):
Steven M. Gava63f67142002-03-12 00:52:42 +0000926 ##indent type radiobuttons
Steven M. Gava485f7b62001-10-26 06:47:09 +0000927 spaceIndent=idleConf.GetOption('main','Indent','use-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000928 default=1,type='bool')
Steven M. Gavac112cd82002-01-22 05:56:40 +0000929 self.indentBySpaces.set(spaceIndent)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000930 ##indent sizes
Steven M. Gava485f7b62001-10-26 06:47:09 +0000931 spaceNum=idleConf.GetOption('main','Indent','num-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000932 default=4,type='int')
Steven M. Gava63f67142002-03-12 00:52:42 +0000933 #tabCols=idleConf.GetOption('main','Indent','tab-cols',
934 # default=4,type='int')
Steven M. Gava429a86a2001-10-23 10:42:12 +0000935 self.spaceNum.set(spaceNum)
Steven M. Gava63f67142002-03-12 00:52:42 +0000936 #self.tabCols.set(tabCols)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000937
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000938 def LoadThemeCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000939 ##current theme type radiobutton
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000940 self.themeIsBuiltin.set(idleConf.GetOption('main','Theme','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000941 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000942 ##currently set theme
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000943 currentOption=idleConf.CurrentTheme()
Steven M. Gava7c017862001-10-29 11:19:46 +0000944 ##load available theme option menus
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000945 if self.themeIsBuiltin.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000946 itemList=idleConf.GetSectionList('default','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000947 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000948 self.optMenuThemeBuiltin.SetMenu(itemList,currentOption)
949 itemList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000950 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000951 if not itemList:
952 self.radioThemeCustom.config(state=DISABLED)
953 self.customTheme.set('- no custom themes -')
954 else:
955 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000956 else: #user theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000957 itemList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000958 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000959 self.optMenuThemeCustom.SetMenu(itemList,currentOption)
960 itemList=idleConf.GetSectionList('default','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000961 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000962 self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
Steven M. Gava7c017862001-10-29 11:19:46 +0000963 self.SetThemeType()
964 ##load theme element option menu
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000965 themeNames=self.themeElements.keys()
966 themeNames.sort(self.__ThemeNameIndexCompare)
967 self.optMenuHighlightTarget.SetMenu(themeNames,themeNames[0])
968 self.PaintThemeSample()
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000969 self.SetHighlightTarget()
Steven M. Gava41a85322001-10-29 08:05:34 +0000970
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000971 def __ThemeNameIndexCompare(self,a,b):
972 if self.themeElements[a][1]<self.themeElements[b][1]: return -1
973 elif self.themeElements[a][1]==self.themeElements[b][1]: return 0
974 else: return 1
975
976 def LoadKeyCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000977 ##current keys type radiobutton
Steven M. Gava052937f2002-02-11 02:20:53 +0000978 self.keysAreBuiltin.set(idleConf.GetOption('main','Keys','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000979 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000980 ##currently set keys
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000981 currentOption=idleConf.CurrentKeys()
Steven M. Gava7c017862001-10-29 11:19:46 +0000982 ##load available keyset option menus
Steven M. Gava052937f2002-02-11 02:20:53 +0000983 if self.keysAreBuiltin.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000984 itemList=idleConf.GetSectionList('default','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000985 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000986 self.optMenuKeysBuiltin.SetMenu(itemList,currentOption)
987 itemList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000988 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000989 if not itemList:
990 self.radioKeysCustom.config(state=DISABLED)
991 self.customKeys.set('- no custom keys -')
992 else:
993 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
Steven M. Gavaa498af22002-02-01 01:33:36 +0000994 else: #user key set selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000995 itemList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000996 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000997 self.optMenuKeysCustom.SetMenu(itemList,currentOption)
998 itemList=idleConf.GetSectionList('default','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000999 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +00001000 self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0])
1001 self.SetKeysType()
Steven M. Gavafacfc092002-01-19 00:29:54 +00001002 ##load keyset element list
Steven M. Gava052937f2002-02-11 02:20:53 +00001003 keySetName=idleConf.CurrentKeys()
1004 self.LoadKeysList(keySetName)
1005
Steven M. Gavafacfc092002-01-19 00:29:54 +00001006 def LoadGeneralCfg(self):
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001007 #startup state
1008 self.startupEdit.set(idleConf.GetOption('main','General',
1009 'editor-on-startup',default=1,type='bool'))
Steven M. Gavafacfc092002-01-19 00:29:54 +00001010 #initial window size
1011 self.winWidth.set(idleConf.GetOption('main','EditorWindow','width'))
1012 self.winHeight.set(idleConf.GetOption('main','EditorWindow','height'))
Steven M. Gava085eb1b2002-02-05 04:52:32 +00001013 #help browsing
1014 self.userHelpList=idleConf.GetExtraHelpSourceList('user')
1015 for helpItem in self.userHelpList:
1016 self.listHelp.insert(END,helpItem[0]+' '+helpItem[1])
1017 self.SetHelpListButtonStates()
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +00001018 #self.userHelpBrowser.set(idleConf.GetOption('main','General',
1019 # 'user-help-browser',default=0,type='bool'))
1020 #self.helpBrowser.set(idleConf.GetOption('main','General',
1021 # 'user-help-browser-command',default=''))
1022 #self.OnCheckUserHelpBrowser()
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001023
Steven M. Gava429a86a2001-10-23 10:42:12 +00001024 def LoadConfigs(self):
1025 """
1026 load configuration from default and user config files and populate
1027 the widgets on the config dialog pages.
1028 """
1029 ### fonts / tabs page
1030 self.LoadFontCfg()
1031 self.LoadTabCfg()
1032 ### highlighting page
Steven M. Gava9dd16b32001-11-03 14:54:25 +00001033 self.LoadThemeCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +00001034 ### keys page
Steven M. Gava9dd16b32001-11-03 14:54:25 +00001035 self.LoadKeyCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +00001036 ### general page
Steven M. Gavafacfc092002-01-19 00:29:54 +00001037 self.LoadGeneralCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +00001038
Steven M. Gava052937f2002-02-11 02:20:53 +00001039 def SaveNewKeySet(self,keySetName,keySet):
1040 """
1041 save a newly created core key set.
1042 keySetName - string, the name of the new key set
1043 keySet - dictionary containing the new key set
1044 """
1045 if not idleConf.userCfg['keys'].has_section(keySetName):
1046 idleConf.userCfg['keys'].add_section(keySetName)
1047 for event in keySet.keys():
1048 value=keySet[event]
1049 idleConf.userCfg['keys'].SetOption(keySetName,event,value)
1050
1051 def SaveNewTheme(self,themeName,theme):
1052 """
1053 save a newly created theme.
1054 themeName - string, the name of the new theme
1055 theme - dictionary containing the new theme
1056 """
1057 if not idleConf.userCfg['highlight'].has_section(themeName):
1058 idleConf.userCfg['highlight'].add_section(themeName)
1059 for element in theme.keys():
1060 value=theme[element]
1061 idleConf.userCfg['highlight'].SetOption(themeName,element,value)
1062
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +00001063 def SetUserValue(self,configType,section,item,value):
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +00001064 if idleConf.defaultCfg[configType].has_option(section,item):
1065 if idleConf.defaultCfg[configType].Get(section,item)==value:
1066 #the setting equals a default setting, remove it from user cfg
1067 return idleConf.userCfg[configType].RemoveOption(section,item)
1068 #if we got here set the option
1069 return idleConf.userCfg[configType].SetOption(section,item,value)
1070
Steven M. Gava052937f2002-02-11 02:20:53 +00001071 def SaveAllChangedConfigs(self):
Steven M. Gava429a86a2001-10-23 10:42:12 +00001072 """
Steven M. Gava052937f2002-02-11 02:20:53 +00001073 save all configuration changes to user config files.
Steven M. Gava429a86a2001-10-23 10:42:12 +00001074 """
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +00001075 #this section gets completely replaced
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +00001076 idleConf.userCfg['main'].remove_section('HelpFiles')
1077 idleConf.userCfg['main'].Save()
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001078 for configType in self.changedItems.keys():
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +00001079 cfgTypeHasChanges=0
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001080 for section in self.changedItems[configType].keys():
1081 for item in self.changedItems[configType][section].keys():
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001082 value=self.changedItems[configType][section][item]
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +00001083 if self.SetUserValue(configType,section,item,value):
1084 cfgTypeHasChanges=1
1085 if cfgTypeHasChanges:
1086 idleConf.userCfg[configType].Save()
Steven M. Gavaa498af22002-02-01 01:33:36 +00001087 self.ResetChangedItems() #clear the changed items dict
1088
Steven M. Gava49745752002-02-18 01:43:11 +00001089 def ActivateConfigChanges(self):
1090 #things that need to be done to make
1091 #applied config changes dynamic:
Steven M. Gava49745752002-02-18 01:43:11 +00001092 #update editor/shell font and repaint
1093 #dynamically update indentation setttings
1094 #update theme and repaint
1095 #update keybindings and re-bind
1096 #update user help sources menu
Steven M. Gavab77d3432002-03-02 07:16:21 +00001097 winInstances=self.parent.instanceDict.keys()
1098 for instance in winInstances:
1099 instance.ResetColorizer()
Steven M. Gavab1585412002-03-12 00:21:56 +00001100 instance.ResetFont()
Steven M. Gavadbfe92c2002-03-18 02:38:44 +00001101 instance.ResetKeybindings()
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +00001102 instance.ResetExtraHelpMenu()
Steven M. Gavab77d3432002-03-02 07:16:21 +00001103
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001104 def Cancel(self):
1105 self.destroy()
1106
1107 def Ok(self):
1108 self.Apply()
1109 self.destroy()
1110
1111 def Apply(self):
Steven M. Gava052937f2002-02-11 02:20:53 +00001112 self.SaveAllChangedConfigs()
Steven M. Gava49745752002-02-18 01:43:11 +00001113 self.ActivateConfigChanges()
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001114
1115 def Help(self):
Steven M. Gavac11ccf32001-09-24 09:43:17 +00001116 pass
1117
Steven M. Gava44d3d1a2001-07-31 06:59:02 +00001118if __name__ == '__main__':
Steven M. Gavad721c482001-07-31 10:46:53 +00001119 #test the dialog
1120 root=Tk()
1121 Button(root,text='Dialog',
Steven M. Gava3b55a892001-11-21 05:56:26 +00001122 command=lambda:ConfigDialog(root,'Settings')).pack()
Steven M. Gavaf31eec02002-03-05 00:25:58 +00001123 root.instanceDict={}
Steven M. Gavad721c482001-07-31 10:46:53 +00001124 root.mainloop()