Steven M. Gava | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 1 | """ |
| 2 | configuration dialog |
| 3 | """ |
| 4 | from Tkinter import * |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 5 | import tkMessageBox, tkColorChooser, tkFont |
Steven M. Gava | facfc09 | 2002-01-19 00:29:54 +0000 | [diff] [blame] | 6 | import string |
Steven M. Gava | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 7 | |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 8 | from configHandler import idleConf |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 9 | from dynOptionMenuWidget import DynOptionMenu |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 10 | from tabpage import TabPageSet |
Steven M. Gava | facfc09 | 2002-01-19 00:29:54 +0000 | [diff] [blame] | 11 | from keybindingDialog import GetKeysDialog |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 12 | from configSectionNameDialog import GetCfgSectionNameDialog |
Steven M. Gava | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 13 | class ConfigDialog(Toplevel): |
Steven M. Gava | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 14 | """ |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 15 | configuration dialog for idle |
| 16 | """ |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 17 | def __init__(self,parent,title): |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 18 | Toplevel.__init__(self, parent) |
| 19 | self.configure(borderwidth=5) |
| 20 | self.geometry("+%d+%d" % (parent.winfo_rootx()+20, |
| 21 | parent.winfo_rooty()+30)) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 22 | #Theme Elements. Each theme element key is it's display name. |
| 23 | #The first value of the tuple is the sample area tag name. |
| 24 | #The second value is the display name list sort index. |
| 25 | #The third value indicates whether the element can have a foreground |
| 26 | #or background colour or both. |
Steven M. Gava | ad4f532 | 2002-01-03 12:05:17 +0000 | [diff] [blame] | 27 | self.themeElements={'Normal Text':('normal','00'), |
| 28 | 'Python Keywords':('keyword','01'), |
| 29 | 'Python Definitions':('definition','02'), |
| 30 | 'Python Comments':('comment','03'), |
| 31 | 'Python Strings':('string','04'), |
| 32 | 'Selected Text':('hilite','05'), |
| 33 | 'Found Text':('hit','06'), |
| 34 | 'Cursor':('cursor','07'), |
| 35 | 'Error Text':('error','08'), |
| 36 | 'Shell Normal Text':('console','09'), |
| 37 | 'Shell Stdout Text':('stdout','10'), |
| 38 | 'Shell Stderr Text':('stderr','11')} |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 39 | #changedItems. When any config item is changed in this dialog, an entry |
| 40 | #should be made in the relevant section (config type) of this |
| 41 | #dictionary. The key should be the config file section name and the |
| 42 | #value a dictionary, whose key:value pairs are item=value pairs for |
| 43 | #that config file section. |
| 44 | self.changedItems={'main':{},'highlight':{},'keys':{},'extensions':{}} |
| 45 | #defaultItems. This dictionary is loaded with the values from the |
| 46 | #default config files. It is used for comparison with self.changedItems |
| 47 | #to decide which changed items actually need saving. |
| 48 | self.defaultItems=self.GetDefaultItems() |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 49 | self.CreateWidgets() |
| 50 | self.resizable(height=FALSE,width=FALSE) |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 51 | self.transient(parent) |
| 52 | self.grab_set() |
| 53 | self.protocol("WM_DELETE_WINDOW", self.Cancel) |
| 54 | self.parent = parent |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 55 | self.tabPages.focus_set() |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 56 | #key bindings for this dialog |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 57 | #self.bind('<Escape>',self.Cancel) #dismiss dialog, no save |
| 58 | #self.bind('<Alt-a>',self.Apply) #apply changes, save |
| 59 | #self.bind('<F1>',self.Help) #context help |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 60 | self.LoadConfigs() |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 61 | self.AttachVarCallbacks() #avoid callbacks during LoadConfigs |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 62 | self.wait_window() |
| 63 | |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 64 | def CreateWidgets(self): |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 65 | self.tabPages = TabPageSet(self, |
| 66 | pageNames=['Fonts/Tabs','Highlighting','Keys','General']) |
Steven M. Gava | ad4f532 | 2002-01-03 12:05:17 +0000 | [diff] [blame] | 67 | self.tabPages.ChangePage()#activates default (first) page |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 68 | frameActionButtons = Frame(self) |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 69 | #action buttons |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 70 | self.buttonHelp = Button(frameActionButtons,text='Help', |
| 71 | command=self.Help,takefocus=FALSE) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 72 | self.buttonOk = Button(frameActionButtons,text='Ok', |
| 73 | command=self.Ok,takefocus=FALSE) |
| 74 | self.buttonApply = Button(frameActionButtons,text='Apply', |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 75 | command=self.Apply,takefocus=FALSE) |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 76 | self.buttonCancel = Button(frameActionButtons,text='Cancel', |
| 77 | command=self.Cancel,takefocus=FALSE) |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 78 | self.CreatePageFontTab() |
| 79 | self.CreatePageHighlight() |
| 80 | self.CreatePageKeys() |
| 81 | self.CreatePageGeneral() |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 82 | self.buttonHelp.pack(side=RIGHT,padx=5,pady=5) |
| 83 | self.buttonOk.pack(side=LEFT,padx=5,pady=5) |
| 84 | self.buttonApply.pack(side=LEFT,padx=5,pady=5) |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 85 | self.buttonCancel.pack(side=LEFT,padx=5,pady=5) |
| 86 | frameActionButtons.pack(side=BOTTOM) |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 87 | self.tabPages.pack(side=TOP,expand=TRUE,fill=BOTH) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 88 | |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 89 | def CreatePageFontTab(self): |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 90 | #tkVars |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 91 | self.fontSize=StringVar(self) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 92 | self.fontBold=BooleanVar(self) |
| 93 | self.fontName=StringVar(self) |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 94 | self.spaceNum=IntVar(self) |
| 95 | self.tabCols=IntVar(self) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 96 | self.indentBySpaces=BooleanVar(self) |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 97 | self.editFont=tkFont.Font(self,('courier',12,'normal')) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 98 | ##widget creation |
| 99 | #body frame |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 100 | frame=self.tabPages.pages['Fonts/Tabs']['page'] |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 101 | #body section frames |
| 102 | frameFont=Frame(frame,borderwidth=2,relief=GROOVE) |
| 103 | frameIndent=Frame(frame,borderwidth=2,relief=GROOVE) |
| 104 | #frameFont |
| 105 | labelFontTitle=Label(frameFont,text='Set Base Editor Font') |
| 106 | frameFontName=Frame(frameFont) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 107 | frameFontParam=Frame(frameFont) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 108 | labelFontNameTitle=Label(frameFontName,justify=LEFT, |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 109 | text='Font :') |
| 110 | self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE, |
| 111 | exportselection=FALSE) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 112 | self.listFontName.bind('<ButtonRelease-1>',self.OnListFontButtonRelease) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 113 | scrollFont=Scrollbar(frameFontName) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 114 | scrollFont.config(command=self.listFontName.yview) |
| 115 | self.listFontName.config(yscrollcommand=scrollFont.set) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 116 | labelFontSizeTitle=Label(frameFontParam,text='Size :') |
| 117 | self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None, |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 118 | command=self.SetFontSample) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 119 | checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold, |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 120 | onvalue=1,offvalue=0,text='Bold',command=self.SetFontSample) |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 121 | frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1) |
| 122 | self.labelFontSample=Label(frameFontSample, |
| 123 | text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]', |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 124 | justify=LEFT,font=self.editFont) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 125 | #frameIndent |
| 126 | labelIndentTitle=Label(frameIndent,text='Set Indentation Defaults') |
| 127 | frameIndentType=Frame(frameIndent) |
| 128 | frameIndentSize=Frame(frameIndent) |
| 129 | labelIndentTypeTitle=Label(frameIndentType, |
| 130 | text='Choose indentation type :') |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 131 | radioUseSpaces=Radiobutton(frameIndentType,variable=self.indentBySpaces, |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 132 | value=1,text='Tab key inserts spaces') |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 133 | radioUseTabs=Radiobutton(frameIndentType,variable=self.indentBySpaces, |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 134 | value=0,text='Tab key inserts tabs') |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 135 | labelIndentSizeTitle=Label(frameIndentSize, |
| 136 | text='Choose indentation size :') |
| 137 | labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT, |
| 138 | text='when tab key inserts spaces,\nspaces per tab') |
| 139 | self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum, |
| 140 | orient='horizontal',tickinterval=2,from_=2,to=8) |
| 141 | labeltabColsTitle=Label(frameIndentSize,justify=LEFT, |
| 142 | text='when tab key inserts tabs,\ncolumns per tab') |
| 143 | self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols, |
| 144 | orient='horizontal',tickinterval=2,from_=2,to=8) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 145 | #widget packing |
| 146 | #body |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 147 | frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH) |
| 148 | frameIndent.pack(side=LEFT,padx=5,pady=10,fill=Y) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 149 | #frameFont |
| 150 | labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 151 | frameFontName.pack(side=TOP,padx=5,pady=5,fill=X) |
| 152 | frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 153 | labelFontNameTitle.pack(side=TOP,anchor=W) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 154 | self.listFontName.pack(side=LEFT,expand=TRUE,fill=X) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 155 | scrollFont.pack(side=LEFT,fill=Y) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 156 | labelFontSizeTitle.pack(side=LEFT,anchor=W) |
| 157 | self.optMenuFontSize.pack(side=LEFT,anchor=W) |
| 158 | checkFontBold.pack(side=LEFT,anchor=W,padx=20) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 159 | frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 160 | self.labelFontSample.pack(expand=TRUE,fill=BOTH) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 161 | #frameIndent |
| 162 | labelIndentTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 163 | frameIndentType.pack(side=TOP,padx=5,fill=X) |
| 164 | frameIndentSize.pack(side=TOP,padx=5,pady=5,fill=BOTH) |
| 165 | labelIndentTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 166 | radioUseSpaces.pack(side=TOP,anchor=W,padx=5) |
| 167 | radioUseTabs.pack(side=TOP,anchor=W,padx=5) |
| 168 | labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 169 | labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5) |
| 170 | self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X) |
| 171 | labeltabColsTitle.pack(side=TOP,anchor=W,padx=5) |
| 172 | self.scaleTabCols.pack(side=TOP,padx=5,fill=X) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 173 | return frame |
| 174 | |
| 175 | def CreatePageHighlight(self): |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 176 | self.builtinTheme=StringVar(self) |
| 177 | self.customTheme=StringVar(self) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 178 | self.fgHilite=BooleanVar(self) |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 179 | self.colour=StringVar(self) |
| 180 | self.fontName=StringVar(self) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 181 | self.themeIsBuiltin=BooleanVar(self) |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 182 | self.highlightTarget=StringVar(self) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 183 | ##widget creation |
| 184 | #body frame |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 185 | frame=self.tabPages.pages['Highlighting']['page'] |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 186 | #body section frames |
| 187 | frameCustom=Frame(frame,borderwidth=2,relief=GROOVE) |
| 188 | frameTheme=Frame(frame,borderwidth=2,relief=GROOVE) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 189 | #frameCustom |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 190 | self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1, |
| 191 | font=('courier',12,''),cursor='hand2',width=10,height=10, |
| 192 | takefocus=FALSE,highlightthickness=0) |
| 193 | text=self.textHighlightSample |
| 194 | text.bind('<Double-Button-1>',lambda e: 'break') |
| 195 | text.bind('<B1-Motion>',lambda e: 'break') |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 196 | textAndTags=(('#you can click in here','comment'),('\n','normal'), |
| 197 | ('#to choose items','comment'),('\n','normal'),('def','keyword'), |
| 198 | (' ','normal'),('func','definition'),('(param):','normal'), |
| 199 | ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'), |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 200 | ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'hilite'), |
| 201 | ('\n var2 = ','normal'),("'found'",'hit'),('\n\n','normal'), |
Steven M. Gava | 9930061 | 2001-11-04 07:03:08 +0000 | [diff] [blame] | 202 | (' error ','error'),(' ','normal'),('cursor |','cursor'), |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 203 | ('\n ','normal'),('shell','console'),(' ','normal'),('stdout','stdout'), |
| 204 | (' ','normal'),('stderr','stderr'),('\n','normal')) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 205 | for txTa in textAndTags: |
| 206 | text.insert(END,txTa[0],txTa[1]) |
| 207 | for element in self.themeElements.keys(): |
| 208 | text.tag_bind(self.themeElements[element][0],'<ButtonPress-1>', |
| 209 | lambda event,elem=element: event.widget.winfo_toplevel() |
| 210 | .highlightTarget.set(elem)) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 211 | text.config(state=DISABLED) |
| 212 | self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1) |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 213 | frameFgBg=Frame(frameCustom) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 214 | labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting') |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 215 | buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :', |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 216 | command=self.GetColour,highlightthickness=0) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 217 | self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet, |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 218 | self.highlightTarget,None,highlightthickness=0)#,command=self.SetHighlightTargetBinding |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 219 | self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite, |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 220 | value=1,text='Foreground',command=self.SetColourSampleBinding) |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 221 | self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite, |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 222 | value=0,text='Background',command=self.SetColourSampleBinding) |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 223 | self.fgHilite.set(1) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 224 | buttonSaveCustomTheme=Button(frameCustom, |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 225 | text='Save as New Custom Theme') |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 226 | #frameTheme |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 227 | labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme') |
| 228 | labelTypeTitle=Label(frameTheme,text='Select : ') |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 229 | self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeIsBuiltin, |
| 230 | value=1,command=self.SetThemeType,text='a Built-in Theme') |
| 231 | self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeIsBuiltin, |
| 232 | value=0,command=self.SetThemeType,text='a Custom Theme') |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 233 | self.optMenuThemeBuiltin=DynOptionMenu(frameTheme, |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 234 | self.builtinTheme,None,command=None) |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 235 | self.optMenuThemeCustom=DynOptionMenu(frameTheme, |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 236 | self.customTheme,None,command=None) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 237 | self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme') |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 238 | ##widget packing |
| 239 | #body |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 240 | frameCustom.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH) |
| 241 | frameTheme.pack(side=LEFT,padx=5,pady=10,fill=Y) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 242 | #frameCustom |
| 243 | labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 244 | self.frameColourSet.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=X) |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 245 | frameFgBg.pack(side=TOP,padx=5,pady=0) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 246 | self.textHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE, |
| 247 | fill=BOTH) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 248 | buttonSetColour.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=4) |
| 249 | self.optMenuHighlightTarget.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=3) |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 250 | self.radioFg.pack(side=LEFT,anchor=E) |
| 251 | self.radioBg.pack(side=RIGHT,anchor=W) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 252 | buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 253 | #frameTheme |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 254 | labelThemeTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 255 | labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 256 | self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5) |
| 257 | self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 258 | self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5) |
| 259 | self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 260 | self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 261 | return frame |
| 262 | |
| 263 | def CreatePageKeys(self): |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 264 | #tkVars |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 265 | self.bindingTarget=StringVar(self) |
| 266 | self.builtinKeys=StringVar(self) |
| 267 | self.customKeys=StringVar(self) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 268 | self.keysAreDefault=BooleanVar(self) |
| 269 | self.keyBinding=StringVar(self) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 270 | ##widget creation |
| 271 | #body frame |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 272 | frame=self.tabPages.pages['Keys']['page'] |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 273 | #body section frames |
| 274 | frameCustom=Frame(frame,borderwidth=2,relief=GROOVE) |
| 275 | frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE) |
| 276 | #frameCustom |
| 277 | frameTarget=Frame(frameCustom) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 278 | labelCustomTitle=Label(frameCustom,text='Set Custom Key Bindings') |
Steven M. Gava | facfc09 | 2002-01-19 00:29:54 +0000 | [diff] [blame] | 279 | labelTargetTitle=Label(frameTarget,text='Action - Key(s)') |
| 280 | scrollTargetY=Scrollbar(frameTarget) |
| 281 | scrollTargetX=Scrollbar(frameTarget,orient=HORIZONTAL) |
| 282 | self.listBindings=Listbox(frameTarget) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 283 | self.listBindings.bind('<ButtonRelease-1>',self.KeyBindingSelected) |
Steven M. Gava | facfc09 | 2002-01-19 00:29:54 +0000 | [diff] [blame] | 284 | scrollTargetY.config(command=self.listBindings.yview) |
| 285 | scrollTargetX.config(command=self.listBindings.xview) |
| 286 | self.listBindings.config(yscrollcommand=scrollTargetY.set) |
| 287 | self.listBindings.config(xscrollcommand=scrollTargetX.set) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 288 | self.buttonNewKeys=Button(frameCustom,text='Get New Keys for Selection', |
| 289 | command=self.GetNewKeys,state=DISABLED) |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 290 | buttonSaveCustomKeys=Button(frameCustom,text='Save as New Custom Key Set') |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 291 | #frameKeySets |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 292 | labelKeysTitle=Label(frameKeySets,text='Select a Key Set') |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 293 | labelTypeTitle=Label(frameKeySets,text='Select : ') |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 294 | self.radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysAreDefault, |
| 295 | value=1,command=self.SetKeysType,text='a Built-in Key Set') |
| 296 | self.radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysAreDefault, |
| 297 | value=0,command=self.SetKeysType,text='a Custom Key Set') |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 298 | self.optMenuKeysBuiltin=DynOptionMenu(frameKeySets, |
| 299 | self.builtinKeys,None,command=None) |
| 300 | self.optMenuKeysCustom=DynOptionMenu(frameKeySets, |
| 301 | self.customKeys,None,command=None) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 302 | self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set') |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 303 | ##widget packing |
| 304 | #body |
| 305 | frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH) |
| 306 | frameKeySets.pack(side=LEFT,padx=5,pady=5,fill=Y) |
| 307 | #frameCustom |
| 308 | labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 309 | buttonSaveCustomKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 310 | self.buttonNewKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5) |
Steven M. Gava | facfc09 | 2002-01-19 00:29:54 +0000 | [diff] [blame] | 311 | frameTarget.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH) |
| 312 | #frame target |
| 313 | frameTarget.columnconfigure(0,weight=1) |
| 314 | frameTarget.rowconfigure(1,weight=1) |
| 315 | labelTargetTitle.grid(row=0,column=0,columnspan=2,sticky=W) |
| 316 | self.listBindings.grid(row=1,column=0,sticky=NSEW) |
| 317 | scrollTargetY.grid(row=1,column=1,sticky=NS) |
| 318 | scrollTargetX.grid(row=2,column=0,sticky=EW) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 319 | #frameKeySets |
| 320 | labelKeysTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 321 | labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 322 | self.radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5) |
| 323 | self.radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 324 | self.optMenuKeysBuiltin.pack(side=TOP,fill=X,padx=5,pady=5) |
| 325 | self.optMenuKeysCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5) |
| 326 | self.buttonDeleteCustomKeys.pack(side=TOP,fill=X,padx=5,pady=5) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 327 | return frame |
| 328 | |
| 329 | def CreatePageGeneral(self): |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 330 | #tkVars |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 331 | self.winWidth=StringVar(self) |
| 332 | self.winHeight=StringVar(self) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 333 | self.startupEdit=IntVar(self) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 334 | self.extEnabled=IntVar(self) |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 335 | #widget creation |
| 336 | #body |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 337 | frame=self.tabPages.pages['General']['page'] |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 338 | #body section frames |
| 339 | frameRun=Frame(frame,borderwidth=2,relief=GROOVE) |
| 340 | frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE) |
| 341 | frameExt=Frame(frame,borderwidth=2,relief=GROOVE) |
| 342 | #frameRun |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 343 | labelRunTitle=Label(frameRun,text='Startup Preferences') |
| 344 | labelRunChoiceTitle=Label(frameRun,text='On startup : ') |
| 345 | radioStartupEdit=Radiobutton(frameRun,variable=self.startupEdit, |
| 346 | value=1,command=self.SetKeysType,text="open Edit Window") |
| 347 | radioStartupShell=Radiobutton(frameRun,variable=self.startupEdit, |
| 348 | value=0,command=self.SetKeysType,text='open Shell Window') |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 349 | #frameWinSize |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 350 | labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size'+ |
| 351 | ' (in characters)') |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 352 | labelWinWidthTitle=Label(frameWinSize,text='Width') |
| 353 | entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth, |
| 354 | width=3) |
| 355 | labelWinHeightTitle=Label(frameWinSize,text='Height') |
| 356 | entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight, |
| 357 | width=3) |
| 358 | #frameExt |
| 359 | frameExtList=Frame(frameExt) |
| 360 | frameExtSet=Frame(frameExt) |
| 361 | labelExtTitle=Label(frameExt,text='Configure IDLE Extensions') |
| 362 | labelExtListTitle=Label(frameExtList,text='Extension') |
| 363 | scrollExtList=Scrollbar(frameExtList) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 364 | self.listExt=Listbox(frameExtList,height=5) |
| 365 | scrollExtList.config(command=self.listExt.yview) |
| 366 | self.listExt.config(yscrollcommand=scrollExtList.set) |
| 367 | self.listExt.bind('<ButtonRelease-1>',self.ExtensionSelected) |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 368 | labelExtSetTitle=Label(frameExtSet,text='Settings') |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 369 | self.radioEnableExt=Radiobutton(frameExtSet,variable=self.extEnabled, |
Steven M. Gava | bbf5ef5 | 2002-01-22 11:35:50 +0000 | [diff] [blame] | 370 | value=1,text="enabled",state=DISABLED, |
| 371 | command=self.ExtensionStateToggled) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 372 | self.radioDisableExt=Radiobutton(frameExtSet,variable=self.extEnabled, |
Steven M. Gava | bbf5ef5 | 2002-01-22 11:35:50 +0000 | [diff] [blame] | 373 | value=0,text="disabled",state=DISABLED, |
| 374 | command=self.ExtensionStateToggled) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 375 | self.buttonExtConfig=Button(frameExtSet,text='Configure',state=DISABLED) |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 376 | #widget packing |
| 377 | #body |
| 378 | frameRun.pack(side=TOP,padx=5,pady=5,fill=X) |
| 379 | frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X) |
| 380 | frameExt.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH) |
| 381 | #frameRun |
| 382 | labelRunTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 383 | labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 384 | radioStartupEdit.pack(side=LEFT,anchor=W,padx=5,pady=5) |
| 385 | radioStartupShell.pack(side=LEFT,anchor=W,padx=5,pady=5) |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 386 | #frameWinSize |
Steven M. Gava | facfc09 | 2002-01-19 00:29:54 +0000 | [diff] [blame] | 387 | labelWinSizeTitle.pack(side=LEFT,anchor=W,padx=5,pady=5) |
| 388 | entryWinHeight.pack(side=RIGHT,anchor=E,padx=10,pady=5) |
| 389 | labelWinHeightTitle.pack(side=RIGHT,anchor=E,pady=5) |
| 390 | entryWinWidth.pack(side=RIGHT,anchor=E,padx=10,pady=5) |
| 391 | labelWinWidthTitle.pack(side=RIGHT,anchor=E,pady=5) |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 392 | #frameExt |
| 393 | labelExtTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 394 | frameExtSet.pack(side=RIGHT,padx=5,pady=5,fill=Y) |
| 395 | frameExtList.pack(side=RIGHT,padx=5,pady=5,expand=TRUE,fill=BOTH) |
| 396 | labelExtListTitle.pack(side=TOP,anchor=W) |
| 397 | scrollExtList.pack(side=RIGHT,anchor=W,fill=Y) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 398 | self.listExt.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH) |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 399 | labelExtSetTitle.pack(side=TOP,anchor=W) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 400 | self.radioEnableExt.pack(side=TOP,anchor=W) |
| 401 | self.radioDisableExt.pack(side=TOP,anchor=W) |
| 402 | self.buttonExtConfig.pack(side=TOP,anchor=W,pady=5) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 403 | return frame |
| 404 | |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 405 | def AttachVarCallbacks(self): |
| 406 | self.fontSize.trace_variable('w',self.VarChanged_fontSize) |
| 407 | self.fontName.trace_variable('w',self.VarChanged_fontName) |
| 408 | self.fontBold.trace_variable('w',self.VarChanged_fontBold) |
| 409 | self.spaceNum.trace_variable('w',self.VarChanged_spaceNum) |
| 410 | self.tabCols.trace_variable('w',self.VarChanged_tabCols) |
| 411 | self.indentBySpaces.trace_variable('w',self.VarChanged_indentBySpaces) |
| 412 | self.colour.trace_variable('w',self.VarChanged_colour) |
| 413 | self.keyBinding.trace_variable('w',self.VarChanged_keyBinding) |
| 414 | self.winWidth.trace_variable('w',self.VarChanged_winWidth) |
| 415 | self.winHeight.trace_variable('w',self.VarChanged_winHeight) |
| 416 | self.startupEdit.trace_variable('w',self.VarChanged_startupEdit) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 417 | |
| 418 | def VarChanged_fontSize(self,*params): |
| 419 | value=self.fontSize.get() |
| 420 | self.AddChangedItem('main','EditorWindow','font-size',value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 421 | |
| 422 | def VarChanged_fontName(self,*params): |
| 423 | value=self.fontName.get() |
| 424 | self.AddChangedItem('main','EditorWindow','font',value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 425 | |
| 426 | def VarChanged_fontBold(self,*params): |
| 427 | value=self.fontBold.get() |
| 428 | self.AddChangedItem('main','EditorWindow','font-bold',value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 429 | |
| 430 | def VarChanged_indentBySpaces(self,*params): |
| 431 | value=self.indentBySpaces.get() |
| 432 | self.AddChangedItem('main','Indent','use-spaces',value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 433 | |
| 434 | def VarChanged_spaceNum(self,*params): |
| 435 | value=self.spaceNum.get() |
| 436 | self.AddChangedItem('main','Indent','num-spaces',value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 437 | |
| 438 | def VarChanged_tabCols(self,*params): |
| 439 | value=self.tabCols.get() |
| 440 | self.AddChangedItem('main','Indent','tab-cols',value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 441 | |
| 442 | def VarChanged_colour(self,*params): |
Steven M. Gava | bbf5ef5 | 2002-01-22 11:35:50 +0000 | [diff] [blame] | 443 | value=self.colour.get() |
| 444 | theme=self.customTheme.get() |
| 445 | element=self.themeElements[self.highlightTarget.get()][0] |
| 446 | self.AddChangedItem('highlight',theme,element,value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 447 | print params |
Steven M. Gava | bbf5ef5 | 2002-01-22 11:35:50 +0000 | [diff] [blame] | 448 | |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 449 | def VarChanged_keyBinding(self,*params): |
Steven M. Gava | bbf5ef5 | 2002-01-22 11:35:50 +0000 | [diff] [blame] | 450 | value=self.keyBinding.get() |
| 451 | keySet=self.customKeys.get() |
| 452 | event=self.listBindings.get(ANCHOR).split()[0] |
| 453 | self.AddChangedItem('keys',keySet,event,value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 454 | print params |
| 455 | |
| 456 | def VarChanged_winWidth(self,*params): |
Steven M. Gava | bbf5ef5 | 2002-01-22 11:35:50 +0000 | [diff] [blame] | 457 | value=self.winWidth.get() |
| 458 | self.AddChangedItem('main','EditorWindow','width',value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 459 | |
| 460 | def VarChanged_winHeight(self,*params): |
Steven M. Gava | bbf5ef5 | 2002-01-22 11:35:50 +0000 | [diff] [blame] | 461 | value=self.winHeight.get() |
| 462 | self.AddChangedItem('main','EditorWindow','height',value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 463 | |
| 464 | def VarChanged_startupEdit(self,*params): |
Steven M. Gava | bbf5ef5 | 2002-01-22 11:35:50 +0000 | [diff] [blame] | 465 | value=self.startupEdit.get() |
| 466 | self.AddChangedItem('main','General','editor-on-startup',value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 467 | |
Steven M. Gava | bbf5ef5 | 2002-01-22 11:35:50 +0000 | [diff] [blame] | 468 | def ExtensionStateToggled(self): |
| 469 | #callback for the extension enable/disable radio buttons |
| 470 | value=self.extEnabled.get() |
| 471 | extension=self.listExt.get(ANCHOR) |
| 472 | self.AddChangedItem('extensions',extension,'enabled',value) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 473 | |
| 474 | def AddChangedItem(self,type,section,item,value): |
| 475 | if not self.changedItems[type].has_key(section): |
| 476 | self.changedItems[type][section]={} |
| 477 | self.changedItems[type][section][item]=value |
Steven M. Gava | bbf5ef5 | 2002-01-22 11:35:50 +0000 | [diff] [blame] | 478 | print type,section,item,value |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 479 | |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 480 | def GetDefaultItems(self): |
| 481 | dItems={'main':{},'highlight':{},'keys':{},'extensions':{}} |
| 482 | for configType in dItems.keys(): |
| 483 | sections=idleConf.GetSectionList('default',configType) |
| 484 | for section in sections: |
| 485 | dItems[configType][section]={} |
| 486 | options=idleConf.defaultCfg[configType].GetOptionList(section) |
| 487 | for option in options: |
| 488 | dItems[configType][section][option]=( |
| 489 | idleConf.defaultCfg[configType].Get(section,option)) |
| 490 | return dItems |
| 491 | |
| 492 | def SetThemeType(self): |
| 493 | if self.themeIsBuiltin.get(): |
| 494 | self.optMenuThemeBuiltin.config(state=NORMAL) |
| 495 | self.optMenuThemeCustom.config(state=DISABLED) |
| 496 | self.buttonDeleteCustomTheme.config(state=DISABLED) |
| 497 | else: |
| 498 | self.optMenuThemeBuiltin.config(state=DISABLED) |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 499 | self.radioThemeCustom.config(state=NORMAL) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 500 | self.optMenuThemeCustom.config(state=NORMAL) |
| 501 | self.buttonDeleteCustomTheme.config(state=NORMAL) |
| 502 | |
| 503 | def SetKeysType(self): |
| 504 | if self.keysAreDefault.get(): |
| 505 | self.optMenuKeysBuiltin.config(state=NORMAL) |
| 506 | self.optMenuKeysCustom.config(state=DISABLED) |
| 507 | self.buttonDeleteCustomKeys.config(state=DISABLED) |
| 508 | else: |
| 509 | self.optMenuKeysBuiltin.config(state=DISABLED) |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 510 | self.radioKeysCustom.config(state=NORMAL) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 511 | self.optMenuKeysCustom.config(state=NORMAL) |
| 512 | self.buttonDeleteCustomKeys.config(state=NORMAL) |
| 513 | |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 514 | def GetNewKeys(self): |
| 515 | listIndex=self.listBindings.index(ANCHOR) |
| 516 | binding=self.listBindings.get(listIndex) |
| 517 | bindName=binding.split()[0] #first part, up to first space |
| 518 | currentKeySequences=idleConf.GetCurrentKeySet().values() |
| 519 | newKeys=GetKeysDialog(self,'Get New Keys',bindName,currentKeySequences) |
| 520 | if newKeys.result: #new keys were specified |
| 521 | if self.keysAreDefault.get(): #current key set is a built-in |
| 522 | message=('Your changes will be saved as a new Custom Key Set. '+ |
| 523 | 'Enter a name for your new Custom Key Set below.') |
| 524 | usedNames=idleConf.GetSectionList('user','keys') |
| 525 | newKeySet=GetCfgSectionNameDialog(self,'New Custom Key Set', |
| 526 | message,usedNames) |
| 527 | if not newKeySet.result: #user cancelled custom key set creation |
| 528 | self.listBindings.select_set(listIndex) |
| 529 | self.listBindings.select_anchor(listIndex) |
| 530 | return |
| 531 | else: #create new custom key set based on previously active key set |
| 532 | self.CreateNewKeySet(newKeySet.result) |
| 533 | self.listBindings.delete(listIndex) |
| 534 | self.listBindings.insert(listIndex,bindName+' - '+newKeys.result) |
| 535 | self.listBindings.select_set(listIndex) |
| 536 | self.listBindings.select_anchor(listIndex) |
| 537 | self.keyBinding.set(newKeys.result) |
| 538 | else: |
| 539 | self.listBindings.select_set(listIndex) |
| 540 | self.listBindings.select_anchor(listIndex) |
| 541 | |
| 542 | def KeyBindingSelected(self,event): |
| 543 | self.buttonNewKeys.config(state=NORMAL) |
| 544 | |
| 545 | def CreateNewKeySet(self,newKeySetName): |
| 546 | #creates new custom key set based on the previously active key set, |
| 547 | #and makes the new key set active |
| 548 | if self.keysAreDefault.get(): |
| 549 | keySetName=self.builtinKeys.get() |
| 550 | else: |
| 551 | keySetName=self.customKeys.get() |
| 552 | prevKeySet=idleConf.GetKeySet(keySetName) |
| 553 | #add the new key set to changedItems |
| 554 | for event in prevKeySet.keys(): |
| 555 | eventName=event[2:-2] #trim off the angle brackets |
| 556 | self.AddChangedItem('keys',newKeySetName,eventName, |
| 557 | prevKeySet[event]) |
| 558 | #change gui over to the new key set |
| 559 | customKeyList=idleConf.GetSectionList('user','keys') |
| 560 | customKeyList.append(newKeySetName) |
| 561 | customKeyList.sort() |
| 562 | print newKeySetName,customKeyList,self.changedItems['keys'][newKeySetName] |
| 563 | self.optMenuKeysCustom.SetMenu(customKeyList,newKeySetName) |
| 564 | self.keysAreDefault.set(0) |
| 565 | self.SetKeysType() |
| 566 | |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 567 | def GetColour(self): |
| 568 | target=self.highlightTarget.get() |
| 569 | rgbTuplet, colourString = tkColorChooser.askcolor(parent=self, |
| 570 | title='Pick new colour for : '+target, |
| 571 | initialcolor=self.frameColourSet.cget('bg')) |
| 572 | if colourString: #user didn't cancel |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 573 | if self.themeIsBuiltin.get(): #current theme is a built-in |
| 574 | message=('Your changes will be saved as a new Custom Theme. '+ |
| 575 | 'Enter a name for your new Custom Theme below.') |
| 576 | usedNames=idleConf.GetSectionList('user','highlight') |
| 577 | newTheme=GetCfgSectionNameDialog(self,'New Custom Theme', |
| 578 | message,usedNames) |
| 579 | if not newTheme.result: #user cancelled custom theme creation |
| 580 | return |
| 581 | else: #create new custom theme based on previously active theme |
| 582 | self.CreateNewTheme(newTheme.result) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 583 | self.colour.set(colourString) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 584 | self.frameColourSet.config(bg=colourString)#set sample |
| 585 | if self.fgHilite.get(): plane='foreground' |
| 586 | else: plane='background' |
| 587 | apply(self.textHighlightSample.tag_config, |
| 588 | (self.themeElements[target][0],),{plane:colourString}) |
| 589 | |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 590 | def CreateNewTheme(self,newThemeName): |
| 591 | #creates new custom theme based on the previously active theme, |
| 592 | #and makes the new theme active |
| 593 | if self.themeIsBuiltin.get(): |
| 594 | themeType='default' |
| 595 | themeName=self.builtinTheme.get() |
| 596 | else: |
| 597 | themeType='user' |
| 598 | themeName=self.customTheme.get() |
| 599 | newTheme=idleConf.GetThemeDict(themeType,themeName) |
| 600 | #add the new theme to changedItems |
| 601 | self.changedItems['highlight'][newThemeName]=newTheme |
| 602 | #change gui over to the new theme |
| 603 | customThemeList=idleConf.GetSectionList('user','highlight') |
| 604 | customThemeList.append(newThemeName) |
| 605 | customThemeList.sort() |
| 606 | print newThemeName,customThemeList,newTheme |
| 607 | self.optMenuThemeCustom.SetMenu(customThemeList,newThemeName) |
| 608 | self.themeIsBuiltin.set(0) |
| 609 | self.SetThemeType() |
| 610 | |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 611 | def OnListFontButtonRelease(self,event): |
| 612 | self.fontName.set(self.listFontName.get(ANCHOR)) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 613 | self.SetFontSample() |
| 614 | |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 615 | def SetFontSample(self,event=None): |
| 616 | fontName=self.fontName.get() |
| 617 | if self.fontBold.get(): |
| 618 | fontWeight=tkFont.BOLD |
| 619 | else: |
| 620 | fontWeight=tkFont.NORMAL |
| 621 | self.editFont.config(size=self.fontSize.get(), |
| 622 | weight=fontWeight,family=fontName) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 623 | |
| 624 | def SetHighlightTargetBinding(self,*args): |
| 625 | self.SetHighlightTarget() |
| 626 | |
| 627 | def SetHighlightTarget(self): |
| 628 | if self.highlightTarget.get()=='Cursor': #bg not possible |
| 629 | self.radioFg.config(state=DISABLED) |
| 630 | self.radioBg.config(state=DISABLED) |
| 631 | self.fgHilite.set(1) |
| 632 | else: #both fg and bg can be set |
| 633 | self.radioFg.config(state=NORMAL) |
| 634 | self.radioBg.config(state=NORMAL) |
| 635 | self.fgHilite.set(1) |
| 636 | self.SetColourSample() |
| 637 | |
| 638 | def SetColourSampleBinding(self,*args): |
| 639 | self.SetColourSample() |
| 640 | |
| 641 | def SetColourSample(self): |
| 642 | #set the colour smaple area |
| 643 | tag=self.themeElements[self.highlightTarget.get()][0] |
| 644 | if self.fgHilite.get(): plane='foreground' |
| 645 | else: plane='background' |
| 646 | colour=self.textHighlightSample.tag_cget(tag,plane) |
| 647 | self.frameColourSet.config(bg=colour) |
| 648 | |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 649 | def PaintThemeSample(self): |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 650 | if self.themeIsBuiltin.get(): #a default theme |
Steven M. Gava | 9930061 | 2001-11-04 07:03:08 +0000 | [diff] [blame] | 651 | theme=self.builtinTheme.get() |
| 652 | else: #a user theme |
| 653 | theme=self.customTheme.get() |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 654 | for element in self.themeElements.keys(): |
| 655 | colours=idleConf.GetHighlight(theme, self.themeElements[element][0]) |
Steven M. Gava | ad4f532 | 2002-01-03 12:05:17 +0000 | [diff] [blame] | 656 | if element=='Cursor': #cursor sample needs special painting |
| 657 | colours['background']=idleConf.GetHighlight(theme, |
Steven M. Gava | 0cae01c | 2002-01-04 07:53:06 +0000 | [diff] [blame] | 658 | 'normal', fgBg='bg') |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 659 | apply(self.textHighlightSample.tag_config, |
| 660 | (self.themeElements[element][0],),colours) |
Steven M. Gava | ad4f532 | 2002-01-03 12:05:17 +0000 | [diff] [blame] | 661 | |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 662 | def LoadFontCfg(self): |
| 663 | ##base editor font selection list |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 664 | fonts=list(tkFont.families(self)) |
| 665 | fonts.sort() |
| 666 | for font in fonts: |
| 667 | self.listFontName.insert(END,font) |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 668 | configuredFont=idleConf.GetOption('main','EditorWindow','font', |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 669 | default='courier') |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 670 | self.fontName.set(configuredFont) |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 671 | if configuredFont in fonts: |
| 672 | currentFontIndex=fonts.index(configuredFont) |
| 673 | self.listFontName.see(currentFontIndex) |
| 674 | self.listFontName.select_set(currentFontIndex) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 675 | self.listFontName.select_anchor(currentFontIndex) |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 676 | ##font size dropdown |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 677 | fontSize=idleConf.GetOption('main','EditorWindow','font-size', |
| 678 | default='12') |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 679 | self.optMenuFontSize.SetMenu(('10','11','12','13','14', |
| 680 | '16','18','20','22'),fontSize ) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 681 | ##fontWeight |
| 682 | self.fontBold.set(idleConf.GetOption('main','EditorWindow', |
| 683 | 'font-bold',default=0,type='bool')) |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 684 | ##font sample |
| 685 | self.SetFontSample() |
| 686 | |
| 687 | def LoadTabCfg(self): |
| 688 | ##indent type radibuttons |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 689 | spaceIndent=idleConf.GetOption('main','Indent','use-spaces', |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 690 | default=1,type='bool') |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 691 | self.indentBySpaces.set(spaceIndent) |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 692 | ##indent sizes |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 693 | spaceNum=idleConf.GetOption('main','Indent','num-spaces', |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 694 | default=4,type='int') |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 695 | tabCols=idleConf.GetOption('main','Indent','tab-cols', |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 696 | default=4,type='int') |
| 697 | self.spaceNum.set(spaceNum) |
| 698 | self.tabCols.set(tabCols) |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 699 | |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 700 | def LoadThemeCfg(self): |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 701 | ##current theme type radiobutton |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 702 | self.themeIsBuiltin.set(idleConf.GetOption('main','Theme','default', |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 703 | type='bool',default=1)) |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 704 | ##currently set theme |
Steven M. Gava | ad4f532 | 2002-01-03 12:05:17 +0000 | [diff] [blame] | 705 | currentOption=idleConf.CurrentTheme() |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 706 | ##load available theme option menus |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 707 | if self.themeIsBuiltin.get(): #default theme selected |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 708 | itemList=idleConf.GetSectionList('default','highlight') |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 709 | itemList.sort() |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 710 | self.optMenuThemeBuiltin.SetMenu(itemList,currentOption) |
| 711 | itemList=idleConf.GetSectionList('user','highlight') |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 712 | itemList.sort() |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 713 | if not itemList: |
| 714 | self.radioThemeCustom.config(state=DISABLED) |
| 715 | self.customTheme.set('- no custom themes -') |
| 716 | else: |
| 717 | self.optMenuThemeCustom.SetMenu(itemList,itemList[0]) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 718 | else: #user theme selected |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 719 | itemList=idleConf.GetSectionList('user','highlight') |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 720 | itemList.sort() |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 721 | self.optMenuThemeCustom.SetMenu(itemList,currentOption) |
| 722 | itemList=idleConf.GetSectionList('default','highlight') |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 723 | itemList.sort() |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 724 | self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0]) |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 725 | self.SetThemeType() |
| 726 | ##load theme element option menu |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 727 | themeNames=self.themeElements.keys() |
| 728 | themeNames.sort(self.__ThemeNameIndexCompare) |
| 729 | self.optMenuHighlightTarget.SetMenu(themeNames,themeNames[0]) |
| 730 | self.PaintThemeSample() |
Steven M. Gava | 0cae01c | 2002-01-04 07:53:06 +0000 | [diff] [blame] | 731 | self.SetHighlightTarget() |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 732 | |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 733 | def __ThemeNameIndexCompare(self,a,b): |
| 734 | if self.themeElements[a][1]<self.themeElements[b][1]: return -1 |
| 735 | elif self.themeElements[a][1]==self.themeElements[b][1]: return 0 |
| 736 | else: return 1 |
| 737 | |
| 738 | def LoadKeyCfg(self): |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 739 | ##current keys type radiobutton |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 740 | self.keysAreDefault.set(idleConf.GetOption('main','Keys','default', |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 741 | type='bool',default=1)) |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 742 | ##currently set keys |
Steven M. Gava | ad4f532 | 2002-01-03 12:05:17 +0000 | [diff] [blame] | 743 | currentOption=idleConf.CurrentKeys() |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 744 | ##load available keyset option menus |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 745 | if self.keysAreDefault.get(): #default theme selected |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 746 | itemList=idleConf.GetSectionList('default','keys') |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 747 | itemList.sort() |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 748 | self.optMenuKeysBuiltin.SetMenu(itemList,currentOption) |
| 749 | itemList=idleConf.GetSectionList('user','keys') |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 750 | itemList.sort() |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 751 | if not itemList: |
| 752 | self.radioKeysCustom.config(state=DISABLED) |
| 753 | self.customKeys.set('- no custom keys -') |
| 754 | else: |
| 755 | self.optMenuKeysCustom.SetMenu(itemList,itemList[0]) |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 756 | else: #user theme selected |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 757 | itemList=idleConf.GetSectionList('user','keys') |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 758 | itemList.sort() |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 759 | self.optMenuKeysCustom.SetMenu(itemList,currentOption) |
| 760 | itemList=idleConf.GetSectionList('default','keys') |
Steven M. Gava | f9bb90e | 2002-01-24 06:02:50 +0000 | [diff] [blame^] | 761 | itemList.sort() |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 762 | self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0]) |
| 763 | self.SetKeysType() |
Steven M. Gava | facfc09 | 2002-01-19 00:29:54 +0000 | [diff] [blame] | 764 | ##load keyset element list |
Steven M. Gava | c628a06 | 2002-01-19 10:33:21 +0000 | [diff] [blame] | 765 | keySet=idleConf.GetCurrentKeySet() |
Steven M. Gava | facfc09 | 2002-01-19 00:29:54 +0000 | [diff] [blame] | 766 | bindNames=keySet.keys() |
| 767 | bindNames.sort() |
| 768 | for bindName in bindNames: |
| 769 | key=string.join(keySet[bindName]) #make key(s) into a string |
| 770 | bindName=bindName[2:-2] #trim off the angle brackets |
| 771 | self.listBindings.insert(END, bindName+' - '+key) |
| 772 | |
Steven M. Gava | facfc09 | 2002-01-19 00:29:54 +0000 | [diff] [blame] | 773 | def LoadGeneralCfg(self): |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 774 | #startup state |
| 775 | self.startupEdit.set(idleConf.GetOption('main','General', |
| 776 | 'editor-on-startup',default=1,type='bool')) |
Steven M. Gava | facfc09 | 2002-01-19 00:29:54 +0000 | [diff] [blame] | 777 | #initial window size |
| 778 | self.winWidth.set(idleConf.GetOption('main','EditorWindow','width')) |
| 779 | self.winHeight.set(idleConf.GetOption('main','EditorWindow','height')) |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 780 | #extensions |
| 781 | extns=idleConf.GetExtensions(activeOnly=0) |
| 782 | apply(self.listExt.insert,(END,)+tuple(extns)) |
| 783 | |
| 784 | def ExtensionSelected(self,event): |
| 785 | self.radioEnableExt.config(state=NORMAL) |
| 786 | self.radioDisableExt.config(state=NORMAL) |
| 787 | self.buttonExtConfig.config(state=NORMAL) |
| 788 | extn=self.listExt.get(ANCHOR) |
Steven M. Gava | c112cd8 | 2002-01-22 05:56:40 +0000 | [diff] [blame] | 789 | self.extEnabled.set(idleConf.GetOption('extensions',extn,'enable', |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 790 | default=1,type='bool')) |
| 791 | |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 792 | def LoadConfigs(self): |
| 793 | """ |
| 794 | load configuration from default and user config files and populate |
| 795 | the widgets on the config dialog pages. |
| 796 | """ |
| 797 | ### fonts / tabs page |
| 798 | self.LoadFontCfg() |
| 799 | self.LoadTabCfg() |
| 800 | ### highlighting page |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 801 | self.LoadThemeCfg() |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 802 | ### keys page |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 803 | self.LoadKeyCfg() |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 804 | ### help page |
| 805 | ### general page |
Steven M. Gava | facfc09 | 2002-01-19 00:29:54 +0000 | [diff] [blame] | 806 | self.LoadGeneralCfg() |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 807 | |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 808 | def SaveConfigs(self): |
Steven M. Gava | 429a86a | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 809 | """ |
| 810 | save configuration changes to user config files. |
| 811 | """ |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 812 | #DEBUG |
| 813 | print self.defaultItems |
| 814 | print self.changedItems |
| 815 | for configType in self.changedItems.keys(): |
| 816 | for section in self.changedItems[configType].keys(): |
| 817 | for item in self.changedItems[configType][section].keys(): |
| 818 | #DEBUG |
| 819 | value=self.changedItems[configType][section][item] |
| 820 | print configType, section, item, value |
| 821 | print self.changedItems |
| 822 | |
Steven M. Gava | 5f28e8f | 2002-01-21 06:38:21 +0000 | [diff] [blame] | 823 | def Cancel(self): |
| 824 | self.destroy() |
| 825 | |
| 826 | def Ok(self): |
| 827 | self.Apply() |
| 828 | self.destroy() |
| 829 | |
| 830 | def Apply(self): |
| 831 | self.SaveConfigs() |
| 832 | |
| 833 | def Help(self): |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 834 | pass |
| 835 | |
Steven M. Gava | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 836 | if __name__ == '__main__': |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 837 | #test the dialog |
| 838 | root=Tk() |
| 839 | Button(root,text='Dialog', |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 840 | command=lambda:ConfigDialog(root,'Settings')).pack() |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 841 | root.mainloop() |