blob: d29ede4bd0fed73b12c44802c2713e768f99e8bf [file] [log] [blame]
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +00001"""IDLE Configuration Dialog: support user customization of IDLE by GUI
2
3Customize font faces, sizes, and colorization attributes. Set indentation
4defaults. Customize keybindings. Colorization and keybindings can be
5saved as user defined sets. Select startup options including shell/editor
6and default window size. Define additional help sources.
7
8Note that tab width in IDLE is currently fixed at eight due to Tk issues.
Kurt B. Kaiseracdef852005-01-31 03:34:26 +00009Refer to comments in EditorWindow autoindent code for details.
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +000010
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000011"""
12from Tkinter import *
Steven M. Gavac01e30f2001-08-11 15:48:13 +000013import tkMessageBox, tkColorChooser, tkFont
Steven M. Gava052937f2002-02-11 02:20:53 +000014import string, copy
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000015
Steven M. Gavac11ccf32001-09-24 09:43:17 +000016from configHandler import idleConf
Steven M. Gava485f7b62001-10-26 06:47:09 +000017from dynOptionMenuWidget import DynOptionMenu
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000018from tabpage import TabPageSet
Steven M. Gavafacfc092002-01-19 00:29:54 +000019from keybindingDialog import GetKeysDialog
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +000020from configSectionNameDialog import GetCfgSectionNameDialog
Steven M. Gava085eb1b2002-02-05 04:52:32 +000021from configHelpSourceEdit import GetHelpSourceDialog
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +000022
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000023class ConfigDialog(Toplevel):
Kurt B. Kaiseracdef852005-01-31 03:34:26 +000024
Steven M. Gava3b55a892001-11-21 05:56:26 +000025 def __init__(self,parent,title):
Steven M. Gavad721c482001-07-31 10:46:53 +000026 Toplevel.__init__(self, parent)
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +000027 self.wm_withdraw()
28
Steven M. Gavad721c482001-07-31 10:46:53 +000029 self.configure(borderwidth=5)
30 self.geometry("+%d+%d" % (parent.winfo_rootx()+20,
31 parent.winfo_rooty()+30))
Georg Brandl7eb4b7d2005-07-22 21:49:32 +000032 #Theme Elements. Each theme element key is its display name.
Steven M. Gava9dd16b32001-11-03 14:54:25 +000033 #The first value of the tuple is the sample area tag name.
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +000034 #The second value is the display name list sort index.
Steven M. Gavaad4f5322002-01-03 12:05:17 +000035 self.themeElements={'Normal Text':('normal','00'),
36 'Python Keywords':('keyword','01'),
37 'Python Definitions':('definition','02'),
Kurt B. Kaiser73360a32004-03-08 18:15:31 +000038 'Python Builtins':('builtin', '03'),
39 'Python Comments':('comment','04'),
40 'Python Strings':('string','05'),
41 'Selected Text':('hilite','06'),
42 'Found Text':('hit','07'),
43 'Cursor':('cursor','08'),
44 'Error Text':('error','09'),
45 'Shell Normal Text':('console','10'),
46 'Shell Stdout Text':('stdout','11'),
47 'Shell Stderr Text':('stderr','12'),
48 }
Steven M. Gavaa498af22002-02-01 01:33:36 +000049 self.ResetChangedItems() #load initial values in changed items dict
Steven M. Gavad721c482001-07-31 10:46:53 +000050 self.CreateWidgets()
51 self.resizable(height=FALSE,width=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +000052 self.transient(parent)
53 self.grab_set()
54 self.protocol("WM_DELETE_WINDOW", self.Cancel)
55 self.parent = parent
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000056 self.tabPages.focus_set()
Steven M. Gavad721c482001-07-31 10:46:53 +000057 #key bindings for this dialog
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000058 #self.bind('<Escape>',self.Cancel) #dismiss dialog, no save
59 #self.bind('<Alt-a>',self.Apply) #apply changes, save
60 #self.bind('<F1>',self.Help) #context help
Steven M. Gava429a86a2001-10-23 10:42:12 +000061 self.LoadConfigs()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +000062 self.AttachVarCallbacks() #avoid callbacks during LoadConfigs
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +000063
64 self.wm_deiconify()
Steven M. Gavad721c482001-07-31 10:46:53 +000065 self.wait_window()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +000066
Steven M. Gavad721c482001-07-31 10:46:53 +000067 def CreateWidgets(self):
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000068 self.tabPages = TabPageSet(self,
69 pageNames=['Fonts/Tabs','Highlighting','Keys','General'])
Steven M. Gavaad4f5322002-01-03 12:05:17 +000070 self.tabPages.ChangePage()#activates default (first) page
Steven M. Gavad721c482001-07-31 10:46:53 +000071 frameActionButtons = Frame(self)
Steven M. Gavad721c482001-07-31 10:46:53 +000072 #action buttons
Steven M. Gava952d0a52001-08-03 04:43:44 +000073 self.buttonHelp = Button(frameActionButtons,text='Help',
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +000074 command=self.Help,takefocus=FALSE,
75 padx=6,pady=3)
Steven M. Gavac01e30f2001-08-11 15:48:13 +000076 self.buttonOk = Button(frameActionButtons,text='Ok',
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +000077 command=self.Ok,takefocus=FALSE,
78 padx=6,pady=3)
Steven M. Gavac01e30f2001-08-11 15:48:13 +000079 self.buttonApply = Button(frameActionButtons,text='Apply',
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +000080 command=self.Apply,takefocus=FALSE,
81 padx=6,pady=3)
Steven M. Gavad721c482001-07-31 10:46:53 +000082 self.buttonCancel = Button(frameActionButtons,text='Cancel',
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +000083 command=self.Cancel,takefocus=FALSE,
84 padx=6,pady=3)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000085 self.CreatePageFontTab()
86 self.CreatePageHighlight()
87 self.CreatePageKeys()
88 self.CreatePageGeneral()
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +000089 self.buttonHelp.pack(side=RIGHT,padx=5)
90 self.buttonOk.pack(side=LEFT,padx=5)
91 self.buttonApply.pack(side=LEFT,padx=5)
92 self.buttonCancel.pack(side=LEFT,padx=5)
Steven M. Gavad721c482001-07-31 10:46:53 +000093 frameActionButtons.pack(side=BOTTOM)
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +000094 Frame(self, border=0).pack(side=BOTTOM,pady=2)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000095 self.tabPages.pack(side=TOP,expand=TRUE,fill=BOTH)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +000096
Steven M. Gava60fc7072001-08-04 13:58:22 +000097 def CreatePageFontTab(self):
Steven M. Gavaf213ccb2001-08-05 08:00:28 +000098 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +000099 self.fontSize=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000100 self.fontBold=BooleanVar(self)
101 self.fontName=StringVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000102 self.spaceNum=IntVar(self)
Kurt B. Kaiser05391692003-05-26 20:35:53 +0000103 self.editFont=tkFont.Font(self,('courier',10,'normal'))
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000104 ##widget creation
105 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000106 frame=self.tabPages.pages['Fonts/Tabs']['page']
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000107 #body section frames
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +0000108 frameFont=LabelFrame(frame,borderwidth=2,relief=GROOVE,
109 text=' Base Editor Font ')
110 frameIndent=LabelFrame(frame,borderwidth=2,relief=GROOVE,
111 text=' Indentation Width ')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000112 #frameFont
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000113 frameFontName=Frame(frameFont)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000114 frameFontParam=Frame(frameFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000115 labelFontNameTitle=Label(frameFontName,justify=LEFT,
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +0000116 text='Font Face :')
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000117 self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
118 exportselection=FALSE)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000119 self.listFontName.bind('<ButtonRelease-1>',self.OnListFontButtonRelease)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000120 scrollFont=Scrollbar(frameFontName)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000121 scrollFont.config(command=self.listFontName.yview)
122 self.listFontName.config(yscrollcommand=scrollFont.set)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000123 labelFontSizeTitle=Label(frameFontParam,text='Size :')
124 self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000125 command=self.SetFontSample)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000126 checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000127 onvalue=1,offvalue=0,text='Bold',command=self.SetFontSample)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000128 frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
129 self.labelFontSample=Label(frameFontSample,
130 text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000131 justify=LEFT,font=self.editFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000132 #frameIndent
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000133 frameIndentSize=Frame(frameIndent)
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000134 labelSpaceNumTitle=Label(frameIndentSize, justify=LEFT,
135 text='Python Standard: 4 Spaces!')
136 self.scaleSpaceNum=Scale(frameIndentSize, variable=self.spaceNum,
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +0000137 orient='horizontal',
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000138 tickinterval=2, from_=2, to=16)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000139 #widget packing
140 #body
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +0000141 frameFont.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
142 frameIndent.pack(side=LEFT,padx=5,pady=5,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000143 #frameFont
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000144 frameFontName.pack(side=TOP,padx=5,pady=5,fill=X)
145 frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000146 labelFontNameTitle.pack(side=TOP,anchor=W)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000147 self.listFontName.pack(side=LEFT,expand=TRUE,fill=X)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000148 scrollFont.pack(side=LEFT,fill=Y)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000149 labelFontSizeTitle.pack(side=LEFT,anchor=W)
150 self.optMenuFontSize.pack(side=LEFT,anchor=W)
151 checkFontBold.pack(side=LEFT,anchor=W,padx=20)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000152 frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000153 self.labelFontSample.pack(expand=TRUE,fill=BOTH)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000154 #frameIndent
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +0000155 frameIndentSize.pack(side=TOP,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000156 labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
157 self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000158 return frame
159
160 def CreatePageHighlight(self):
Steven M. Gava3b55a892001-11-21 05:56:26 +0000161 self.builtinTheme=StringVar(self)
162 self.customTheme=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000163 self.fgHilite=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000164 self.colour=StringVar(self)
165 self.fontName=StringVar(self)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000166 self.themeIsBuiltin=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000167 self.highlightTarget=StringVar(self)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000168 ##widget creation
169 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000170 frame=self.tabPages.pages['Highlighting']['page']
Steven M. Gava952d0a52001-08-03 04:43:44 +0000171 #body section frames
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +0000172 frameCustom=LabelFrame(frame,borderwidth=2,relief=GROOVE,
173 text=' Custom Highlighting ')
174 frameTheme=LabelFrame(frame,borderwidth=2,relief=GROOVE,
175 text=' Highlighting Theme ')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000176 #frameCustom
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000177 self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1,
Steven M. Gavab77d3432002-03-02 07:16:21 +0000178 font=('courier',12,''),cursor='hand2',width=21,height=10,
179 takefocus=FALSE,highlightthickness=0,wrap=NONE)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000180 text=self.textHighlightSample
181 text.bind('<Double-Button-1>',lambda e: 'break')
182 text.bind('<B1-Motion>',lambda e: 'break')
Steven M. Gava052937f2002-02-11 02:20:53 +0000183 textAndTags=(('#you can click here','comment'),('\n','normal'),
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000184 ('#to choose items','comment'),('\n','normal'),('def','keyword'),
185 (' ','normal'),('func','definition'),('(param):','normal'),
186 ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000187 ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'hilite'),
Kurt B. Kaiser73360a32004-03-08 18:15:31 +0000188 ('\n var2 = ','normal'),("'found'",'hit'),
189 ('\n var3 = ','normal'),('list', 'builtin'), ('(','normal'),
190 ('None', 'builtin'),(')\n\n','normal'),
Steven M. Gava99300612001-11-04 07:03:08 +0000191 (' error ','error'),(' ','normal'),('cursor |','cursor'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000192 ('\n ','normal'),('shell','console'),(' ','normal'),('stdout','stdout'),
193 (' ','normal'),('stderr','stderr'),('\n','normal'))
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000194 for txTa in textAndTags:
195 text.insert(END,txTa[0],txTa[1])
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000196 for element in self.themeElements.keys():
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000197 text.tag_bind(self.themeElements[element][0],'<ButtonPress-1>',
198 lambda event,elem=element: event.widget.winfo_toplevel()
199 .highlightTarget.set(elem))
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000200 text.config(state=DISABLED)
201 self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1)
Steven M. Gava7c017862001-10-29 11:19:46 +0000202 frameFgBg=Frame(frameCustom)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000203 buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :',
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000204 command=self.GetColour,highlightthickness=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000205 self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet,
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000206 self.highlightTarget,None,highlightthickness=0)#,command=self.SetHighlightTargetBinding
Steven M. Gava7c017862001-10-29 11:19:46 +0000207 self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000208 value=1,text='Foreground',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000209 self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000210 value=0,text='Background',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000211 self.fgHilite.set(1)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000212 buttonSaveCustomTheme=Button(frameCustom,
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000213 text='Save as New Custom Theme',command=self.SaveAsNewTheme)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000214 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000215 labelTypeTitle=Label(frameTheme,text='Select : ')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000216 self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
217 value=1,command=self.SetThemeType,text='a Built-in Theme')
218 self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
219 value=0,command=self.SetThemeType,text='a Custom Theme')
Steven M. Gava41a85322001-10-29 08:05:34 +0000220 self.optMenuThemeBuiltin=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000221 self.builtinTheme,None,command=None)
Steven M. Gava41a85322001-10-29 08:05:34 +0000222 self.optMenuThemeCustom=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000223 self.customTheme,None,command=None)
Steven M. Gava49745752002-02-18 01:43:11 +0000224 self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme',
225 command=self.DeleteCustomTheme)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000226 ##widget packing
227 #body
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +0000228 frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
229 frameTheme.pack(side=LEFT,padx=5,pady=5,fill=Y)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000230 #frameCustom
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000231 self.frameColourSet.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=X)
Steven M. Gava7c017862001-10-29 11:19:46 +0000232 frameFgBg.pack(side=TOP,padx=5,pady=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000233 self.textHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,
234 fill=BOTH)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000235 buttonSetColour.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=4)
236 self.optMenuHighlightTarget.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=3)
Steven M. Gava7c017862001-10-29 11:19:46 +0000237 self.radioFg.pack(side=LEFT,anchor=E)
238 self.radioBg.pack(side=RIGHT,anchor=W)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000239 buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000240 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000241 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000242 self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
243 self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000244 self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
245 self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000246 self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000247 return frame
248
249 def CreatePageKeys(self):
Steven M. Gava60fc7072001-08-04 13:58:22 +0000250 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000251 self.bindingTarget=StringVar(self)
252 self.builtinKeys=StringVar(self)
253 self.customKeys=StringVar(self)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000254 self.keysAreBuiltin=BooleanVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000255 self.keyBinding=StringVar(self)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000256 ##widget creation
257 #body frame
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000258 frame=self.tabPages.pages['Keys']['page']
Steven M. Gava60fc7072001-08-04 13:58:22 +0000259 #body section frames
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +0000260 frameCustom=LabelFrame(frame,borderwidth=2,relief=GROOVE,
261 text=' Custom Key Bindings ')
262 frameKeySets=LabelFrame(frame,borderwidth=2,relief=GROOVE,
263 text=' Key Set ')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000264 #frameCustom
265 frameTarget=Frame(frameCustom)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000266 labelTargetTitle=Label(frameTarget,text='Action - Key(s)')
267 scrollTargetY=Scrollbar(frameTarget)
268 scrollTargetX=Scrollbar(frameTarget,orient=HORIZONTAL)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000269 self.listBindings=Listbox(frameTarget,takefocus=FALSE,
270 exportselection=FALSE)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000271 self.listBindings.bind('<ButtonRelease-1>',self.KeyBindingSelected)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000272 scrollTargetY.config(command=self.listBindings.yview)
273 scrollTargetX.config(command=self.listBindings.xview)
274 self.listBindings.config(yscrollcommand=scrollTargetY.set)
275 self.listBindings.config(xscrollcommand=scrollTargetX.set)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000276 self.buttonNewKeys=Button(frameCustom,text='Get New Keys for Selection',
277 command=self.GetNewKeys,state=DISABLED)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000278 buttonSaveCustomKeys=Button(frameCustom,
279 text='Save as New Custom Key Set',command=self.SaveAsNewKeySet)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000280 #frameKeySets
Steven M. Gava60fc7072001-08-04 13:58:22 +0000281 labelTypeTitle=Label(frameKeySets,text='Select : ')
Steven M. Gava052937f2002-02-11 02:20:53 +0000282 self.radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysAreBuiltin,
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000283 value=1,command=self.SetKeysType,text='a Built-in Key Set')
Steven M. Gava052937f2002-02-11 02:20:53 +0000284 self.radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysAreBuiltin,
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000285 value=0,command=self.SetKeysType,text='a Custom Key Set')
Steven M. Gava41a85322001-10-29 08:05:34 +0000286 self.optMenuKeysBuiltin=DynOptionMenu(frameKeySets,
287 self.builtinKeys,None,command=None)
288 self.optMenuKeysCustom=DynOptionMenu(frameKeySets,
289 self.customKeys,None,command=None)
Steven M. Gava49745752002-02-18 01:43:11 +0000290 self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set',
291 command=self.DeleteCustomKeys)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000292 ##widget packing
293 #body
294 frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
295 frameKeySets.pack(side=LEFT,padx=5,pady=5,fill=Y)
296 #frameCustom
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000297 buttonSaveCustomKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
298 self.buttonNewKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000299 frameTarget.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
300 #frame target
301 frameTarget.columnconfigure(0,weight=1)
302 frameTarget.rowconfigure(1,weight=1)
303 labelTargetTitle.grid(row=0,column=0,columnspan=2,sticky=W)
304 self.listBindings.grid(row=1,column=0,sticky=NSEW)
305 scrollTargetY.grid(row=1,column=1,sticky=NS)
306 scrollTargetX.grid(row=2,column=0,sticky=EW)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000307 #frameKeySets
Steven M. Gava60fc7072001-08-04 13:58:22 +0000308 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000309 self.radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5)
310 self.radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000311 self.optMenuKeysBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
312 self.optMenuKeysCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
313 self.buttonDeleteCustomKeys.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000314 return frame
315
316 def CreatePageGeneral(self):
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000317 #tkVars
318 self.winWidth=StringVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000319 self.winHeight=StringVar(self)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000320 self.paraWidth=StringVar(self)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000321 self.startupEdit=IntVar(self)
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000322 self.autoSave=IntVar(self)
Kurt B. Kaisera053f332003-05-10 00:49:56 +0000323 self.encoding=StringVar(self)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000324 self.userHelpBrowser=BooleanVar(self)
325 self.helpBrowser=StringVar(self)
Steven M. Gava230e5782001-08-07 03:28:25 +0000326 #widget creation
327 #body
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000328 frame=self.tabPages.pages['General']['page']
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000329 #body section frames
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +0000330 frameRun=LabelFrame(frame,borderwidth=2,relief=GROOVE,
331 text=' Startup Preferences ')
332 frameSave=LabelFrame(frame,borderwidth=2,relief=GROOVE,
333 text=' Autosave Preferences ')
Steven M. Gava230e5782001-08-07 03:28:25 +0000334 frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000335 frameParaSize=Frame(frame,borderwidth=2,relief=GROOVE)
Kurt B. Kaisera053f332003-05-10 00:49:56 +0000336 frameEncoding=Frame(frame,borderwidth=2,relief=GROOVE)
Kurt B. Kaisere3fde8f2007-10-04 03:11:12 +0000337 frameHelp=LabelFrame(frame,borderwidth=2,relief=GROOVE,
338 text=' Additional Help Sources ')
Steven M. Gava230e5782001-08-07 03:28:25 +0000339 #frameRun
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000340 labelRunChoiceTitle=Label(frameRun,text='At Startup')
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000341 radioStartupEdit=Radiobutton(frameRun,variable=self.startupEdit,
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +0000342 value=1,command=self.SetKeysType,text="Open Edit Window")
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000343 radioStartupShell=Radiobutton(frameRun,variable=self.startupEdit,
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +0000344 value=0,command=self.SetKeysType,text='Open Shell Window')
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000345 #frameSave
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000346 labelRunSaveTitle=Label(frameSave,text='At Start of Run (F5) ')
347 radioSaveAsk=Radiobutton(frameSave,variable=self.autoSave,
348 value=0,command=self.SetKeysType,text="Prompt to Save")
349 radioSaveAuto=Radiobutton(frameSave,variable=self.autoSave,
350 value=1,command=self.SetKeysType,text='No Prompt')
Steven M. Gava230e5782001-08-07 03:28:25 +0000351 #frameWinSize
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000352 labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size'+
353 ' (in characters)')
Steven M. Gava230e5782001-08-07 03:28:25 +0000354 labelWinWidthTitle=Label(frameWinSize,text='Width')
355 entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth,
356 width=3)
357 labelWinHeightTitle=Label(frameWinSize,text='Height')
358 entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight,
359 width=3)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000360 #paragraphFormatWidth
361 labelParaWidthTitle=Label(frameParaSize,text='Paragraph reformat'+
362 ' width (in characters)')
363 entryParaWidth=Entry(frameParaSize,textvariable=self.paraWidth,
364 width=3)
Kurt B. Kaisera053f332003-05-10 00:49:56 +0000365 #frameEncoding
366 labelEncodingTitle=Label(frameEncoding,text="Default Source Encoding")
367 radioEncLocale=Radiobutton(frameEncoding,variable=self.encoding,
368 value="locale",text="Locale-defined")
369 radioEncUTF8=Radiobutton(frameEncoding,variable=self.encoding,
370 value="utf-8",text="UTF-8")
371 radioEncNone=Radiobutton(frameEncoding,variable=self.encoding,
372 value="none",text="None")
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000373 #frameHelp
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000374 frameHelpList=Frame(frameHelp)
375 frameHelpListButtons=Frame(frameHelpList)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000376 scrollHelpList=Scrollbar(frameHelpList)
377 self.listHelp=Listbox(frameHelpList,height=5,takefocus=FALSE,
378 exportselection=FALSE)
379 scrollHelpList.config(command=self.listHelp.yview)
380 self.listHelp.config(yscrollcommand=scrollHelpList.set)
381 self.listHelp.bind('<ButtonRelease-1>',self.HelpSourceSelected)
382 self.buttonHelpListEdit=Button(frameHelpListButtons,text='Edit',
383 state=DISABLED,width=8,command=self.HelpListItemEdit)
384 self.buttonHelpListAdd=Button(frameHelpListButtons,text='Add',
385 width=8,command=self.HelpListItemAdd)
386 self.buttonHelpListRemove=Button(frameHelpListButtons,text='Remove',
387 state=DISABLED,width=8,command=self.HelpListItemRemove)
Steven M. Gava230e5782001-08-07 03:28:25 +0000388 #widget packing
389 #body
390 frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000391 frameSave.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gava230e5782001-08-07 03:28:25 +0000392 frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000393 frameParaSize.pack(side=TOP,padx=5,pady=5,fill=X)
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000394 frameEncoding.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000395 frameHelp.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gava230e5782001-08-07 03:28:25 +0000396 #frameRun
Steven M. Gava230e5782001-08-07 03:28:25 +0000397 labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000398 radioStartupShell.pack(side=RIGHT,anchor=W,padx=5,pady=5)
399 radioStartupEdit.pack(side=RIGHT,anchor=W,padx=5,pady=5)
400 #frameSave
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000401 labelRunSaveTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
402 radioSaveAuto.pack(side=RIGHT,anchor=W,padx=5,pady=5)
403 radioSaveAsk.pack(side=RIGHT,anchor=W,padx=5,pady=5)
Steven M. Gava230e5782001-08-07 03:28:25 +0000404 #frameWinSize
Steven M. Gavafacfc092002-01-19 00:29:54 +0000405 labelWinSizeTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
406 entryWinHeight.pack(side=RIGHT,anchor=E,padx=10,pady=5)
407 labelWinHeightTitle.pack(side=RIGHT,anchor=E,pady=5)
408 entryWinWidth.pack(side=RIGHT,anchor=E,padx=10,pady=5)
409 labelWinWidthTitle.pack(side=RIGHT,anchor=E,pady=5)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000410 #paragraphFormatWidth
411 labelParaWidthTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
412 entryParaWidth.pack(side=RIGHT,anchor=E,padx=10,pady=5)
Kurt B. Kaisera053f332003-05-10 00:49:56 +0000413 #frameEncoding
414 labelEncodingTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
415 radioEncNone.pack(side=RIGHT,anchor=E,pady=5)
416 radioEncUTF8.pack(side=RIGHT,anchor=E,pady=5)
417 radioEncLocale.pack(side=RIGHT,anchor=E,pady=5)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000418 #frameHelp
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000419 frameHelpListButtons.pack(side=RIGHT,padx=5,pady=5,fill=Y)
420 frameHelpList.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000421 scrollHelpList.pack(side=RIGHT,anchor=W,fill=Y)
422 self.listHelp.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
423 self.buttonHelpListEdit.pack(side=TOP,anchor=W,pady=5)
424 self.buttonHelpListAdd.pack(side=TOP,anchor=W)
425 self.buttonHelpListRemove.pack(side=TOP,anchor=W,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000426 return frame
427
Steven M. Gavac112cd82002-01-22 05:56:40 +0000428 def AttachVarCallbacks(self):
429 self.fontSize.trace_variable('w',self.VarChanged_fontSize)
430 self.fontName.trace_variable('w',self.VarChanged_fontName)
431 self.fontBold.trace_variable('w',self.VarChanged_fontBold)
432 self.spaceNum.trace_variable('w',self.VarChanged_spaceNum)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000433 self.colour.trace_variable('w',self.VarChanged_colour)
Steven M. Gava052937f2002-02-11 02:20:53 +0000434 self.builtinTheme.trace_variable('w',self.VarChanged_builtinTheme)
435 self.customTheme.trace_variable('w',self.VarChanged_customTheme)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000436 self.themeIsBuiltin.trace_variable('w',self.VarChanged_themeIsBuiltin)
Steven M. Gava052937f2002-02-11 02:20:53 +0000437 self.highlightTarget.trace_variable('w',self.VarChanged_highlightTarget)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000438 self.keyBinding.trace_variable('w',self.VarChanged_keyBinding)
Steven M. Gava052937f2002-02-11 02:20:53 +0000439 self.builtinKeys.trace_variable('w',self.VarChanged_builtinKeys)
440 self.customKeys.trace_variable('w',self.VarChanged_customKeys)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000441 self.keysAreBuiltin.trace_variable('w',self.VarChanged_keysAreBuiltin)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000442 self.winWidth.trace_variable('w',self.VarChanged_winWidth)
443 self.winHeight.trace_variable('w',self.VarChanged_winHeight)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000444 self.paraWidth.trace_variable('w',self.VarChanged_paraWidth)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000445 self.startupEdit.trace_variable('w',self.VarChanged_startupEdit)
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000446 self.autoSave.trace_variable('w',self.VarChanged_autoSave)
Kurt B. Kaisera053f332003-05-10 00:49:56 +0000447 self.encoding.trace_variable('w',self.VarChanged_encoding)
Steven M. Gava052937f2002-02-11 02:20:53 +0000448
Steven M. Gavac112cd82002-01-22 05:56:40 +0000449 def VarChanged_fontSize(self,*params):
450 value=self.fontSize.get()
451 self.AddChangedItem('main','EditorWindow','font-size',value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000452
Steven M. Gavac112cd82002-01-22 05:56:40 +0000453 def VarChanged_fontName(self,*params):
454 value=self.fontName.get()
455 self.AddChangedItem('main','EditorWindow','font',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000456
457 def VarChanged_fontBold(self,*params):
458 value=self.fontBold.get()
459 self.AddChangedItem('main','EditorWindow','font-bold',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000460
Steven M. Gavac112cd82002-01-22 05:56:40 +0000461 def VarChanged_spaceNum(self,*params):
462 value=self.spaceNum.get()
463 self.AddChangedItem('main','Indent','num-spaces',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000464
Steven M. Gavac112cd82002-01-22 05:56:40 +0000465 def VarChanged_colour(self,*params):
Steven M. Gava052937f2002-02-11 02:20:53 +0000466 self.OnNewColourSet()
467
468 def VarChanged_builtinTheme(self,*params):
469 value=self.builtinTheme.get()
470 self.AddChangedItem('main','Theme','name',value)
471 self.PaintThemeSample()
472
473 def VarChanged_customTheme(self,*params):
474 value=self.customTheme.get()
Steven M. Gava49745752002-02-18 01:43:11 +0000475 if value != '- no custom themes -':
476 self.AddChangedItem('main','Theme','name',value)
477 self.PaintThemeSample()
Steven M. Gava052937f2002-02-11 02:20:53 +0000478
479 def VarChanged_themeIsBuiltin(self,*params):
480 value=self.themeIsBuiltin.get()
481 self.AddChangedItem('main','Theme','default',value)
Steven M. Gavaf31eec02002-03-05 00:25:58 +0000482 if value:
483 self.VarChanged_builtinTheme()
484 else:
485 self.VarChanged_customTheme()
Steven M. Gava052937f2002-02-11 02:20:53 +0000486
487 def VarChanged_highlightTarget(self,*params):
488 self.SetHighlightTarget()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000489
Steven M. Gavac112cd82002-01-22 05:56:40 +0000490 def VarChanged_keyBinding(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000491 value=self.keyBinding.get()
492 keySet=self.customKeys.get()
493 event=self.listBindings.get(ANCHOR).split()[0]
Steven M. Gavaa498af22002-02-01 01:33:36 +0000494 if idleConf.IsCoreBinding(event):
495 #this is a core keybinding
496 self.AddChangedItem('keys',keySet,event,value)
497 else: #this is an extension key binding
498 extName=idleConf.GetExtnNameForEvent(event)
499 extKeybindSection=extName+'_cfgBindings'
500 self.AddChangedItem('extensions',extKeybindSection,event,value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000501
Steven M. Gava052937f2002-02-11 02:20:53 +0000502 def VarChanged_builtinKeys(self,*params):
503 value=self.builtinKeys.get()
504 self.AddChangedItem('main','Keys','name',value)
505 self.LoadKeysList(value)
506
507 def VarChanged_customKeys(self,*params):
508 value=self.customKeys.get()
Steven M. Gava49745752002-02-18 01:43:11 +0000509 if value != '- no custom keys -':
510 self.AddChangedItem('main','Keys','name',value)
511 self.LoadKeysList(value)
Steven M. Gava052937f2002-02-11 02:20:53 +0000512
513 def VarChanged_keysAreBuiltin(self,*params):
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000514 value=self.keysAreBuiltin.get()
Steven M. Gava052937f2002-02-11 02:20:53 +0000515 self.AddChangedItem('main','Keys','default',value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000516 if value:
Steven M. Gavaf31eec02002-03-05 00:25:58 +0000517 self.VarChanged_builtinKeys()
Steven M. Gava052937f2002-02-11 02:20:53 +0000518 else:
Steven M. Gavaf31eec02002-03-05 00:25:58 +0000519 self.VarChanged_customKeys()
Steven M. Gava052937f2002-02-11 02:20:53 +0000520
Steven M. Gavac112cd82002-01-22 05:56:40 +0000521 def VarChanged_winWidth(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000522 value=self.winWidth.get()
523 self.AddChangedItem('main','EditorWindow','width',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000524
525 def VarChanged_winHeight(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000526 value=self.winHeight.get()
527 self.AddChangedItem('main','EditorWindow','height',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000528
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000529 def VarChanged_paraWidth(self,*params):
530 value=self.paraWidth.get()
531 self.AddChangedItem('main','FormatParagraph','paragraph',value)
532
Steven M. Gavac112cd82002-01-22 05:56:40 +0000533 def VarChanged_startupEdit(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000534 value=self.startupEdit.get()
535 self.AddChangedItem('main','General','editor-on-startup',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000536
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000537 def VarChanged_autoSave(self,*params):
538 value=self.autoSave.get()
539 self.AddChangedItem('main','General','autosave',value)
540
Kurt B. Kaisera053f332003-05-10 00:49:56 +0000541 def VarChanged_encoding(self,*params):
542 value=self.encoding.get()
543 self.AddChangedItem('main','EditorWindow','encoding',value)
544
Steven M. Gavaa498af22002-02-01 01:33:36 +0000545 def ResetChangedItems(self):
Steven M. Gavab77d3432002-03-02 07:16:21 +0000546 #When any config item is changed in this dialog, an entry
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000547 #should be made in the relevant section (config type) of this
548 #dictionary. The key should be the config file section name and the
Steven M. Gavaa498af22002-02-01 01:33:36 +0000549 #value a dictionary, whose key:value pairs are item=value pairs for
550 #that config file section.
551 self.changedItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
552
Steven M. Gavac112cd82002-01-22 05:56:40 +0000553 def AddChangedItem(self,type,section,item,value):
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000554 value=str(value) #make sure we use a string
Steven M. Gavac112cd82002-01-22 05:56:40 +0000555 if not self.changedItems[type].has_key(section):
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000556 self.changedItems[type][section]={}
Steven M. Gavac112cd82002-01-22 05:56:40 +0000557 self.changedItems[type][section][item]=value
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000558
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000559 def GetDefaultItems(self):
560 dItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
561 for configType in dItems.keys():
562 sections=idleConf.GetSectionList('default',configType)
563 for section in sections:
564 dItems[configType][section]={}
565 options=idleConf.defaultCfg[configType].GetOptionList(section)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000566 for option in options:
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000567 dItems[configType][section][option]=(
568 idleConf.defaultCfg[configType].Get(section,option))
569 return dItems
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000570
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000571 def SetThemeType(self):
572 if self.themeIsBuiltin.get():
573 self.optMenuThemeBuiltin.config(state=NORMAL)
574 self.optMenuThemeCustom.config(state=DISABLED)
575 self.buttonDeleteCustomTheme.config(state=DISABLED)
576 else:
577 self.optMenuThemeBuiltin.config(state=DISABLED)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000578 self.radioThemeCustom.config(state=NORMAL)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000579 self.optMenuThemeCustom.config(state=NORMAL)
580 self.buttonDeleteCustomTheme.config(state=NORMAL)
581
582 def SetKeysType(self):
Steven M. Gava052937f2002-02-11 02:20:53 +0000583 if self.keysAreBuiltin.get():
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000584 self.optMenuKeysBuiltin.config(state=NORMAL)
585 self.optMenuKeysCustom.config(state=DISABLED)
586 self.buttonDeleteCustomKeys.config(state=DISABLED)
587 else:
588 self.optMenuKeysBuiltin.config(state=DISABLED)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000589 self.radioKeysCustom.config(state=NORMAL)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000590 self.optMenuKeysCustom.config(state=NORMAL)
591 self.buttonDeleteCustomKeys.config(state=NORMAL)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000592
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000593 def GetNewKeys(self):
594 listIndex=self.listBindings.index(ANCHOR)
595 binding=self.listBindings.get(listIndex)
596 bindName=binding.split()[0] #first part, up to first space
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000597 if self.keysAreBuiltin.get():
Steven M. Gavae28ee752002-02-11 03:45:22 +0000598 currentKeySetName=self.builtinKeys.get()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000599 else:
Steven M. Gavae28ee752002-02-11 03:45:22 +0000600 currentKeySetName=self.customKeys.get()
601 currentBindings=idleConf.GetCurrentKeySet()
602 if currentKeySetName in self.changedItems['keys'].keys(): #unsaved changes
603 keySetChanges=self.changedItems['keys'][currentKeySetName]
604 for event in keySetChanges.keys():
605 currentBindings[event]=keySetChanges[event].split()
606 currentKeySequences=currentBindings.values()
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000607 newKeys=GetKeysDialog(self,'Get New Keys',bindName,
608 currentKeySequences).result
609 if newKeys: #new keys were specified
Steven M. Gava052937f2002-02-11 02:20:53 +0000610 if self.keysAreBuiltin.get(): #current key set is a built-in
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000611 message=('Your changes will be saved as a new Custom Key Set. '+
612 'Enter a name for your new Custom Key Set below.')
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000613 newKeySet=self.GetNewKeysName(message)
614 if not newKeySet: #user cancelled custom key set creation
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000615 self.listBindings.select_set(listIndex)
616 self.listBindings.select_anchor(listIndex)
617 return
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000618 else: #create new custom key set based on previously active key set
619 self.CreateNewKeySet(newKeySet)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000620 self.listBindings.delete(listIndex)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000621 self.listBindings.insert(listIndex,bindName+' - '+newKeys)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000622 self.listBindings.select_set(listIndex)
623 self.listBindings.select_anchor(listIndex)
Steven M. Gava052937f2002-02-11 02:20:53 +0000624 self.keyBinding.set(newKeys)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000625 else:
626 self.listBindings.select_set(listIndex)
627 self.listBindings.select_anchor(listIndex)
628
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000629 def GetNewKeysName(self,message):
Steven M. Gava49745752002-02-18 01:43:11 +0000630 usedNames=(idleConf.GetSectionList('user','keys')+
631 idleConf.GetSectionList('default','keys'))
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000632 newKeySet=GetCfgSectionNameDialog(self,'New Custom Key Set',
633 message,usedNames).result
634 return newKeySet
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000635
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000636 def SaveAsNewKeySet(self):
637 newKeysName=self.GetNewKeysName('New Key Set Name:')
638 if newKeysName:
639 self.CreateNewKeySet(newKeysName)
640
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000641 def KeyBindingSelected(self,event):
642 self.buttonNewKeys.config(state=NORMAL)
643
644 def CreateNewKeySet(self,newKeySetName):
645 #creates new custom key set based on the previously active key set,
646 #and makes the new key set active
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000647 if self.keysAreBuiltin.get():
Steven M. Gava052937f2002-02-11 02:20:53 +0000648 prevKeySetName=self.builtinKeys.get()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000649 else:
Steven M. Gava052937f2002-02-11 02:20:53 +0000650 prevKeySetName=self.customKeys.get()
Steven M. Gava052937f2002-02-11 02:20:53 +0000651 prevKeys=idleConf.GetCoreKeys(prevKeySetName)
Steven M. Gava052937f2002-02-11 02:20:53 +0000652 newKeys={}
653 for event in prevKeys.keys(): #add key set to changed items
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000654 eventName=event[2:-2] #trim off the angle brackets
Steven M. Gava052937f2002-02-11 02:20:53 +0000655 binding=string.join(prevKeys[event])
656 newKeys[eventName]=binding
Steven M. Gava052937f2002-02-11 02:20:53 +0000657 #handle any unsaved changes to prev key set
658 if prevKeySetName in self.changedItems['keys'].keys():
659 keySetChanges=self.changedItems['keys'][prevKeySetName]
660 for event in keySetChanges.keys():
661 newKeys[event]=keySetChanges[event]
Steven M. Gava052937f2002-02-11 02:20:53 +0000662 #save the new theme
663 self.SaveNewKeySet(newKeySetName,newKeys)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000664 #change gui over to the new key set
665 customKeyList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000666 customKeyList.sort()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000667 self.optMenuKeysCustom.SetMenu(customKeyList,newKeySetName)
Steven M. Gava052937f2002-02-11 02:20:53 +0000668 self.keysAreBuiltin.set(0)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000669 self.SetKeysType()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000670
Steven M. Gava052937f2002-02-11 02:20:53 +0000671 def LoadKeysList(self,keySetName):
672 reselect=0
673 newKeySet=0
674 if self.listBindings.curselection():
675 reselect=1
676 listIndex=self.listBindings.index(ANCHOR)
Steven M. Gava052937f2002-02-11 02:20:53 +0000677 keySet=idleConf.GetKeySet(keySetName)
Steven M. Gava052937f2002-02-11 02:20:53 +0000678 bindNames=keySet.keys()
679 bindNames.sort()
680 self.listBindings.delete(0,END)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000681 for bindName in bindNames:
Steven M. Gava052937f2002-02-11 02:20:53 +0000682 key=string.join(keySet[bindName]) #make key(s) into a string
683 bindName=bindName[2:-2] #trim off the angle brackets
Steven M. Gava052937f2002-02-11 02:20:53 +0000684 if keySetName in self.changedItems['keys'].keys():
685 #handle any unsaved changes to this key set
686 if bindName in self.changedItems['keys'][keySetName].keys():
687 key=self.changedItems['keys'][keySetName][bindName]
Steven M. Gava052937f2002-02-11 02:20:53 +0000688 self.listBindings.insert(END, bindName+' - '+key)
Steven M. Gava052937f2002-02-11 02:20:53 +0000689 if reselect:
690 self.listBindings.see(listIndex)
691 self.listBindings.select_set(listIndex)
692 self.listBindings.select_anchor(listIndex)
693
Steven M. Gava49745752002-02-18 01:43:11 +0000694 def DeleteCustomKeys(self):
695 keySetName=self.customKeys.get()
696 if not tkMessageBox.askyesno('Delete Key Set','Are you sure you wish '+
Walter Dörwald70a6b492004-02-12 17:35:32 +0000697 'to delete the key set %r ?' % (keySetName),
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000698 parent=self):
Steven M. Gava49745752002-02-18 01:43:11 +0000699 return
700 #remove key set from config
701 idleConf.userCfg['keys'].remove_section(keySetName)
702 if self.changedItems['keys'].has_key(keySetName):
703 del(self.changedItems['keys'][keySetName])
704 #write changes
705 idleConf.userCfg['keys'].Save()
706 #reload user key set list
707 itemList=idleConf.GetSectionList('user','keys')
708 itemList.sort()
709 if not itemList:
710 self.radioKeysCustom.config(state=DISABLED)
711 self.optMenuKeysCustom.SetMenu(itemList,'- no custom keys -')
712 else:
713 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
714 #revert to default key set
715 self.keysAreBuiltin.set(idleConf.defaultCfg['main'].Get('Keys','default'))
716 self.builtinKeys.set(idleConf.defaultCfg['main'].Get('Keys','name'))
717 #user can't back out of these changes, they must be applied now
718 self.Apply()
719 self.SetKeysType()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000720
Steven M. Gava49745752002-02-18 01:43:11 +0000721 def DeleteCustomTheme(self):
722 themeName=self.customTheme.get()
723 if not tkMessageBox.askyesno('Delete Theme','Are you sure you wish '+
Walter Dörwald70a6b492004-02-12 17:35:32 +0000724 'to delete the theme %r ?' % (themeName,),
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000725 parent=self):
Steven M. Gava49745752002-02-18 01:43:11 +0000726 return
727 #remove theme from config
728 idleConf.userCfg['highlight'].remove_section(themeName)
729 if self.changedItems['highlight'].has_key(themeName):
730 del(self.changedItems['highlight'][themeName])
731 #write changes
732 idleConf.userCfg['highlight'].Save()
733 #reload user theme list
734 itemList=idleConf.GetSectionList('user','highlight')
735 itemList.sort()
736 if not itemList:
737 self.radioThemeCustom.config(state=DISABLED)
738 self.optMenuThemeCustom.SetMenu(itemList,'- no custom themes -')
739 else:
740 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
741 #revert to default theme
742 self.themeIsBuiltin.set(idleConf.defaultCfg['main'].Get('Theme','default'))
743 self.builtinTheme.set(idleConf.defaultCfg['main'].Get('Theme','name'))
744 #user can't back out of these changes, they must be applied now
745 self.Apply()
746 self.SetThemeType()
747
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000748 def GetColour(self):
749 target=self.highlightTarget.get()
Steven M. Gava052937f2002-02-11 02:20:53 +0000750 prevColour=self.frameColourSet.cget('bg')
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000751 rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
Steven M. Gava052937f2002-02-11 02:20:53 +0000752 title='Pick new colour for : '+target,initialcolor=prevColour)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000753 if colourString and (colourString!=prevColour):
Steven M. Gava052937f2002-02-11 02:20:53 +0000754 #user didn't cancel, and they chose a new colour
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000755 if self.themeIsBuiltin.get(): #current theme is a built-in
756 message=('Your changes will be saved as a new Custom Theme. '+
757 'Enter a name for your new Custom Theme below.')
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000758 newTheme=self.GetNewThemeName(message)
759 if not newTheme: #user cancelled custom theme creation
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000760 return
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000761 else: #create new custom theme based on previously active theme
762 self.CreateNewTheme(newTheme)
Steven M. Gava052937f2002-02-11 02:20:53 +0000763 self.colour.set(colourString)
764 else: #current theme is user defined
765 self.colour.set(colourString)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000766
Steven M. Gava052937f2002-02-11 02:20:53 +0000767 def OnNewColourSet(self):
768 newColour=self.colour.get()
769 self.frameColourSet.config(bg=newColour)#set sample
770 if self.fgHilite.get(): plane='foreground'
771 else: plane='background'
772 sampleElement=self.themeElements[self.highlightTarget.get()][0]
Raymond Hettinger931237e2003-07-09 18:48:24 +0000773 self.textHighlightSample.tag_config(sampleElement, **{plane:newColour})
Steven M. Gava052937f2002-02-11 02:20:53 +0000774 theme=self.customTheme.get()
775 themeElement=sampleElement+'-'+plane
776 self.AddChangedItem('highlight',theme,themeElement,newColour)
Steven M. Gava052937f2002-02-11 02:20:53 +0000777
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000778 def GetNewThemeName(self,message):
Steven M. Gava49745752002-02-18 01:43:11 +0000779 usedNames=(idleConf.GetSectionList('user','highlight')+
780 idleConf.GetSectionList('default','highlight'))
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000781 newTheme=GetCfgSectionNameDialog(self,'New Custom Theme',
782 message,usedNames).result
783 return newTheme
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000784
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000785 def SaveAsNewTheme(self):
786 newThemeName=self.GetNewThemeName('New Theme Name:')
787 if newThemeName:
788 self.CreateNewTheme(newThemeName)
789
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000790 def CreateNewTheme(self,newThemeName):
791 #creates new custom theme based on the previously active theme,
792 #and makes the new theme active
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000793 if self.themeIsBuiltin.get():
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000794 themeType='default'
795 themeName=self.builtinTheme.get()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000796 else:
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000797 themeType='user'
798 themeName=self.customTheme.get()
799 newTheme=idleConf.GetThemeDict(themeType,themeName)
Steven M. Gava052937f2002-02-11 02:20:53 +0000800 #apply any of the old theme's unsaved changes to the new theme
801 if themeName in self.changedItems['highlight'].keys():
802 themeChanges=self.changedItems['highlight'][themeName]
803 for element in themeChanges.keys():
804 newTheme[element]=themeChanges[element]
805 #save the new theme
806 self.SaveNewTheme(newThemeName,newTheme)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000807 #change gui over to the new theme
808 customThemeList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000809 customThemeList.sort()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000810 self.optMenuThemeCustom.SetMenu(customThemeList,newThemeName)
811 self.themeIsBuiltin.set(0)
812 self.SetThemeType()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000813
Steven M. Gavac112cd82002-01-22 05:56:40 +0000814 def OnListFontButtonRelease(self,event):
Kurt B. Kaiser05391692003-05-26 20:35:53 +0000815 font = self.listFontName.get(ANCHOR)
816 self.fontName.set(font.lower())
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000817 self.SetFontSample()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000818
Steven M. Gavac112cd82002-01-22 05:56:40 +0000819 def SetFontSample(self,event=None):
820 fontName=self.fontName.get()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000821 if self.fontBold.get():
Steven M. Gavac112cd82002-01-22 05:56:40 +0000822 fontWeight=tkFont.BOLD
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000823 else:
Steven M. Gavac112cd82002-01-22 05:56:40 +0000824 fontWeight=tkFont.NORMAL
825 self.editFont.config(size=self.fontSize.get(),
826 weight=fontWeight,family=fontName)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000827
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000828 def SetHighlightTarget(self):
829 if self.highlightTarget.get()=='Cursor': #bg not possible
830 self.radioFg.config(state=DISABLED)
831 self.radioBg.config(state=DISABLED)
832 self.fgHilite.set(1)
833 else: #both fg and bg can be set
834 self.radioFg.config(state=NORMAL)
835 self.radioBg.config(state=NORMAL)
836 self.fgHilite.set(1)
837 self.SetColourSample()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000838
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000839 def SetColourSampleBinding(self,*args):
840 self.SetColourSample()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000841
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000842 def SetColourSample(self):
843 #set the colour smaple area
844 tag=self.themeElements[self.highlightTarget.get()][0]
845 if self.fgHilite.get(): plane='foreground'
846 else: plane='background'
847 colour=self.textHighlightSample.tag_cget(tag,plane)
848 self.frameColourSet.config(bg=colour)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000849
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000850 def PaintThemeSample(self):
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000851 if self.themeIsBuiltin.get(): #a default theme
Steven M. Gava99300612001-11-04 07:03:08 +0000852 theme=self.builtinTheme.get()
853 else: #a user theme
854 theme=self.customTheme.get()
Steven M. Gava052937f2002-02-11 02:20:53 +0000855 for elementTitle in self.themeElements.keys():
856 element=self.themeElements[elementTitle][0]
857 colours=idleConf.GetHighlight(theme,element)
858 if element=='cursor': #cursor sample needs special painting
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000859 colours['background']=idleConf.GetHighlight(theme,
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000860 'normal', fgBg='bg')
Steven M. Gava052937f2002-02-11 02:20:53 +0000861 #handle any unsaved changes to this theme
862 if theme in self.changedItems['highlight'].keys():
863 themeDict=self.changedItems['highlight'][theme]
864 if themeDict.has_key(element+'-foreground'):
865 colours['foreground']=themeDict[element+'-foreground']
866 if themeDict.has_key(element+'-background'):
867 colours['background']=themeDict[element+'-background']
Raymond Hettinger931237e2003-07-09 18:48:24 +0000868 self.textHighlightSample.tag_config(element, **colours)
Steven M. Gava052937f2002-02-11 02:20:53 +0000869 self.SetColourSample()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000870
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000871 def HelpSourceSelected(self,event):
872 self.SetHelpListButtonStates()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000873
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000874 def SetHelpListButtonStates(self):
875 if self.listHelp.size()<1: #no entries in list
876 self.buttonHelpListEdit.config(state=DISABLED)
877 self.buttonHelpListRemove.config(state=DISABLED)
878 else: #there are some entries
879 if self.listHelp.curselection(): #there currently is a selection
880 self.buttonHelpListEdit.config(state=NORMAL)
881 self.buttonHelpListRemove.config(state=NORMAL)
882 else: #there currently is not a selection
883 self.buttonHelpListEdit.config(state=DISABLED)
884 self.buttonHelpListRemove.config(state=DISABLED)
885
886 def HelpListItemAdd(self):
887 helpSource=GetHelpSourceDialog(self,'New Help Source').result
888 if helpSource:
889 self.userHelpList.append( (helpSource[0],helpSource[1]) )
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000890 self.listHelp.insert(END,helpSource[0])
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000891 self.UpdateUserHelpChangedItems()
892 self.SetHelpListButtonStates()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000893
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000894 def HelpListItemEdit(self):
895 itemIndex=self.listHelp.index(ANCHOR)
896 helpSource=self.userHelpList[itemIndex]
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +0000897 newHelpSource=GetHelpSourceDialog(self,'Edit Help Source',
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000898 menuItem=helpSource[0],filePath=helpSource[1]).result
899 if (not newHelpSource) or (newHelpSource==helpSource):
900 return #no changes
901 self.userHelpList[itemIndex]=newHelpSource
902 self.listHelp.delete(itemIndex)
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000903 self.listHelp.insert(itemIndex,newHelpSource[0])
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000904 self.UpdateUserHelpChangedItems()
905 self.SetHelpListButtonStates()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000906
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000907 def HelpListItemRemove(self):
908 itemIndex=self.listHelp.index(ANCHOR)
909 del(self.userHelpList[itemIndex])
910 self.listHelp.delete(itemIndex)
911 self.UpdateUserHelpChangedItems()
912 self.SetHelpListButtonStates()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000913
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000914 def UpdateUserHelpChangedItems(self):
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000915 "Clear and rebuild the HelpFiles section in self.changedItems"
916 self.changedItems['main']['HelpFiles'] = {}
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000917 for num in range(1,len(self.userHelpList)+1):
918 self.AddChangedItem('main','HelpFiles',str(num),
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000919 string.join(self.userHelpList[num-1][:2],';'))
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000920
Steven M. Gava429a86a2001-10-23 10:42:12 +0000921 def LoadFontCfg(self):
922 ##base editor font selection list
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000923 fonts=list(tkFont.families(self))
924 fonts.sort()
925 for font in fonts:
926 self.listFontName.insert(END,font)
Steven M. Gava485f7b62001-10-26 06:47:09 +0000927 configuredFont=idleConf.GetOption('main','EditorWindow','font',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000928 default='courier')
Kurt B. Kaiser05391692003-05-26 20:35:53 +0000929 lc_configuredFont = configuredFont.lower()
930 self.fontName.set(lc_configuredFont)
931 lc_fonts = [s.lower() for s in fonts]
932 if lc_configuredFont in lc_fonts:
933 currentFontIndex = lc_fonts.index(lc_configuredFont)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000934 self.listFontName.see(currentFontIndex)
935 self.listFontName.select_set(currentFontIndex)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000936 self.listFontName.select_anchor(currentFontIndex)
Steven M. Gava429a86a2001-10-23 10:42:12 +0000937 ##font size dropdown
Steven M. Gavac112cd82002-01-22 05:56:40 +0000938 fontSize=idleConf.GetOption('main','EditorWindow','font-size',
Kurt B. Kaiser05391692003-05-26 20:35:53 +0000939 default='10')
Chui Teya178cff2002-11-04 03:17:45 +0000940 self.optMenuFontSize.SetMenu(('7','8','9','10','11','12','13','14',
Steven M. Gava485f7b62001-10-26 06:47:09 +0000941 '16','18','20','22'),fontSize )
Steven M. Gavac112cd82002-01-22 05:56:40 +0000942 ##fontWeight
943 self.fontBold.set(idleConf.GetOption('main','EditorWindow',
944 'font-bold',default=0,type='bool'))
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000945 ##font sample
Steven M. Gava429a86a2001-10-23 10:42:12 +0000946 self.SetFontSample()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000947
Steven M. Gava429a86a2001-10-23 10:42:12 +0000948 def LoadTabCfg(self):
Steven M. Gava429a86a2001-10-23 10:42:12 +0000949 ##indent sizes
Steven M. Gava485f7b62001-10-26 06:47:09 +0000950 spaceNum=idleConf.GetOption('main','Indent','num-spaces',
Steven M. Gava429a86a2001-10-23 10:42:12 +0000951 default=4,type='int')
Steven M. Gava429a86a2001-10-23 10:42:12 +0000952 self.spaceNum.set(spaceNum)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000953
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000954 def LoadThemeCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000955 ##current theme type radiobutton
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000956 self.themeIsBuiltin.set(idleConf.GetOption('main','Theme','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000957 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000958 ##currently set theme
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000959 currentOption=idleConf.CurrentTheme()
Steven M. Gava7c017862001-10-29 11:19:46 +0000960 ##load available theme option menus
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000961 if self.themeIsBuiltin.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000962 itemList=idleConf.GetSectionList('default','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000963 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000964 self.optMenuThemeBuiltin.SetMenu(itemList,currentOption)
965 itemList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000966 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000967 if not itemList:
968 self.radioThemeCustom.config(state=DISABLED)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000969 self.customTheme.set('- no custom themes -')
Steven M. Gava41a85322001-10-29 08:05:34 +0000970 else:
971 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000972 else: #user theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000973 itemList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000974 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000975 self.optMenuThemeCustom.SetMenu(itemList,currentOption)
976 itemList=idleConf.GetSectionList('default','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000977 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000978 self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
Steven M. Gava7c017862001-10-29 11:19:46 +0000979 self.SetThemeType()
980 ##load theme element option menu
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000981 themeNames=self.themeElements.keys()
982 themeNames.sort(self.__ThemeNameIndexCompare)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000983 self.optMenuHighlightTarget.SetMenu(themeNames,themeNames[0])
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000984 self.PaintThemeSample()
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000985 self.SetHighlightTarget()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000986
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000987 def __ThemeNameIndexCompare(self,a,b):
988 if self.themeElements[a][1]<self.themeElements[b][1]: return -1
989 elif self.themeElements[a][1]==self.themeElements[b][1]: return 0
990 else: return 1
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000991
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000992 def LoadKeyCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000993 ##current keys type radiobutton
Steven M. Gava052937f2002-02-11 02:20:53 +0000994 self.keysAreBuiltin.set(idleConf.GetOption('main','Keys','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000995 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000996 ##currently set keys
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000997 currentOption=idleConf.CurrentKeys()
Steven M. Gava7c017862001-10-29 11:19:46 +0000998 ##load available keyset option menus
Steven M. Gava052937f2002-02-11 02:20:53 +0000999 if self.keysAreBuiltin.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +00001000 itemList=idleConf.GetSectionList('default','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +00001001 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +00001002 self.optMenuKeysBuiltin.SetMenu(itemList,currentOption)
1003 itemList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +00001004 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +00001005 if not itemList:
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001006 self.radioKeysCustom.config(state=DISABLED)
1007 self.customKeys.set('- no custom keys -')
Steven M. Gava41a85322001-10-29 08:05:34 +00001008 else:
1009 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
Steven M. Gavaa498af22002-02-01 01:33:36 +00001010 else: #user key set selected
Steven M. Gava41a85322001-10-29 08:05:34 +00001011 itemList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +00001012 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +00001013 self.optMenuKeysCustom.SetMenu(itemList,currentOption)
1014 itemList=idleConf.GetSectionList('default','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +00001015 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +00001016 self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0])
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001017 self.SetKeysType()
Steven M. Gavafacfc092002-01-19 00:29:54 +00001018 ##load keyset element list
Steven M. Gava052937f2002-02-11 02:20:53 +00001019 keySetName=idleConf.CurrentKeys()
1020 self.LoadKeysList(keySetName)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001021
Steven M. Gavafacfc092002-01-19 00:29:54 +00001022 def LoadGeneralCfg(self):
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001023 #startup state
1024 self.startupEdit.set(idleConf.GetOption('main','General',
1025 'editor-on-startup',default=1,type='bool'))
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +00001026 #autosave state
1027 self.autoSave.set(idleConf.GetOption('main', 'General', 'autosave',
1028 default=0, type='bool'))
Steven M. Gavafacfc092002-01-19 00:29:54 +00001029 #initial window size
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001030 self.winWidth.set(idleConf.GetOption('main','EditorWindow','width'))
Steven M. Gavafacfc092002-01-19 00:29:54 +00001031 self.winHeight.set(idleConf.GetOption('main','EditorWindow','height'))
Raymond Hettinger4e49b832004-06-04 06:31:08 +00001032 #initial paragraph reformat size
1033 self.paraWidth.set(idleConf.GetOption('main','FormatParagraph','paragraph'))
Kurt B. Kaisera053f332003-05-10 00:49:56 +00001034 # default source encoding
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +00001035 self.encoding.set(idleConf.GetOption('main', 'EditorWindow',
1036 'encoding', default='none'))
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +00001037 # additional help sources
1038 self.userHelpList = idleConf.GetAllExtraHelpSourcesList()
Steven M. Gava085eb1b2002-02-05 04:52:32 +00001039 for helpItem in self.userHelpList:
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +00001040 self.listHelp.insert(END,helpItem[0])
Steven M. Gava085eb1b2002-02-05 04:52:32 +00001041 self.SetHelpListButtonStates()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001042
Steven M. Gava429a86a2001-10-23 10:42:12 +00001043 def LoadConfigs(self):
1044 """
1045 load configuration from default and user config files and populate
1046 the widgets on the config dialog pages.
1047 """
1048 ### fonts / tabs page
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001049 self.LoadFontCfg()
1050 self.LoadTabCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +00001051 ### highlighting page
Steven M. Gava9dd16b32001-11-03 14:54:25 +00001052 self.LoadThemeCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +00001053 ### keys page
Steven M. Gava9dd16b32001-11-03 14:54:25 +00001054 self.LoadKeyCfg()
Steven M. Gava429a86a2001-10-23 10:42:12 +00001055 ### general page
Steven M. Gavafacfc092002-01-19 00:29:54 +00001056 self.LoadGeneralCfg()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001057
Steven M. Gava052937f2002-02-11 02:20:53 +00001058 def SaveNewKeySet(self,keySetName,keySet):
1059 """
1060 save a newly created core key set.
1061 keySetName - string, the name of the new key set
1062 keySet - dictionary containing the new key set
1063 """
1064 if not idleConf.userCfg['keys'].has_section(keySetName):
1065 idleConf.userCfg['keys'].add_section(keySetName)
1066 for event in keySet.keys():
1067 value=keySet[event]
1068 idleConf.userCfg['keys'].SetOption(keySetName,event,value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001069
Steven M. Gava052937f2002-02-11 02:20:53 +00001070 def SaveNewTheme(self,themeName,theme):
1071 """
1072 save a newly created theme.
1073 themeName - string, the name of the new theme
1074 theme - dictionary containing the new theme
1075 """
1076 if not idleConf.userCfg['highlight'].has_section(themeName):
1077 idleConf.userCfg['highlight'].add_section(themeName)
1078 for element in theme.keys():
1079 value=theme[element]
1080 idleConf.userCfg['highlight'].SetOption(themeName,element,value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001081
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +00001082 def SetUserValue(self,configType,section,item,value):
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +00001083 if idleConf.defaultCfg[configType].has_option(section,item):
1084 if idleConf.defaultCfg[configType].Get(section,item)==value:
1085 #the setting equals a default setting, remove it from user cfg
1086 return idleConf.userCfg[configType].RemoveOption(section,item)
1087 #if we got here set the option
1088 return idleConf.userCfg[configType].SetOption(section,item,value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001089
Steven M. Gava052937f2002-02-11 02:20:53 +00001090 def SaveAllChangedConfigs(self):
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +00001091 "Save configuration changes to the user config file."
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +00001092 idleConf.userCfg['main'].Save()
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001093 for configType in self.changedItems.keys():
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +00001094 cfgTypeHasChanges = False
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001095 for section in self.changedItems[configType].keys():
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +00001096 if section == 'HelpFiles':
1097 #this section gets completely replaced
1098 idleConf.userCfg['main'].remove_section('HelpFiles')
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +00001099 cfgTypeHasChanges = True
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001100 for item in self.changedItems[configType][section].keys():
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +00001101 value = self.changedItems[configType][section][item]
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +00001102 if self.SetUserValue(configType,section,item,value):
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +00001103 cfgTypeHasChanges = True
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001104 if cfgTypeHasChanges:
1105 idleConf.userCfg[configType].Save()
Kurt B. Kaiser5acdf932004-11-16 21:28:36 +00001106 for configType in ['keys', 'highlight']:
1107 # save these even if unchanged!
1108 idleConf.userCfg[configType].Save()
Steven M. Gavaa498af22002-02-01 01:33:36 +00001109 self.ResetChangedItems() #clear the changed items dict
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001110
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00001111 def DeactivateCurrentConfig(self):
1112 #Before a config is saved, some cleanup of current
1113 #config must be done - remove the previous keybindings
1114 winInstances=self.parent.instance_dict.keys()
1115 for instance in winInstances:
1116 instance.RemoveKeybindings()
1117
Steven M. Gava49745752002-02-18 01:43:11 +00001118 def ActivateConfigChanges(self):
Kurt B. Kaiseracdef852005-01-31 03:34:26 +00001119 "Dynamically apply configuration changes"
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +00001120 winInstances=self.parent.instance_dict.keys()
Steven M. Gavab77d3432002-03-02 07:16:21 +00001121 for instance in winInstances:
1122 instance.ResetColorizer()
Steven M. Gavab1585412002-03-12 00:21:56 +00001123 instance.ResetFont()
Kurt B. Kaiseracdef852005-01-31 03:34:26 +00001124 instance.set_notabs_indentwidth()
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00001125 instance.ApplyKeybindings()
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +00001126 instance.reset_help_menu_entries()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001127
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001128 def Cancel(self):
1129 self.destroy()
1130
1131 def Ok(self):
1132 self.Apply()
1133 self.destroy()
1134
1135 def Apply(self):
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00001136 self.DeactivateCurrentConfig()
Steven M. Gava052937f2002-02-11 02:20:53 +00001137 self.SaveAllChangedConfigs()
Steven M. Gava49745752002-02-18 01:43:11 +00001138 self.ActivateConfigChanges()
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001139
1140 def Help(self):
Steven M. Gavac11ccf32001-09-24 09:43:17 +00001141 pass
1142
Steven M. Gava44d3d1a2001-07-31 06:59:02 +00001143if __name__ == '__main__':
Steven M. Gavad721c482001-07-31 10:46:53 +00001144 #test the dialog
1145 root=Tk()
1146 Button(root,text='Dialog',
Steven M. Gava3b55a892001-11-21 05:56:26 +00001147 command=lambda:ConfigDialog(root,'Settings')).pack()
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +00001148 root.instance_dict={}
Steven M. Gavad721c482001-07-31 10:46:53 +00001149 root.mainloop()