blob: 20ed8278b535cd0c02e5aa8873d3993062dcf8cb [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"""
Georg Brandl14fc4272008-05-17 18:39:55 +000012from tkinter import *
13import tkinter.messagebox as tkMessageBox
14import tkinter.colorchooser as tkColorChooser
15import tkinter.font as tkFont
Neal Norwitz9d72bb42007-04-17 08:48:32 +000016import copy
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000017
Kurt B. Kaiser2d7f6a02007-08-22 23:01:33 +000018from idlelib.configHandler import idleConf
19from idlelib.dynOptionMenuWidget import DynOptionMenu
Guido van Rossum8ce8a782007-11-01 19:42:39 +000020from idlelib.tabbedpages import TabbedPageSet
Kurt B. Kaiser2d7f6a02007-08-22 23:01:33 +000021from idlelib.keybindingDialog import GetKeysDialog
22from idlelib.configSectionNameDialog import GetCfgSectionNameDialog
23from idlelib.configHelpSourceEdit import GetHelpSourceDialog
Ronald Oussoren9e350042009-02-12 16:02:11 +000024from idlelib import macosxSupport
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +000025
Steven M. Gava44d3d1a2001-07-31 06:59:02 +000026class ConfigDialog(Toplevel):
Kurt B. Kaiseracdef852005-01-31 03:34:26 +000027
Steven M. Gava3b55a892001-11-21 05:56:26 +000028 def __init__(self,parent,title):
Steven M. Gavad721c482001-07-31 10:46:53 +000029 Toplevel.__init__(self, parent)
Guido van Rossum8ce8a782007-11-01 19:42:39 +000030 self.wm_withdraw()
31
Steven M. Gavad721c482001-07-31 10:46:53 +000032 self.configure(borderwidth=5)
33 self.geometry("+%d+%d" % (parent.winfo_rootx()+20,
34 parent.winfo_rooty()+30))
Georg Brandl7eb4b7d2005-07-22 21:49:32 +000035 #Theme Elements. Each theme element key is its display name.
Steven M. Gava9dd16b32001-11-03 14:54:25 +000036 #The first value of the tuple is the sample area tag name.
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +000037 #The second value is the display name list sort index.
Steven M. Gavaad4f5322002-01-03 12:05:17 +000038 self.themeElements={'Normal Text':('normal','00'),
39 'Python Keywords':('keyword','01'),
40 'Python Definitions':('definition','02'),
Kurt B. Kaiser73360a32004-03-08 18:15:31 +000041 'Python Builtins':('builtin', '03'),
42 'Python Comments':('comment','04'),
43 'Python Strings':('string','05'),
44 'Selected Text':('hilite','06'),
45 'Found Text':('hit','07'),
46 'Cursor':('cursor','08'),
47 'Error Text':('error','09'),
48 'Shell Normal Text':('console','10'),
49 'Shell Stdout Text':('stdout','11'),
50 'Shell Stderr Text':('stderr','12'),
51 }
Steven M. Gavaa498af22002-02-01 01:33:36 +000052 self.ResetChangedItems() #load initial values in changed items dict
Steven M. Gavad721c482001-07-31 10:46:53 +000053 self.CreateWidgets()
54 self.resizable(height=FALSE,width=FALSE)
Steven M. Gavad721c482001-07-31 10:46:53 +000055 self.transient(parent)
56 self.grab_set()
57 self.protocol("WM_DELETE_WINDOW", self.Cancel)
58 self.parent = parent
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000059 self.tabPages.focus_set()
Steven M. Gavad721c482001-07-31 10:46:53 +000060 #key bindings for this dialog
Steven M. Gava5f28e8f2002-01-21 06:38:21 +000061 #self.bind('<Escape>',self.Cancel) #dismiss dialog, no save
62 #self.bind('<Alt-a>',self.Apply) #apply changes, save
63 #self.bind('<F1>',self.Help) #context help
Steven M. Gava429a86af2001-10-23 10:42:12 +000064 self.LoadConfigs()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +000065 self.AttachVarCallbacks() #avoid callbacks during LoadConfigs
Guido van Rossum8ce8a782007-11-01 19:42:39 +000066
67 self.wm_deiconify()
Steven M. Gavad721c482001-07-31 10:46:53 +000068 self.wait_window()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +000069
Steven M. Gavad721c482001-07-31 10:46:53 +000070 def CreateWidgets(self):
Guido van Rossum8ce8a782007-11-01 19:42:39 +000071 self.tabPages = TabbedPageSet(self,
72 page_names=['Fonts/Tabs','Highlighting','Keys','General'])
73 frameActionButtons = Frame(self,pady=2)
Steven M. Gavad721c482001-07-31 10:46:53 +000074 #action buttons
Ronald Oussoren9e350042009-02-12 16:02:11 +000075
76 if macosxSupport.runningAsOSXApp():
77 # Surpress the padx and pady arguments when
78 # running as IDLE.app, otherwise the text
79 # on these buttons will not be readable.
80 extraKwds={}
81 else:
82 extraKwds=dict(padx=6, pady=3)
83
Steven M. Gava952d0a52001-08-03 04:43:44 +000084 self.buttonHelp = Button(frameActionButtons,text='Help',
Guido van Rossum8ce8a782007-11-01 19:42:39 +000085 command=self.Help,takefocus=FALSE,
Ronald Oussoren9e350042009-02-12 16:02:11 +000086 **extraKwds)
Steven M. Gavac01e30f2001-08-11 15:48:13 +000087 self.buttonOk = Button(frameActionButtons,text='Ok',
Guido van Rossum8ce8a782007-11-01 19:42:39 +000088 command=self.Ok,takefocus=FALSE,
Ronald Oussoren9e350042009-02-12 16:02:11 +000089 **extraKwds)
Steven M. Gavac01e30f2001-08-11 15:48:13 +000090 self.buttonApply = Button(frameActionButtons,text='Apply',
Guido van Rossum8ce8a782007-11-01 19:42:39 +000091 command=self.Apply,takefocus=FALSE,
Ronald Oussoren9e350042009-02-12 16:02:11 +000092 **extraKwds)
Steven M. Gavad721c482001-07-31 10:46:53 +000093 self.buttonCancel = Button(frameActionButtons,text='Cancel',
Guido van Rossum8ce8a782007-11-01 19:42:39 +000094 command=self.Cancel,takefocus=FALSE,
Ronald Oussoren9e350042009-02-12 16:02:11 +000095 **extraKwds)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +000096 self.CreatePageFontTab()
97 self.CreatePageHighlight()
98 self.CreatePageKeys()
99 self.CreatePageGeneral()
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000100 self.buttonHelp.pack(side=RIGHT,padx=5)
101 self.buttonOk.pack(side=LEFT,padx=5)
102 self.buttonApply.pack(side=LEFT,padx=5)
103 self.buttonCancel.pack(side=LEFT,padx=5)
Steven M. Gavad721c482001-07-31 10:46:53 +0000104 frameActionButtons.pack(side=BOTTOM)
Christian Heimes9a371592007-12-28 14:08:13 +0000105 Frame(self, height=2, borderwidth=0).pack(side=BOTTOM)
Steven M. Gava2d4e03b2001-12-05 07:54:07 +0000106 self.tabPages.pack(side=TOP,expand=TRUE,fill=BOTH)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000107
Steven M. Gava60fc7072001-08-04 13:58:22 +0000108 def CreatePageFontTab(self):
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000109 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000110 self.fontSize=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000111 self.fontBold=BooleanVar(self)
112 self.fontName=StringVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000113 self.spaceNum=IntVar(self)
Kurt B. Kaiser05391692003-05-26 20:35:53 +0000114 self.editFont=tkFont.Font(self,('courier',10,'normal'))
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000115 ##widget creation
116 #body frame
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000117 frame=self.tabPages.pages['Fonts/Tabs'].frame
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000118 #body section frames
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000119 frameFont=LabelFrame(frame,borderwidth=2,relief=GROOVE,
120 text=' Base Editor Font ')
121 frameIndent=LabelFrame(frame,borderwidth=2,relief=GROOVE,
122 text=' Indentation Width ')
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000123 #frameFont
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000124 frameFontName=Frame(frameFont)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000125 frameFontParam=Frame(frameFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000126 labelFontNameTitle=Label(frameFontName,justify=LEFT,
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000127 text='Font Face :')
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000128 self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
129 exportselection=FALSE)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000130 self.listFontName.bind('<ButtonRelease-1>',self.OnListFontButtonRelease)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000131 scrollFont=Scrollbar(frameFontName)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000132 scrollFont.config(command=self.listFontName.yview)
133 self.listFontName.config(yscrollcommand=scrollFont.set)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000134 labelFontSizeTitle=Label(frameFontParam,text='Size :')
135 self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000136 command=self.SetFontSample)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000137 checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold,
Steven M. Gavac112cd82002-01-22 05:56:40 +0000138 onvalue=1,offvalue=0,text='Bold',command=self.SetFontSample)
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000139 frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
140 self.labelFontSample=Label(frameFontSample,
141 text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
Steven M. Gava429a86af2001-10-23 10:42:12 +0000142 justify=LEFT,font=self.editFont)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000143 #frameIndent
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000144 frameIndentSize=Frame(frameIndent)
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000145 labelSpaceNumTitle=Label(frameIndentSize, justify=LEFT,
146 text='Python Standard: 4 Spaces!')
147 self.scaleSpaceNum=Scale(frameIndentSize, variable=self.spaceNum,
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000148 orient='horizontal',
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000149 tickinterval=2, from_=2, to=16)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000150 #widget packing
151 #body
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000152 frameFont.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
153 frameIndent.pack(side=LEFT,padx=5,pady=5,fill=Y)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000154 #frameFont
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000155 frameFontName.pack(side=TOP,padx=5,pady=5,fill=X)
156 frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000157 labelFontNameTitle.pack(side=TOP,anchor=W)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000158 self.listFontName.pack(side=LEFT,expand=TRUE,fill=X)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000159 scrollFont.pack(side=LEFT,fill=Y)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000160 labelFontSizeTitle.pack(side=LEFT,anchor=W)
161 self.optMenuFontSize.pack(side=LEFT,anchor=W)
162 checkFontBold.pack(side=LEFT,anchor=W,padx=20)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000163 frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gavac01e30f2001-08-11 15:48:13 +0000164 self.labelFontSample.pack(expand=TRUE,fill=BOTH)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000165 #frameIndent
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000166 frameIndentSize.pack(side=TOP,fill=X)
Steven M. Gavaf213ccb2001-08-05 08:00:28 +0000167 labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
168 self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000169 return frame
170
171 def CreatePageHighlight(self):
Steven M. Gava3b55a892001-11-21 05:56:26 +0000172 self.builtinTheme=StringVar(self)
173 self.customTheme=StringVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000174 self.fgHilite=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000175 self.colour=StringVar(self)
176 self.fontName=StringVar(self)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000177 self.themeIsBuiltin=BooleanVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000178 self.highlightTarget=StringVar(self)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000179 ##widget creation
180 #body frame
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000181 frame=self.tabPages.pages['Highlighting'].frame
Steven M. Gava952d0a52001-08-03 04:43:44 +0000182 #body section frames
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000183 frameCustom=LabelFrame(frame,borderwidth=2,relief=GROOVE,
184 text=' Custom Highlighting ')
185 frameTheme=LabelFrame(frame,borderwidth=2,relief=GROOVE,
186 text=' Highlighting Theme ')
Steven M. Gava952d0a52001-08-03 04:43:44 +0000187 #frameCustom
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000188 self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1,
Steven M. Gavab77d3432002-03-02 07:16:21 +0000189 font=('courier',12,''),cursor='hand2',width=21,height=10,
190 takefocus=FALSE,highlightthickness=0,wrap=NONE)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000191 text=self.textHighlightSample
192 text.bind('<Double-Button-1>',lambda e: 'break')
193 text.bind('<B1-Motion>',lambda e: 'break')
Steven M. Gava052937f2002-02-11 02:20:53 +0000194 textAndTags=(('#you can click here','comment'),('\n','normal'),
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000195 ('#to choose items','comment'),('\n','normal'),('def','keyword'),
196 (' ','normal'),('func','definition'),('(param):','normal'),
197 ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000198 ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'hilite'),
Kurt B. Kaiser73360a32004-03-08 18:15:31 +0000199 ('\n var2 = ','normal'),("'found'",'hit'),
200 ('\n var3 = ','normal'),('list', 'builtin'), ('(','normal'),
201 ('None', 'builtin'),(')\n\n','normal'),
Steven M. Gava99300612001-11-04 07:03:08 +0000202 (' error ','error'),(' ','normal'),('cursor |','cursor'),
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000203 ('\n ','normal'),('shell','console'),(' ','normal'),('stdout','stdout'),
204 (' ','normal'),('stderr','stderr'),('\n','normal'))
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000205 for txTa in textAndTags:
206 text.insert(END,txTa[0],txTa[1])
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000207 for element in self.themeElements:
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000208 text.tag_bind(self.themeElements[element][0],'<ButtonPress-1>',
209 lambda event,elem=element: event.widget.winfo_toplevel()
210 .highlightTarget.set(elem))
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000211 text.config(state=DISABLED)
212 self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1)
Steven M. Gava7c017862001-10-29 11:19:46 +0000213 frameFgBg=Frame(frameCustom)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000214 buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :',
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000215 command=self.GetColour,highlightthickness=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000216 self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet,
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000217 self.highlightTarget,None,highlightthickness=0)#,command=self.SetHighlightTargetBinding
Steven M. Gava7c017862001-10-29 11:19:46 +0000218 self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000219 value=1,text='Foreground',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000220 self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite,
Steven M. Gava3b55a892001-11-21 05:56:26 +0000221 value=0,text='Background',command=self.SetColourSampleBinding)
Steven M. Gava7c017862001-10-29 11:19:46 +0000222 self.fgHilite.set(1)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000223 buttonSaveCustomTheme=Button(frameCustom,
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000224 text='Save as New Custom Theme',command=self.SaveAsNewTheme)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000225 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000226 labelTypeTitle=Label(frameTheme,text='Select : ')
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000227 self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
228 value=1,command=self.SetThemeType,text='a Built-in Theme')
229 self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeIsBuiltin,
230 value=0,command=self.SetThemeType,text='a Custom Theme')
Steven M. Gava41a85322001-10-29 08:05:34 +0000231 self.optMenuThemeBuiltin=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000232 self.builtinTheme,None,command=None)
Steven M. Gava41a85322001-10-29 08:05:34 +0000233 self.optMenuThemeCustom=DynOptionMenu(frameTheme,
Steven M. Gava7c017862001-10-29 11:19:46 +0000234 self.customTheme,None,command=None)
Steven M. Gava49745752002-02-18 01:43:11 +0000235 self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme',
236 command=self.DeleteCustomTheme)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000237 ##widget packing
238 #body
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000239 frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
240 frameTheme.pack(side=LEFT,padx=5,pady=5,fill=Y)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000241 #frameCustom
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000242 self.frameColourSet.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=X)
Steven M. Gava7c017862001-10-29 11:19:46 +0000243 frameFgBg.pack(side=TOP,padx=5,pady=0)
Steven M. Gavae16d94b2001-11-03 05:07:28 +0000244 self.textHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,
245 fill=BOTH)
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000246 buttonSetColour.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=4)
247 self.optMenuHighlightTarget.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=3)
Steven M. Gava7c017862001-10-29 11:19:46 +0000248 self.radioFg.pack(side=LEFT,anchor=E)
249 self.radioBg.pack(side=RIGHT,anchor=W)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000250 buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000251 #frameTheme
Steven M. Gava952d0a52001-08-03 04:43:44 +0000252 labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
Steven M. Gava41a85322001-10-29 08:05:34 +0000253 self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
254 self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000255 self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
256 self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000257 self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000258 return frame
259
260 def CreatePageKeys(self):
Steven M. Gava60fc7072001-08-04 13:58:22 +0000261 #tkVars
Steven M. Gava3b55a892001-11-21 05:56:26 +0000262 self.bindingTarget=StringVar(self)
263 self.builtinKeys=StringVar(self)
264 self.customKeys=StringVar(self)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000265 self.keysAreBuiltin=BooleanVar(self)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000266 self.keyBinding=StringVar(self)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000267 ##widget creation
268 #body frame
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000269 frame=self.tabPages.pages['Keys'].frame
Steven M. Gava60fc7072001-08-04 13:58:22 +0000270 #body section frames
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000271 frameCustom=LabelFrame(frame,borderwidth=2,relief=GROOVE,
272 text=' Custom Key Bindings ')
273 frameKeySets=LabelFrame(frame,borderwidth=2,relief=GROOVE,
274 text=' Key Set ')
Steven M. Gava60fc7072001-08-04 13:58:22 +0000275 #frameCustom
276 frameTarget=Frame(frameCustom)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000277 labelTargetTitle=Label(frameTarget,text='Action - Key(s)')
278 scrollTargetY=Scrollbar(frameTarget)
279 scrollTargetX=Scrollbar(frameTarget,orient=HORIZONTAL)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000280 self.listBindings=Listbox(frameTarget,takefocus=FALSE,
281 exportselection=FALSE)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000282 self.listBindings.bind('<ButtonRelease-1>',self.KeyBindingSelected)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000283 scrollTargetY.config(command=self.listBindings.yview)
284 scrollTargetX.config(command=self.listBindings.xview)
285 self.listBindings.config(yscrollcommand=scrollTargetY.set)
286 self.listBindings.config(xscrollcommand=scrollTargetX.set)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000287 self.buttonNewKeys=Button(frameCustom,text='Get New Keys for Selection',
288 command=self.GetNewKeys,state=DISABLED)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000289 #frameKeySets
Christian Heimes9a371592007-12-28 14:08:13 +0000290 frames = [Frame(frameKeySets, padx=2, pady=2, borderwidth=0)
291 for i in range(2)]
292 self.radioKeysBuiltin=Radiobutton(frames[0],variable=self.keysAreBuiltin,
293 value=1,command=self.SetKeysType,text='Use a Built-in Key Set')
294 self.radioKeysCustom=Radiobutton(frames[0],variable=self.keysAreBuiltin,
295 value=0,command=self.SetKeysType,text='Use a Custom Key Set')
296 self.optMenuKeysBuiltin=DynOptionMenu(frames[0],
Steven M. Gava41a85322001-10-29 08:05:34 +0000297 self.builtinKeys,None,command=None)
Christian Heimes9a371592007-12-28 14:08:13 +0000298 self.optMenuKeysCustom=DynOptionMenu(frames[0],
Steven M. Gava41a85322001-10-29 08:05:34 +0000299 self.customKeys,None,command=None)
Christian Heimes9a371592007-12-28 14:08:13 +0000300 self.buttonDeleteCustomKeys=Button(frames[1],text='Delete Custom Key Set',
Steven M. Gava49745752002-02-18 01:43:11 +0000301 command=self.DeleteCustomKeys)
Christian Heimes9a371592007-12-28 14:08:13 +0000302 buttonSaveCustomKeys=Button(frames[1],
303 text='Save as New Custom Key Set',command=self.SaveAsNewKeySet)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000304 ##widget packing
305 #body
Christian Heimes9a371592007-12-28 14:08:13 +0000306 frameCustom.pack(side=BOTTOM,padx=5,pady=5,expand=TRUE,fill=BOTH)
307 frameKeySets.pack(side=BOTTOM,padx=5,pady=5,fill=BOTH)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000308 #frameCustom
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000309 self.buttonNewKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
Steven M. Gavafacfc092002-01-19 00:29:54 +0000310 frameTarget.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
311 #frame target
312 frameTarget.columnconfigure(0,weight=1)
313 frameTarget.rowconfigure(1,weight=1)
314 labelTargetTitle.grid(row=0,column=0,columnspan=2,sticky=W)
315 self.listBindings.grid(row=1,column=0,sticky=NSEW)
316 scrollTargetY.grid(row=1,column=1,sticky=NS)
317 scrollTargetX.grid(row=2,column=0,sticky=EW)
Steven M. Gava60fc7072001-08-04 13:58:22 +0000318 #frameKeySets
Christian Heimes9a371592007-12-28 14:08:13 +0000319 self.radioKeysBuiltin.grid(row=0, column=0, sticky=W+NS)
320 self.radioKeysCustom.grid(row=1, column=0, sticky=W+NS)
321 self.optMenuKeysBuiltin.grid(row=0, column=1, sticky=NSEW)
322 self.optMenuKeysCustom.grid(row=1, column=1, sticky=NSEW)
323 self.buttonDeleteCustomKeys.pack(side=LEFT,fill=X,expand=True,padx=2)
324 buttonSaveCustomKeys.pack(side=LEFT,fill=X,expand=True,padx=2)
325 frames[0].pack(side=TOP, fill=BOTH, expand=True)
326 frames[1].pack(side=TOP, fill=X, expand=True, pady=2)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000327 return frame
328
329 def CreatePageGeneral(self):
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000330 #tkVars
331 self.winWidth=StringVar(self)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000332 self.winHeight=StringVar(self)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000333 self.paraWidth=StringVar(self)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000334 self.startupEdit=IntVar(self)
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000335 self.autoSave=IntVar(self)
Kurt B. Kaisera053f332003-05-10 00:49:56 +0000336 self.encoding=StringVar(self)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000337 self.userHelpBrowser=BooleanVar(self)
338 self.helpBrowser=StringVar(self)
Steven M. Gava230e5782001-08-07 03:28:25 +0000339 #widget creation
340 #body
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000341 frame=self.tabPages.pages['General'].frame
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000342 #body section frames
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000343 frameRun=LabelFrame(frame,borderwidth=2,relief=GROOVE,
344 text=' Startup Preferences ')
345 frameSave=LabelFrame(frame,borderwidth=2,relief=GROOVE,
346 text=' Autosave Preferences ')
Steven M. Gava230e5782001-08-07 03:28:25 +0000347 frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000348 frameParaSize=Frame(frame,borderwidth=2,relief=GROOVE)
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000349 frameHelp=LabelFrame(frame,borderwidth=2,relief=GROOVE,
350 text=' Additional Help Sources ')
Steven M. Gava230e5782001-08-07 03:28:25 +0000351 #frameRun
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000352 labelRunChoiceTitle=Label(frameRun,text='At Startup')
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000353 radioStartupEdit=Radiobutton(frameRun,variable=self.startupEdit,
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +0000354 value=1,command=self.SetKeysType,text="Open Edit Window")
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000355 radioStartupShell=Radiobutton(frameRun,variable=self.startupEdit,
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +0000356 value=0,command=self.SetKeysType,text='Open Shell Window')
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000357 #frameSave
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000358 labelRunSaveTitle=Label(frameSave,text='At Start of Run (F5) ')
359 radioSaveAsk=Radiobutton(frameSave,variable=self.autoSave,
360 value=0,command=self.SetKeysType,text="Prompt to Save")
361 radioSaveAuto=Radiobutton(frameSave,variable=self.autoSave,
362 value=1,command=self.SetKeysType,text='No Prompt')
Steven M. Gava230e5782001-08-07 03:28:25 +0000363 #frameWinSize
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000364 labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size'+
365 ' (in characters)')
Steven M. Gava230e5782001-08-07 03:28:25 +0000366 labelWinWidthTitle=Label(frameWinSize,text='Width')
367 entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth,
368 width=3)
369 labelWinHeightTitle=Label(frameWinSize,text='Height')
370 entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight,
371 width=3)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000372 #paragraphFormatWidth
373 labelParaWidthTitle=Label(frameParaSize,text='Paragraph reformat'+
374 ' width (in characters)')
375 entryParaWidth=Entry(frameParaSize,textvariable=self.paraWidth,
376 width=3)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000377 #frameHelp
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000378 frameHelpList=Frame(frameHelp)
379 frameHelpListButtons=Frame(frameHelpList)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000380 scrollHelpList=Scrollbar(frameHelpList)
381 self.listHelp=Listbox(frameHelpList,height=5,takefocus=FALSE,
382 exportselection=FALSE)
383 scrollHelpList.config(command=self.listHelp.yview)
384 self.listHelp.config(yscrollcommand=scrollHelpList.set)
385 self.listHelp.bind('<ButtonRelease-1>',self.HelpSourceSelected)
386 self.buttonHelpListEdit=Button(frameHelpListButtons,text='Edit',
387 state=DISABLED,width=8,command=self.HelpListItemEdit)
388 self.buttonHelpListAdd=Button(frameHelpListButtons,text='Add',
389 width=8,command=self.HelpListItemAdd)
390 self.buttonHelpListRemove=Button(frameHelpListButtons,text='Remove',
391 state=DISABLED,width=8,command=self.HelpListItemRemove)
Steven M. Gava230e5782001-08-07 03:28:25 +0000392 #widget packing
393 #body
394 frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000395 frameSave.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gava230e5782001-08-07 03:28:25 +0000396 frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000397 frameParaSize.pack(side=TOP,padx=5,pady=5,fill=X)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000398 frameHelp.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gava230e5782001-08-07 03:28:25 +0000399 #frameRun
Steven M. Gava230e5782001-08-07 03:28:25 +0000400 labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000401 radioStartupShell.pack(side=RIGHT,anchor=W,padx=5,pady=5)
402 radioStartupEdit.pack(side=RIGHT,anchor=W,padx=5,pady=5)
403 #frameSave
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000404 labelRunSaveTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
405 radioSaveAuto.pack(side=RIGHT,anchor=W,padx=5,pady=5)
406 radioSaveAsk.pack(side=RIGHT,anchor=W,padx=5,pady=5)
Steven M. Gava230e5782001-08-07 03:28:25 +0000407 #frameWinSize
Steven M. Gavafacfc092002-01-19 00:29:54 +0000408 labelWinSizeTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
409 entryWinHeight.pack(side=RIGHT,anchor=E,padx=10,pady=5)
410 labelWinHeightTitle.pack(side=RIGHT,anchor=E,pady=5)
411 entryWinWidth.pack(side=RIGHT,anchor=E,padx=10,pady=5)
412 labelWinWidthTitle.pack(side=RIGHT,anchor=E,pady=5)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000413 #paragraphFormatWidth
414 labelParaWidthTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
415 entryParaWidth.pack(side=RIGHT,anchor=E,padx=10,pady=5)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000416 #frameHelp
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000417 frameHelpListButtons.pack(side=RIGHT,padx=5,pady=5,fill=Y)
418 frameHelpList.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000419 scrollHelpList.pack(side=RIGHT,anchor=W,fill=Y)
420 self.listHelp.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
421 self.buttonHelpListEdit.pack(side=TOP,anchor=W,pady=5)
422 self.buttonHelpListAdd.pack(side=TOP,anchor=W)
423 self.buttonHelpListRemove.pack(side=TOP,anchor=W,pady=5)
Steven M. Gava952d0a52001-08-03 04:43:44 +0000424 return frame
425
Steven M. Gavac112cd82002-01-22 05:56:40 +0000426 def AttachVarCallbacks(self):
427 self.fontSize.trace_variable('w',self.VarChanged_fontSize)
428 self.fontName.trace_variable('w',self.VarChanged_fontName)
429 self.fontBold.trace_variable('w',self.VarChanged_fontBold)
430 self.spaceNum.trace_variable('w',self.VarChanged_spaceNum)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000431 self.colour.trace_variable('w',self.VarChanged_colour)
Steven M. Gava052937f2002-02-11 02:20:53 +0000432 self.builtinTheme.trace_variable('w',self.VarChanged_builtinTheme)
433 self.customTheme.trace_variable('w',self.VarChanged_customTheme)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000434 self.themeIsBuiltin.trace_variable('w',self.VarChanged_themeIsBuiltin)
Steven M. Gava052937f2002-02-11 02:20:53 +0000435 self.highlightTarget.trace_variable('w',self.VarChanged_highlightTarget)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000436 self.keyBinding.trace_variable('w',self.VarChanged_keyBinding)
Steven M. Gava052937f2002-02-11 02:20:53 +0000437 self.builtinKeys.trace_variable('w',self.VarChanged_builtinKeys)
438 self.customKeys.trace_variable('w',self.VarChanged_customKeys)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000439 self.keysAreBuiltin.trace_variable('w',self.VarChanged_keysAreBuiltin)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000440 self.winWidth.trace_variable('w',self.VarChanged_winWidth)
441 self.winHeight.trace_variable('w',self.VarChanged_winHeight)
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000442 self.paraWidth.trace_variable('w',self.VarChanged_paraWidth)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000443 self.startupEdit.trace_variable('w',self.VarChanged_startupEdit)
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000444 self.autoSave.trace_variable('w',self.VarChanged_autoSave)
Kurt B. Kaisera053f332003-05-10 00:49:56 +0000445 self.encoding.trace_variable('w',self.VarChanged_encoding)
Steven M. Gava052937f2002-02-11 02:20:53 +0000446
Steven M. Gavac112cd82002-01-22 05:56:40 +0000447 def VarChanged_fontSize(self,*params):
448 value=self.fontSize.get()
449 self.AddChangedItem('main','EditorWindow','font-size',value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000450
Steven M. Gavac112cd82002-01-22 05:56:40 +0000451 def VarChanged_fontName(self,*params):
452 value=self.fontName.get()
453 self.AddChangedItem('main','EditorWindow','font',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000454
455 def VarChanged_fontBold(self,*params):
456 value=self.fontBold.get()
457 self.AddChangedItem('main','EditorWindow','font-bold',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000458
Steven M. Gavac112cd82002-01-22 05:56:40 +0000459 def VarChanged_spaceNum(self,*params):
460 value=self.spaceNum.get()
461 self.AddChangedItem('main','Indent','num-spaces',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000462
Steven M. Gavac112cd82002-01-22 05:56:40 +0000463 def VarChanged_colour(self,*params):
Steven M. Gava052937f2002-02-11 02:20:53 +0000464 self.OnNewColourSet()
465
466 def VarChanged_builtinTheme(self,*params):
467 value=self.builtinTheme.get()
468 self.AddChangedItem('main','Theme','name',value)
469 self.PaintThemeSample()
470
471 def VarChanged_customTheme(self,*params):
472 value=self.customTheme.get()
Steven M. Gava49745752002-02-18 01:43:11 +0000473 if value != '- no custom themes -':
474 self.AddChangedItem('main','Theme','name',value)
475 self.PaintThemeSample()
Steven M. Gava052937f2002-02-11 02:20:53 +0000476
477 def VarChanged_themeIsBuiltin(self,*params):
478 value=self.themeIsBuiltin.get()
479 self.AddChangedItem('main','Theme','default',value)
Steven M. Gavaf31eec02002-03-05 00:25:58 +0000480 if value:
481 self.VarChanged_builtinTheme()
482 else:
483 self.VarChanged_customTheme()
Steven M. Gava052937f2002-02-11 02:20:53 +0000484
485 def VarChanged_highlightTarget(self,*params):
486 self.SetHighlightTarget()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000487
Steven M. Gavac112cd82002-01-22 05:56:40 +0000488 def VarChanged_keyBinding(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000489 value=self.keyBinding.get()
490 keySet=self.customKeys.get()
491 event=self.listBindings.get(ANCHOR).split()[0]
Steven M. Gavaa498af22002-02-01 01:33:36 +0000492 if idleConf.IsCoreBinding(event):
493 #this is a core keybinding
494 self.AddChangedItem('keys',keySet,event,value)
495 else: #this is an extension key binding
496 extName=idleConf.GetExtnNameForEvent(event)
497 extKeybindSection=extName+'_cfgBindings'
498 self.AddChangedItem('extensions',extKeybindSection,event,value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000499
Steven M. Gava052937f2002-02-11 02:20:53 +0000500 def VarChanged_builtinKeys(self,*params):
501 value=self.builtinKeys.get()
502 self.AddChangedItem('main','Keys','name',value)
503 self.LoadKeysList(value)
504
505 def VarChanged_customKeys(self,*params):
506 value=self.customKeys.get()
Steven M. Gava49745752002-02-18 01:43:11 +0000507 if value != '- no custom keys -':
508 self.AddChangedItem('main','Keys','name',value)
509 self.LoadKeysList(value)
Steven M. Gava052937f2002-02-11 02:20:53 +0000510
511 def VarChanged_keysAreBuiltin(self,*params):
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000512 value=self.keysAreBuiltin.get()
Steven M. Gava052937f2002-02-11 02:20:53 +0000513 self.AddChangedItem('main','Keys','default',value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000514 if value:
Steven M. Gavaf31eec02002-03-05 00:25:58 +0000515 self.VarChanged_builtinKeys()
Steven M. Gava052937f2002-02-11 02:20:53 +0000516 else:
Steven M. Gavaf31eec02002-03-05 00:25:58 +0000517 self.VarChanged_customKeys()
Steven M. Gava052937f2002-02-11 02:20:53 +0000518
Steven M. Gavac112cd82002-01-22 05:56:40 +0000519 def VarChanged_winWidth(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000520 value=self.winWidth.get()
521 self.AddChangedItem('main','EditorWindow','width',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000522
523 def VarChanged_winHeight(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000524 value=self.winHeight.get()
525 self.AddChangedItem('main','EditorWindow','height',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000526
Raymond Hettinger4e49b832004-06-04 06:31:08 +0000527 def VarChanged_paraWidth(self,*params):
528 value=self.paraWidth.get()
529 self.AddChangedItem('main','FormatParagraph','paragraph',value)
530
Steven M. Gavac112cd82002-01-22 05:56:40 +0000531 def VarChanged_startupEdit(self,*params):
Steven M. Gavabbf5ef52002-01-22 11:35:50 +0000532 value=self.startupEdit.get()
533 self.AddChangedItem('main','General','editor-on-startup',value)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000534
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +0000535 def VarChanged_autoSave(self,*params):
536 value=self.autoSave.get()
537 self.AddChangedItem('main','General','autosave',value)
538
Kurt B. Kaisera053f332003-05-10 00:49:56 +0000539 def VarChanged_encoding(self,*params):
540 value=self.encoding.get()
541 self.AddChangedItem('main','EditorWindow','encoding',value)
542
Steven M. Gavaa498af22002-02-01 01:33:36 +0000543 def ResetChangedItems(self):
Steven M. Gavab77d3432002-03-02 07:16:21 +0000544 #When any config item is changed in this dialog, an entry
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000545 #should be made in the relevant section (config type) of this
546 #dictionary. The key should be the config file section name and the
Steven M. Gavaa498af22002-02-01 01:33:36 +0000547 #value a dictionary, whose key:value pairs are item=value pairs for
548 #that config file section.
549 self.changedItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
550
Steven M. Gavac112cd82002-01-22 05:56:40 +0000551 def AddChangedItem(self,type,section,item,value):
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +0000552 value=str(value) #make sure we use a string
Guido van Rossum811c4e02006-08-22 15:45:46 +0000553 if section not in self.changedItems[type]:
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000554 self.changedItems[type][section]={}
Steven M. Gavac112cd82002-01-22 05:56:40 +0000555 self.changedItems[type][section][item]=value
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000556
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000557 def GetDefaultItems(self):
558 dItems={'main':{},'highlight':{},'keys':{},'extensions':{}}
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000559 for configType in dItems:
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000560 sections=idleConf.GetSectionList('default',configType)
561 for section in sections:
562 dItems[configType][section]={}
563 options=idleConf.defaultCfg[configType].GetOptionList(section)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000564 for option in options:
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000565 dItems[configType][section][option]=(
566 idleConf.defaultCfg[configType].Get(section,option))
567 return dItems
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000568
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000569 def SetThemeType(self):
570 if self.themeIsBuiltin.get():
571 self.optMenuThemeBuiltin.config(state=NORMAL)
572 self.optMenuThemeCustom.config(state=DISABLED)
573 self.buttonDeleteCustomTheme.config(state=DISABLED)
574 else:
575 self.optMenuThemeBuiltin.config(state=DISABLED)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000576 self.radioThemeCustom.config(state=NORMAL)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000577 self.optMenuThemeCustom.config(state=NORMAL)
578 self.buttonDeleteCustomTheme.config(state=NORMAL)
579
580 def SetKeysType(self):
Steven M. Gava052937f2002-02-11 02:20:53 +0000581 if self.keysAreBuiltin.get():
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000582 self.optMenuKeysBuiltin.config(state=NORMAL)
583 self.optMenuKeysCustom.config(state=DISABLED)
584 self.buttonDeleteCustomKeys.config(state=DISABLED)
585 else:
586 self.optMenuKeysBuiltin.config(state=DISABLED)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000587 self.radioKeysCustom.config(state=NORMAL)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000588 self.optMenuKeysCustom.config(state=NORMAL)
589 self.buttonDeleteCustomKeys.config(state=NORMAL)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000590
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000591 def GetNewKeys(self):
592 listIndex=self.listBindings.index(ANCHOR)
593 binding=self.listBindings.get(listIndex)
594 bindName=binding.split()[0] #first part, up to first space
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000595 if self.keysAreBuiltin.get():
Steven M. Gavae28ee752002-02-11 03:45:22 +0000596 currentKeySetName=self.builtinKeys.get()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000597 else:
Steven M. Gavae28ee752002-02-11 03:45:22 +0000598 currentKeySetName=self.customKeys.get()
599 currentBindings=idleConf.GetCurrentKeySet()
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000600 if currentKeySetName in self.changedItems['keys']: #unsaved changes
Steven M. Gavae28ee752002-02-11 03:45:22 +0000601 keySetChanges=self.changedItems['keys'][currentKeySetName]
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000602 for event in keySetChanges:
Steven M. Gavae28ee752002-02-11 03:45:22 +0000603 currentBindings[event]=keySetChanges[event].split()
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000604 currentKeySequences = list(currentBindings.values())
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000605 newKeys=GetKeysDialog(self,'Get New Keys',bindName,
606 currentKeySequences).result
607 if newKeys: #new keys were specified
Steven M. Gava052937f2002-02-11 02:20:53 +0000608 if self.keysAreBuiltin.get(): #current key set is a built-in
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000609 message=('Your changes will be saved as a new Custom Key Set. '+
610 'Enter a name for your new Custom Key Set below.')
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000611 newKeySet=self.GetNewKeysName(message)
612 if not newKeySet: #user cancelled custom key set creation
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000613 self.listBindings.select_set(listIndex)
614 self.listBindings.select_anchor(listIndex)
615 return
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000616 else: #create new custom key set based on previously active key set
617 self.CreateNewKeySet(newKeySet)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000618 self.listBindings.delete(listIndex)
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000619 self.listBindings.insert(listIndex,bindName+' - '+newKeys)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000620 self.listBindings.select_set(listIndex)
621 self.listBindings.select_anchor(listIndex)
Steven M. Gava052937f2002-02-11 02:20:53 +0000622 self.keyBinding.set(newKeys)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000623 else:
624 self.listBindings.select_set(listIndex)
625 self.listBindings.select_anchor(listIndex)
626
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000627 def GetNewKeysName(self,message):
Steven M. Gava49745752002-02-18 01:43:11 +0000628 usedNames=(idleConf.GetSectionList('user','keys')+
629 idleConf.GetSectionList('default','keys'))
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000630 newKeySet=GetCfgSectionNameDialog(self,'New Custom Key Set',
631 message,usedNames).result
632 return newKeySet
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000633
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000634 def SaveAsNewKeySet(self):
635 newKeysName=self.GetNewKeysName('New Key Set Name:')
636 if newKeysName:
637 self.CreateNewKeySet(newKeysName)
638
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000639 def KeyBindingSelected(self,event):
640 self.buttonNewKeys.config(state=NORMAL)
641
642 def CreateNewKeySet(self,newKeySetName):
643 #creates new custom key set based on the previously active key set,
644 #and makes the new key set active
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000645 if self.keysAreBuiltin.get():
Steven M. Gava052937f2002-02-11 02:20:53 +0000646 prevKeySetName=self.builtinKeys.get()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000647 else:
Steven M. Gava052937f2002-02-11 02:20:53 +0000648 prevKeySetName=self.customKeys.get()
Steven M. Gava052937f2002-02-11 02:20:53 +0000649 prevKeys=idleConf.GetCoreKeys(prevKeySetName)
Steven M. Gava052937f2002-02-11 02:20:53 +0000650 newKeys={}
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000651 for event in prevKeys: #add key set to changed items
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000652 eventName=event[2:-2] #trim off the angle brackets
Neal Norwitz9d72bb42007-04-17 08:48:32 +0000653 binding=' '.join(prevKeys[event])
Steven M. Gava052937f2002-02-11 02:20:53 +0000654 newKeys[eventName]=binding
Steven M. Gava052937f2002-02-11 02:20:53 +0000655 #handle any unsaved changes to prev key set
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000656 if prevKeySetName in self.changedItems['keys']:
Steven M. Gava052937f2002-02-11 02:20:53 +0000657 keySetChanges=self.changedItems['keys'][prevKeySetName]
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000658 for event in keySetChanges:
Steven M. Gava052937f2002-02-11 02:20:53 +0000659 newKeys[event]=keySetChanges[event]
Steven M. Gava052937f2002-02-11 02:20:53 +0000660 #save the new theme
661 self.SaveNewKeySet(newKeySetName,newKeys)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000662 #change gui over to the new key set
663 customKeyList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000664 customKeyList.sort()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000665 self.optMenuKeysCustom.SetMenu(customKeyList,newKeySetName)
Steven M. Gava052937f2002-02-11 02:20:53 +0000666 self.keysAreBuiltin.set(0)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000667 self.SetKeysType()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000668
Steven M. Gava052937f2002-02-11 02:20:53 +0000669 def LoadKeysList(self,keySetName):
670 reselect=0
671 newKeySet=0
672 if self.listBindings.curselection():
673 reselect=1
674 listIndex=self.listBindings.index(ANCHOR)
Steven M. Gava052937f2002-02-11 02:20:53 +0000675 keySet=idleConf.GetKeySet(keySetName)
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000676 bindNames = list(keySet.keys())
Steven M. Gava052937f2002-02-11 02:20:53 +0000677 bindNames.sort()
678 self.listBindings.delete(0,END)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000679 for bindName in bindNames:
Neal Norwitz9d72bb42007-04-17 08:48:32 +0000680 key=' '.join(keySet[bindName]) #make key(s) into a string
Steven M. Gava052937f2002-02-11 02:20:53 +0000681 bindName=bindName[2:-2] #trim off the angle brackets
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000682 if keySetName in self.changedItems['keys']:
Steven M. Gava052937f2002-02-11 02:20:53 +0000683 #handle any unsaved changes to this key set
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000684 if bindName in self.changedItems['keys'][keySetName]:
Steven M. Gava052937f2002-02-11 02:20:53 +0000685 key=self.changedItems['keys'][keySetName][bindName]
Steven M. Gava052937f2002-02-11 02:20:53 +0000686 self.listBindings.insert(END, bindName+' - '+key)
Steven M. Gava052937f2002-02-11 02:20:53 +0000687 if reselect:
688 self.listBindings.see(listIndex)
689 self.listBindings.select_set(listIndex)
690 self.listBindings.select_anchor(listIndex)
691
Steven M. Gava49745752002-02-18 01:43:11 +0000692 def DeleteCustomKeys(self):
693 keySetName=self.customKeys.get()
694 if not tkMessageBox.askyesno('Delete Key Set','Are you sure you wish '+
Walter Dörwald70a6b492004-02-12 17:35:32 +0000695 'to delete the key set %r ?' % (keySetName),
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000696 parent=self):
Steven M. Gava49745752002-02-18 01:43:11 +0000697 return
698 #remove key set from config
699 idleConf.userCfg['keys'].remove_section(keySetName)
Guido van Rossum811c4e02006-08-22 15:45:46 +0000700 if keySetName in self.changedItems['keys']:
Steven M. Gava49745752002-02-18 01:43:11 +0000701 del(self.changedItems['keys'][keySetName])
702 #write changes
703 idleConf.userCfg['keys'].Save()
704 #reload user key set list
705 itemList=idleConf.GetSectionList('user','keys')
706 itemList.sort()
707 if not itemList:
708 self.radioKeysCustom.config(state=DISABLED)
709 self.optMenuKeysCustom.SetMenu(itemList,'- no custom keys -')
710 else:
711 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
712 #revert to default key set
713 self.keysAreBuiltin.set(idleConf.defaultCfg['main'].Get('Keys','default'))
714 self.builtinKeys.set(idleConf.defaultCfg['main'].Get('Keys','name'))
715 #user can't back out of these changes, they must be applied now
716 self.Apply()
717 self.SetKeysType()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000718
Steven M. Gava49745752002-02-18 01:43:11 +0000719 def DeleteCustomTheme(self):
720 themeName=self.customTheme.get()
721 if not tkMessageBox.askyesno('Delete Theme','Are you sure you wish '+
Walter Dörwald70a6b492004-02-12 17:35:32 +0000722 'to delete the theme %r ?' % (themeName,),
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000723 parent=self):
Steven M. Gava49745752002-02-18 01:43:11 +0000724 return
725 #remove theme from config
726 idleConf.userCfg['highlight'].remove_section(themeName)
Guido van Rossum811c4e02006-08-22 15:45:46 +0000727 if themeName in self.changedItems['highlight']:
Steven M. Gava49745752002-02-18 01:43:11 +0000728 del(self.changedItems['highlight'][themeName])
729 #write changes
730 idleConf.userCfg['highlight'].Save()
731 #reload user theme list
732 itemList=idleConf.GetSectionList('user','highlight')
733 itemList.sort()
734 if not itemList:
735 self.radioThemeCustom.config(state=DISABLED)
736 self.optMenuThemeCustom.SetMenu(itemList,'- no custom themes -')
737 else:
738 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
739 #revert to default theme
740 self.themeIsBuiltin.set(idleConf.defaultCfg['main'].Get('Theme','default'))
741 self.builtinTheme.set(idleConf.defaultCfg['main'].Get('Theme','name'))
742 #user can't back out of these changes, they must be applied now
743 self.Apply()
744 self.SetThemeType()
745
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000746 def GetColour(self):
747 target=self.highlightTarget.get()
Steven M. Gava052937f2002-02-11 02:20:53 +0000748 prevColour=self.frameColourSet.cget('bg')
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000749 rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
Steven M. Gava052937f2002-02-11 02:20:53 +0000750 title='Pick new colour for : '+target,initialcolor=prevColour)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000751 if colourString and (colourString!=prevColour):
Steven M. Gava052937f2002-02-11 02:20:53 +0000752 #user didn't cancel, and they chose a new colour
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000753 if self.themeIsBuiltin.get(): #current theme is a built-in
754 message=('Your changes will be saved as a new Custom Theme. '+
755 'Enter a name for your new Custom Theme below.')
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000756 newTheme=self.GetNewThemeName(message)
757 if not newTheme: #user cancelled custom theme creation
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000758 return
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000759 else: #create new custom theme based on previously active theme
760 self.CreateNewTheme(newTheme)
Steven M. Gava052937f2002-02-11 02:20:53 +0000761 self.colour.set(colourString)
762 else: #current theme is user defined
763 self.colour.set(colourString)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000764
Steven M. Gava052937f2002-02-11 02:20:53 +0000765 def OnNewColourSet(self):
766 newColour=self.colour.get()
767 self.frameColourSet.config(bg=newColour)#set sample
768 if self.fgHilite.get(): plane='foreground'
769 else: plane='background'
770 sampleElement=self.themeElements[self.highlightTarget.get()][0]
Raymond Hettinger931237e2003-07-09 18:48:24 +0000771 self.textHighlightSample.tag_config(sampleElement, **{plane:newColour})
Steven M. Gava052937f2002-02-11 02:20:53 +0000772 theme=self.customTheme.get()
773 themeElement=sampleElement+'-'+plane
774 self.AddChangedItem('highlight',theme,themeElement,newColour)
Steven M. Gava052937f2002-02-11 02:20:53 +0000775
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000776 def GetNewThemeName(self,message):
Steven M. Gava49745752002-02-18 01:43:11 +0000777 usedNames=(idleConf.GetSectionList('user','highlight')+
778 idleConf.GetSectionList('default','highlight'))
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000779 newTheme=GetCfgSectionNameDialog(self,'New Custom Theme',
780 message,usedNames).result
781 return newTheme
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000782
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000783 def SaveAsNewTheme(self):
784 newThemeName=self.GetNewThemeName('New Theme Name:')
785 if newThemeName:
786 self.CreateNewTheme(newThemeName)
787
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000788 def CreateNewTheme(self,newThemeName):
789 #creates new custom theme based on the previously active theme,
790 #and makes the new theme active
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000791 if self.themeIsBuiltin.get():
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000792 themeType='default'
793 themeName=self.builtinTheme.get()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000794 else:
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000795 themeType='user'
796 themeName=self.customTheme.get()
797 newTheme=idleConf.GetThemeDict(themeType,themeName)
Steven M. Gava052937f2002-02-11 02:20:53 +0000798 #apply any of the old theme's unsaved changes to the new theme
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000799 if themeName in self.changedItems['highlight']:
Steven M. Gava052937f2002-02-11 02:20:53 +0000800 themeChanges=self.changedItems['highlight'][themeName]
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000801 for element in themeChanges:
Steven M. Gava052937f2002-02-11 02:20:53 +0000802 newTheme[element]=themeChanges[element]
803 #save the new theme
804 self.SaveNewTheme(newThemeName,newTheme)
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000805 #change gui over to the new theme
806 customThemeList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000807 customThemeList.sort()
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000808 self.optMenuThemeCustom.SetMenu(customThemeList,newThemeName)
809 self.themeIsBuiltin.set(0)
810 self.SetThemeType()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000811
Steven M. Gavac112cd82002-01-22 05:56:40 +0000812 def OnListFontButtonRelease(self,event):
Kurt B. Kaiser05391692003-05-26 20:35:53 +0000813 font = self.listFontName.get(ANCHOR)
814 self.fontName.set(font.lower())
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000815 self.SetFontSample()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000816
Steven M. Gavac112cd82002-01-22 05:56:40 +0000817 def SetFontSample(self,event=None):
818 fontName=self.fontName.get()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000819 if self.fontBold.get():
Steven M. Gavac112cd82002-01-22 05:56:40 +0000820 fontWeight=tkFont.BOLD
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000821 else:
Steven M. Gavac112cd82002-01-22 05:56:40 +0000822 fontWeight=tkFont.NORMAL
823 self.editFont.config(size=self.fontSize.get(),
824 weight=fontWeight,family=fontName)
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000825
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000826 def SetHighlightTarget(self):
827 if self.highlightTarget.get()=='Cursor': #bg not possible
828 self.radioFg.config(state=DISABLED)
829 self.radioBg.config(state=DISABLED)
830 self.fgHilite.set(1)
831 else: #both fg and bg can be set
832 self.radioFg.config(state=NORMAL)
833 self.radioBg.config(state=NORMAL)
834 self.fgHilite.set(1)
835 self.SetColourSample()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000836
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000837 def SetColourSampleBinding(self,*args):
838 self.SetColourSample()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000839
Steven M. Gava5f28e8f2002-01-21 06:38:21 +0000840 def SetColourSample(self):
841 #set the colour smaple area
842 tag=self.themeElements[self.highlightTarget.get()][0]
843 if self.fgHilite.get(): plane='foreground'
844 else: plane='background'
845 colour=self.textHighlightSample.tag_cget(tag,plane)
846 self.frameColourSet.config(bg=colour)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000847
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000848 def PaintThemeSample(self):
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000849 if self.themeIsBuiltin.get(): #a default theme
Steven M. Gava99300612001-11-04 07:03:08 +0000850 theme=self.builtinTheme.get()
851 else: #a user theme
852 theme=self.customTheme.get()
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000853 for elementTitle in self.themeElements:
Steven M. Gava052937f2002-02-11 02:20:53 +0000854 element=self.themeElements[elementTitle][0]
855 colours=idleConf.GetHighlight(theme,element)
856 if element=='cursor': #cursor sample needs special painting
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000857 colours['background']=idleConf.GetHighlight(theme,
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000858 'normal', fgBg='bg')
Steven M. Gava052937f2002-02-11 02:20:53 +0000859 #handle any unsaved changes to this theme
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000860 if theme in self.changedItems['highlight']:
Steven M. Gava052937f2002-02-11 02:20:53 +0000861 themeDict=self.changedItems['highlight'][theme]
Guido van Rossum811c4e02006-08-22 15:45:46 +0000862 if element+'-foreground' in themeDict:
Steven M. Gava052937f2002-02-11 02:20:53 +0000863 colours['foreground']=themeDict[element+'-foreground']
Guido van Rossum811c4e02006-08-22 15:45:46 +0000864 if element+'-background' in themeDict:
Steven M. Gava052937f2002-02-11 02:20:53 +0000865 colours['background']=themeDict[element+'-background']
Raymond Hettinger931237e2003-07-09 18:48:24 +0000866 self.textHighlightSample.tag_config(element, **colours)
Steven M. Gava052937f2002-02-11 02:20:53 +0000867 self.SetColourSample()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000868
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000869 def HelpSourceSelected(self,event):
870 self.SetHelpListButtonStates()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000871
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000872 def SetHelpListButtonStates(self):
873 if self.listHelp.size()<1: #no entries in list
874 self.buttonHelpListEdit.config(state=DISABLED)
875 self.buttonHelpListRemove.config(state=DISABLED)
876 else: #there are some entries
877 if self.listHelp.curselection(): #there currently is a selection
878 self.buttonHelpListEdit.config(state=NORMAL)
879 self.buttonHelpListRemove.config(state=NORMAL)
880 else: #there currently is not a selection
881 self.buttonHelpListEdit.config(state=DISABLED)
882 self.buttonHelpListRemove.config(state=DISABLED)
883
884 def HelpListItemAdd(self):
885 helpSource=GetHelpSourceDialog(self,'New Help Source').result
886 if helpSource:
887 self.userHelpList.append( (helpSource[0],helpSource[1]) )
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000888 self.listHelp.insert(END,helpSource[0])
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000889 self.UpdateUserHelpChangedItems()
890 self.SetHelpListButtonStates()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000891
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000892 def HelpListItemEdit(self):
893 itemIndex=self.listHelp.index(ANCHOR)
894 helpSource=self.userHelpList[itemIndex]
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +0000895 newHelpSource=GetHelpSourceDialog(self,'Edit Help Source',
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000896 menuItem=helpSource[0],filePath=helpSource[1]).result
897 if (not newHelpSource) or (newHelpSource==helpSource):
898 return #no changes
899 self.userHelpList[itemIndex]=newHelpSource
900 self.listHelp.delete(itemIndex)
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000901 self.listHelp.insert(itemIndex,newHelpSource[0])
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000902 self.UpdateUserHelpChangedItems()
903 self.SetHelpListButtonStates()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000904
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000905 def HelpListItemRemove(self):
906 itemIndex=self.listHelp.index(ANCHOR)
907 del(self.userHelpList[itemIndex])
908 self.listHelp.delete(itemIndex)
909 self.UpdateUserHelpChangedItems()
910 self.SetHelpListButtonStates()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000911
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000912 def UpdateUserHelpChangedItems(self):
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000913 "Clear and rebuild the HelpFiles section in self.changedItems"
914 self.changedItems['main']['HelpFiles'] = {}
Steven M. Gava085eb1b2002-02-05 04:52:32 +0000915 for num in range(1,len(self.userHelpList)+1):
916 self.AddChangedItem('main','HelpFiles',str(num),
Neal Norwitz9d72bb42007-04-17 08:48:32 +0000917 ';'.join(self.userHelpList[num-1][:2]))
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000918
Steven M. Gava429a86af2001-10-23 10:42:12 +0000919 def LoadFontCfg(self):
920 ##base editor font selection list
Steven M. Gavac11ccf32001-09-24 09:43:17 +0000921 fonts=list(tkFont.families(self))
922 fonts.sort()
923 for font in fonts:
924 self.listFontName.insert(END,font)
Steven M. Gava485f7b62001-10-26 06:47:09 +0000925 configuredFont=idleConf.GetOption('main','EditorWindow','font',
Steven M. Gava429a86af2001-10-23 10:42:12 +0000926 default='courier')
Kurt B. Kaiser05391692003-05-26 20:35:53 +0000927 lc_configuredFont = configuredFont.lower()
928 self.fontName.set(lc_configuredFont)
929 lc_fonts = [s.lower() for s in fonts]
930 if lc_configuredFont in lc_fonts:
931 currentFontIndex = lc_fonts.index(lc_configuredFont)
Steven M. Gava429a86af2001-10-23 10:42:12 +0000932 self.listFontName.see(currentFontIndex)
933 self.listFontName.select_set(currentFontIndex)
Steven M. Gavac112cd82002-01-22 05:56:40 +0000934 self.listFontName.select_anchor(currentFontIndex)
Steven M. Gava429a86af2001-10-23 10:42:12 +0000935 ##font size dropdown
Steven M. Gavac112cd82002-01-22 05:56:40 +0000936 fontSize=idleConf.GetOption('main','EditorWindow','font-size',
Kurt B. Kaiser05391692003-05-26 20:35:53 +0000937 default='10')
Chui Teya178cff2002-11-04 03:17:45 +0000938 self.optMenuFontSize.SetMenu(('7','8','9','10','11','12','13','14',
Steven M. Gava485f7b62001-10-26 06:47:09 +0000939 '16','18','20','22'),fontSize )
Steven M. Gavac112cd82002-01-22 05:56:40 +0000940 ##fontWeight
941 self.fontBold.set(idleConf.GetOption('main','EditorWindow',
942 'font-bold',default=0,type='bool'))
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000943 ##font sample
Steven M. Gava429a86af2001-10-23 10:42:12 +0000944 self.SetFontSample()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000945
Steven M. Gava429a86af2001-10-23 10:42:12 +0000946 def LoadTabCfg(self):
Steven M. Gava429a86af2001-10-23 10:42:12 +0000947 ##indent sizes
Steven M. Gava485f7b62001-10-26 06:47:09 +0000948 spaceNum=idleConf.GetOption('main','Indent','num-spaces',
Steven M. Gava429a86af2001-10-23 10:42:12 +0000949 default=4,type='int')
Steven M. Gava429a86af2001-10-23 10:42:12 +0000950 self.spaceNum.set(spaceNum)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000951
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000952 def LoadThemeCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000953 ##current theme type radiobutton
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000954 self.themeIsBuiltin.set(idleConf.GetOption('main','Theme','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000955 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000956 ##currently set theme
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000957 currentOption=idleConf.CurrentTheme()
Steven M. Gava7c017862001-10-29 11:19:46 +0000958 ##load available theme option menus
Steven M. Gavad0342cd2001-11-04 11:53:10 +0000959 if self.themeIsBuiltin.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000960 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,currentOption)
963 itemList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000964 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000965 if not itemList:
966 self.radioThemeCustom.config(state=DISABLED)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000967 self.customTheme.set('- no custom themes -')
Steven M. Gava41a85322001-10-29 08:05:34 +0000968 else:
969 self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000970 else: #user theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000971 itemList=idleConf.GetSectionList('user','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000972 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000973 self.optMenuThemeCustom.SetMenu(itemList,currentOption)
974 itemList=idleConf.GetSectionList('default','highlight')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000975 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000976 self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
Steven M. Gava7c017862001-10-29 11:19:46 +0000977 self.SetThemeType()
978 ##load theme element option menu
Kurt B. Kaisere0712772007-08-23 05:25:55 +0000979 themeNames = list(self.themeElements.keys())
Kurt B. Kaiser4718bf82008-02-12 21:34:12 +0000980 themeNames.sort(key=lambda x: self.themeElements[x][1])
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000981 self.optMenuHighlightTarget.SetMenu(themeNames,themeNames[0])
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000982 self.PaintThemeSample()
Steven M. Gava0cae01c2002-01-04 07:53:06 +0000983 self.SetHighlightTarget()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000984
Steven M. Gava9dd16b32001-11-03 14:54:25 +0000985 def LoadKeyCfg(self):
Steven M. Gava41a85322001-10-29 08:05:34 +0000986 ##current keys type radiobutton
Steven M. Gava052937f2002-02-11 02:20:53 +0000987 self.keysAreBuiltin.set(idleConf.GetOption('main','Keys','default',
Steven M. Gavac112cd82002-01-22 05:56:40 +0000988 type='bool',default=1))
Steven M. Gava41a85322001-10-29 08:05:34 +0000989 ##currently set keys
Steven M. Gavaad4f5322002-01-03 12:05:17 +0000990 currentOption=idleConf.CurrentKeys()
Steven M. Gava7c017862001-10-29 11:19:46 +0000991 ##load available keyset option menus
Steven M. Gava052937f2002-02-11 02:20:53 +0000992 if self.keysAreBuiltin.get(): #default theme selected
Steven M. Gava41a85322001-10-29 08:05:34 +0000993 itemList=idleConf.GetSectionList('default','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000994 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000995 self.optMenuKeysBuiltin.SetMenu(itemList,currentOption)
996 itemList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +0000997 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +0000998 if not itemList:
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000999 self.radioKeysCustom.config(state=DISABLED)
1000 self.customKeys.set('- no custom keys -')
Steven M. Gava41a85322001-10-29 08:05:34 +00001001 else:
1002 self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
Steven M. Gavaa498af22002-02-01 01:33:36 +00001003 else: #user key set selected
Steven M. Gava41a85322001-10-29 08:05:34 +00001004 itemList=idleConf.GetSectionList('user','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +00001005 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +00001006 self.optMenuKeysCustom.SetMenu(itemList,currentOption)
1007 itemList=idleConf.GetSectionList('default','keys')
Steven M. Gavaf9bb90e2002-01-24 06:02:50 +00001008 itemList.sort()
Steven M. Gava41a85322001-10-29 08:05:34 +00001009 self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0])
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001010 self.SetKeysType()
Steven M. Gavafacfc092002-01-19 00:29:54 +00001011 ##load keyset element list
Steven M. Gava052937f2002-02-11 02:20:53 +00001012 keySetName=idleConf.CurrentKeys()
1013 self.LoadKeysList(keySetName)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001014
Steven M. Gavafacfc092002-01-19 00:29:54 +00001015 def LoadGeneralCfg(self):
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001016 #startup state
1017 self.startupEdit.set(idleConf.GetOption('main','General',
1018 'editor-on-startup',default=1,type='bool'))
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +00001019 #autosave state
1020 self.autoSave.set(idleConf.GetOption('main', 'General', 'autosave',
1021 default=0, type='bool'))
Steven M. Gavafacfc092002-01-19 00:29:54 +00001022 #initial window size
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001023 self.winWidth.set(idleConf.GetOption('main','EditorWindow','width'))
Steven M. Gavafacfc092002-01-19 00:29:54 +00001024 self.winHeight.set(idleConf.GetOption('main','EditorWindow','height'))
Raymond Hettinger4e49b832004-06-04 06:31:08 +00001025 #initial paragraph reformat size
1026 self.paraWidth.set(idleConf.GetOption('main','FormatParagraph','paragraph'))
Kurt B. Kaisera053f332003-05-10 00:49:56 +00001027 # default source encoding
Kurt B. Kaiser6c638b62003-05-26 06:23:10 +00001028 self.encoding.set(idleConf.GetOption('main', 'EditorWindow',
1029 'encoding', default='none'))
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +00001030 # additional help sources
1031 self.userHelpList = idleConf.GetAllExtraHelpSourcesList()
Steven M. Gava085eb1b2002-02-05 04:52:32 +00001032 for helpItem in self.userHelpList:
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +00001033 self.listHelp.insert(END,helpItem[0])
Steven M. Gava085eb1b2002-02-05 04:52:32 +00001034 self.SetHelpListButtonStates()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001035
Steven M. Gava429a86af2001-10-23 10:42:12 +00001036 def LoadConfigs(self):
1037 """
1038 load configuration from default and user config files and populate
1039 the widgets on the config dialog pages.
1040 """
1041 ### fonts / tabs page
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001042 self.LoadFontCfg()
1043 self.LoadTabCfg()
Steven M. Gava429a86af2001-10-23 10:42:12 +00001044 ### highlighting page
Steven M. Gava9dd16b32001-11-03 14:54:25 +00001045 self.LoadThemeCfg()
Steven M. Gava429a86af2001-10-23 10:42:12 +00001046 ### keys page
Steven M. Gava9dd16b32001-11-03 14:54:25 +00001047 self.LoadKeyCfg()
Steven M. Gava429a86af2001-10-23 10:42:12 +00001048 ### general page
Steven M. Gavafacfc092002-01-19 00:29:54 +00001049 self.LoadGeneralCfg()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001050
Steven M. Gava052937f2002-02-11 02:20:53 +00001051 def SaveNewKeySet(self,keySetName,keySet):
1052 """
1053 save a newly created core key set.
1054 keySetName - string, the name of the new key set
1055 keySet - dictionary containing the new key set
1056 """
1057 if not idleConf.userCfg['keys'].has_section(keySetName):
1058 idleConf.userCfg['keys'].add_section(keySetName)
Kurt B. Kaisere0712772007-08-23 05:25:55 +00001059 for event in keySet:
Steven M. Gava052937f2002-02-11 02:20:53 +00001060 value=keySet[event]
1061 idleConf.userCfg['keys'].SetOption(keySetName,event,value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001062
Steven M. Gava052937f2002-02-11 02:20:53 +00001063 def SaveNewTheme(self,themeName,theme):
1064 """
1065 save a newly created theme.
1066 themeName - string, the name of the new theme
1067 theme - dictionary containing the new theme
1068 """
1069 if not idleConf.userCfg['highlight'].has_section(themeName):
1070 idleConf.userCfg['highlight'].add_section(themeName)
Kurt B. Kaisere0712772007-08-23 05:25:55 +00001071 for element in theme:
Steven M. Gava052937f2002-02-11 02:20:53 +00001072 value=theme[element]
1073 idleConf.userCfg['highlight'].SetOption(themeName,element,value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001074
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +00001075 def SetUserValue(self,configType,section,item,value):
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +00001076 if idleConf.defaultCfg[configType].has_option(section,item):
1077 if idleConf.defaultCfg[configType].Get(section,item)==value:
1078 #the setting equals a default setting, remove it from user cfg
1079 return idleConf.userCfg[configType].RemoveOption(section,item)
1080 #if we got here set the option
1081 return idleConf.userCfg[configType].SetOption(section,item,value)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001082
Steven M. Gava052937f2002-02-11 02:20:53 +00001083 def SaveAllChangedConfigs(self):
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +00001084 "Save configuration changes to the user config file."
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +00001085 idleConf.userCfg['main'].Save()
Kurt B. Kaisere0712772007-08-23 05:25:55 +00001086 for configType in self.changedItems:
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +00001087 cfgTypeHasChanges = False
Kurt B. Kaisere0712772007-08-23 05:25:55 +00001088 for section in self.changedItems[configType]:
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +00001089 if section == 'HelpFiles':
1090 #this section gets completely replaced
1091 idleConf.userCfg['main'].remove_section('HelpFiles')
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +00001092 cfgTypeHasChanges = True
Kurt B. Kaisere0712772007-08-23 05:25:55 +00001093 for item in self.changedItems[configType][section]:
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +00001094 value = self.changedItems[configType][section][item]
Steven M. Gava2d7bb3f2002-01-29 08:35:29 +00001095 if self.SetUserValue(configType,section,item,value):
Kurt B. Kaisere7a161e2003-01-10 20:13:57 +00001096 cfgTypeHasChanges = True
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001097 if cfgTypeHasChanges:
1098 idleConf.userCfg[configType].Save()
Kurt B. Kaiser5acdf932004-11-16 21:28:36 +00001099 for configType in ['keys', 'highlight']:
1100 # save these even if unchanged!
1101 idleConf.userCfg[configType].Save()
Steven M. Gavaa498af22002-02-01 01:33:36 +00001102 self.ResetChangedItems() #clear the changed items dict
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001103
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00001104 def DeactivateCurrentConfig(self):
1105 #Before a config is saved, some cleanup of current
1106 #config must be done - remove the previous keybindings
Kurt B. Kaisere0712772007-08-23 05:25:55 +00001107 winInstances = self.parent.instance_dict.keys()
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00001108 for instance in winInstances:
1109 instance.RemoveKeybindings()
1110
Steven M. Gava49745752002-02-18 01:43:11 +00001111 def ActivateConfigChanges(self):
Kurt B. Kaiseracdef852005-01-31 03:34:26 +00001112 "Dynamically apply configuration changes"
Kurt B. Kaisere0712772007-08-23 05:25:55 +00001113 winInstances = self.parent.instance_dict.keys()
Steven M. Gavab77d3432002-03-02 07:16:21 +00001114 for instance in winInstances:
1115 instance.ResetColorizer()
Steven M. Gavab1585412002-03-12 00:21:56 +00001116 instance.ResetFont()
Kurt B. Kaiseracdef852005-01-31 03:34:26 +00001117 instance.set_notabs_indentwidth()
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00001118 instance.ApplyKeybindings()
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +00001119 instance.reset_help_menu_entries()
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +00001120
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001121 def Cancel(self):
1122 self.destroy()
1123
1124 def Ok(self):
1125 self.Apply()
1126 self.destroy()
1127
1128 def Apply(self):
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00001129 self.DeactivateCurrentConfig()
Steven M. Gava052937f2002-02-11 02:20:53 +00001130 self.SaveAllChangedConfigs()
Steven M. Gava49745752002-02-18 01:43:11 +00001131 self.ActivateConfigChanges()
Steven M. Gava5f28e8f2002-01-21 06:38:21 +00001132
1133 def Help(self):
Steven M. Gavac11ccf32001-09-24 09:43:17 +00001134 pass
1135
Steven M. Gava44d3d1a2001-07-31 06:59:02 +00001136if __name__ == '__main__':
Steven M. Gavad721c482001-07-31 10:46:53 +00001137 #test the dialog
1138 root=Tk()
1139 Button(root,text='Dialog',
Steven M. Gava3b55a892001-11-21 05:56:26 +00001140 command=lambda:ConfigDialog(root,'Settings')).pack()
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +00001141 root.instance_dict={}
Steven M. Gavad721c482001-07-31 10:46:53 +00001142 root.mainloop()