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 | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 6 | |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 7 | from configHandler import idleConf |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 8 | from dynOptionMenuWidget import DynOptionMenu |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 9 | from tabpage import TabPageSet |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 10 | |
Steven M. Gava | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 11 | class ConfigDialog(Toplevel): |
Steven M. Gava | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 12 | """ |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 13 | configuration dialog for idle |
| 14 | """ |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 15 | def __init__(self,parent,title): |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 16 | Toplevel.__init__(self, parent) |
| 17 | self.configure(borderwidth=5) |
| 18 | self.geometry("+%d+%d" % (parent.winfo_rootx()+20, |
| 19 | parent.winfo_rooty()+30)) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 20 | #Theme Elements. Each theme element key is it's display name. |
| 21 | #The first value of the tuple is the sample area tag name. |
| 22 | #The second value is the display name list sort index. |
| 23 | #The third value indicates whether the element can have a foreground |
| 24 | #or background colour or both. |
| 25 | self.themeElements={'Normal Text':('normal','00','both'), |
| 26 | 'Python Keywords':('keyword','01','both'), |
| 27 | 'Python Definitions':('definition','02','both'), |
| 28 | 'Python Comments':('comment','03','both'), |
| 29 | 'Python Strings':('string','04','both'), |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 30 | 'Selected Text':('hilite','05','both'), |
| 31 | 'Found Text':('hit','06','both'), |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 32 | 'Cursor':('cursor','07','fg'), |
| 33 | 'Error Background':('error','08','bg'), |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 34 | 'Shell Foreground':('console','09','fg'), |
| 35 | 'Shell Stdout Foreground':('stdout','10','fg'), |
| 36 | 'Shell Stderr Foreground':('stderr','11','fg')} |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 37 | self.CreateWidgets() |
| 38 | self.resizable(height=FALSE,width=FALSE) |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 39 | self.transient(parent) |
| 40 | self.grab_set() |
| 41 | self.protocol("WM_DELETE_WINDOW", self.Cancel) |
| 42 | self.parent = parent |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 43 | self.tabPages.focus_set() |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 44 | #key bindings for this dialog |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 45 | self.bind('<Escape>',self.CancelBinding) #dismiss dialog, no save |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 46 | self.bind('<Alt-a>',self.ApplyBinding) #apply changes, save |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 47 | self.bind('<F1>',self.HelpBinding) #context help |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 48 | self.LoadConfigs() |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 49 | self.wait_window() |
| 50 | |
| 51 | def Cancel(self): |
| 52 | self.destroy() |
| 53 | |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 54 | def Ok(self): |
| 55 | pass |
| 56 | |
| 57 | def Apply(self): |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 58 | pass |
| 59 | |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 60 | def Help(self): |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 61 | pass |
| 62 | |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 63 | def CancelBinding(self,event): |
| 64 | self.Cancel() |
Steven M. Gava | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 65 | |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 66 | def OkBinding(self,event): |
| 67 | self.Ok() |
| 68 | |
| 69 | def ApplyBinding(self,event): |
| 70 | self.Apply() |
Steven M. Gava | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 71 | |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 72 | def HelpBinding(self,event): |
| 73 | self.Help() |
Steven M. Gava | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 74 | |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 75 | def SetThemeType(self): |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 76 | if self.themeIsBuiltin.get(): |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 77 | self.optMenuThemeBuiltin.config(state=NORMAL) |
| 78 | self.optMenuThemeCustom.config(state=DISABLED) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 79 | self.buttonDeleteCustomTheme.config(state=DISABLED) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 80 | else: |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 81 | self.optMenuThemeBuiltin.config(state=DISABLED) |
| 82 | self.optMenuThemeCustom.config(state=NORMAL) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 83 | self.buttonDeleteCustomTheme.config(state=NORMAL) |
| 84 | |
| 85 | def SetKeysType(self): |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 86 | if self.keysAreDefault.get(): |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 87 | self.optMenuKeysBuiltin.config(state=NORMAL) |
| 88 | self.optMenuKeysCustom.config(state=DISABLED) |
| 89 | self.buttonDeleteCustomKeys.config(state=DISABLED) |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 90 | else: |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 91 | self.optMenuKeysBuiltin.config(state=DISABLED) |
| 92 | self.optMenuKeysCustom.config(state=NORMAL) |
| 93 | self.buttonDeleteCustomKeys.config(state=NORMAL) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 94 | |
Steven M. Gava | 074c9d2 | 2001-08-08 01:30:38 +0000 | [diff] [blame] | 95 | def GetColour(self): |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 96 | target=self.highlightTarget.get() |
Steven M. Gava | 074c9d2 | 2001-08-08 01:30:38 +0000 | [diff] [blame] | 97 | rgbTuplet, colourString = tkColorChooser.askcolor(parent=self, |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 98 | title='Pick new colour for : '+target, |
| 99 | initialcolor=self.frameColourSet.cget('bg')) |
Steven M. Gava | 074c9d2 | 2001-08-08 01:30:38 +0000 | [diff] [blame] | 100 | if colourString: #user didn't cancel |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 101 | self.frameColourSet.config(bg=colourString)#set sample |
| 102 | if self.fgHilite.get(): plane='foreground' |
| 103 | else: plane='background' |
| 104 | apply(self.textHighlightSample.tag_config, |
| 105 | (self.themeElements[target][0],),{plane:colourString}) |
| 106 | |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 107 | def SetFontSampleBinding(self,event): |
| 108 | self.SetFontSample() |
| 109 | |
| 110 | def SetFontSample(self): |
| 111 | self.editFont.config(size=self.fontSize.get(),weight=NORMAL, |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 112 | family=self.listFontName.get(self.listFontName.curselection()[0])) |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 113 | |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 114 | def SetHighlightTargetBinding(self,*args): |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 115 | self.SetHighlightTarget() |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 116 | |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 117 | def SetHighlightTarget(self): |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 118 | colourPlane=self.themeElements[self.highlightTarget.get()][2] |
| 119 | if colourPlane == 'bg': |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 120 | self.radioFg.config(state=DISABLED) |
| 121 | self.radioBg.config(state=DISABLED) |
| 122 | self.fgHilite.set(0) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 123 | elif colourPlane == 'fg': |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 124 | self.radioFg.config(state=DISABLED) |
| 125 | self.radioBg.config(state=DISABLED) |
| 126 | self.fgHilite.set(1) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 127 | elif colourPlane == 'both': |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 128 | self.radioFg.config(state=NORMAL) |
| 129 | self.radioBg.config(state=NORMAL) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 130 | self.fgHilite.set(1) #default to setting foreground attribute |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 131 | self.SetColourSample() |
| 132 | |
| 133 | def SetColourSampleBinding(self,*args): |
| 134 | self.SetColourSample() |
| 135 | |
| 136 | def SetColourSample(self): |
| 137 | #set the colour smaple area |
| 138 | tag=self.themeElements[self.highlightTarget.get()][0] |
| 139 | if self.fgHilite.get(): plane='foreground' |
| 140 | else: plane='background' |
| 141 | colour=self.textHighlightSample.tag_cget(tag,plane) |
| 142 | self.frameColourSet.config(bg=colour) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 143 | |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 144 | def CreateWidgets(self): |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 145 | self.tabPages = TabPageSet(self, |
| 146 | pageNames=['Fonts/Tabs','Highlighting','Keys','General']) |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 147 | frameActionButtons = Frame(self) |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 148 | #action buttons |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 149 | self.buttonHelp = Button(frameActionButtons,text='Help', |
| 150 | command=self.Help,takefocus=FALSE) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 151 | self.buttonOk = Button(frameActionButtons,text='Ok', |
| 152 | command=self.Ok,takefocus=FALSE) |
| 153 | self.buttonApply = Button(frameActionButtons,text='Apply', |
| 154 | command=self.Apply,underline=0,takefocus=FALSE) |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 155 | self.buttonCancel = Button(frameActionButtons,text='Cancel', |
| 156 | command=self.Cancel,takefocus=FALSE) |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 157 | self.CreatePageFontTab() |
| 158 | self.CreatePageHighlight() |
| 159 | self.CreatePageKeys() |
| 160 | self.CreatePageGeneral() |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 161 | self.buttonHelp.pack(side=RIGHT,padx=5,pady=5) |
| 162 | self.buttonOk.pack(side=LEFT,padx=5,pady=5) |
| 163 | self.buttonApply.pack(side=LEFT,padx=5,pady=5) |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 164 | self.buttonCancel.pack(side=LEFT,padx=5,pady=5) |
| 165 | frameActionButtons.pack(side=BOTTOM) |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 166 | self.tabPages.pack(side=TOP,expand=TRUE,fill=BOTH) |
| 167 | |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 168 | |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 169 | def CreatePageFontTab(self): |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 170 | #tkVars |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 171 | self.fontSize=StringVar(self) |
| 172 | self.fontBold=StringVar(self) |
| 173 | self.spaceNum=IntVar(self) |
| 174 | self.tabCols=IntVar(self) |
| 175 | self.indentType=IntVar(self) |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 176 | self.editFont=tkFont.Font(self,('courier',12,'normal')) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 177 | ##widget creation |
| 178 | #body frame |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 179 | frame=self.tabPages.pages['Fonts/Tabs']['page'] |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 180 | #body section frames |
| 181 | frameFont=Frame(frame,borderwidth=2,relief=GROOVE) |
| 182 | frameIndent=Frame(frame,borderwidth=2,relief=GROOVE) |
| 183 | #frameFont |
| 184 | labelFontTitle=Label(frameFont,text='Set Base Editor Font') |
| 185 | frameFontName=Frame(frameFont) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 186 | frameFontParam=Frame(frameFont) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 187 | labelFontNameTitle=Label(frameFontName,justify=LEFT, |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 188 | text='Font :') |
| 189 | self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE, |
| 190 | exportselection=FALSE) |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 191 | self.listFontName.bind('<<ListboxSelect>>',self.SetFontSampleBinding) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 192 | scrollFont=Scrollbar(frameFontName) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 193 | scrollFont.config(command=self.listFontName.yview) |
| 194 | self.listFontName.config(yscrollcommand=scrollFont.set) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 195 | labelFontSizeTitle=Label(frameFontParam,text='Size :') |
| 196 | self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None, |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 197 | command=self.SetFontSampleBinding) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 198 | checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold, |
| 199 | onvalue='Bold',offvalue='',text='Bold') |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 200 | frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1) |
| 201 | self.labelFontSample=Label(frameFontSample, |
| 202 | text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]', |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 203 | justify=LEFT,font=self.editFont) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 204 | #frameIndent |
| 205 | labelIndentTitle=Label(frameIndent,text='Set Indentation Defaults') |
| 206 | frameIndentType=Frame(frameIndent) |
| 207 | frameIndentSize=Frame(frameIndent) |
| 208 | labelIndentTypeTitle=Label(frameIndentType, |
| 209 | text='Choose indentation type :') |
| 210 | radioUseSpaces=Radiobutton(frameIndentType,variable=self.indentType, |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 211 | value=1,text='Tab key inserts spaces') |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 212 | radioUseTabs=Radiobutton(frameIndentType,variable=self.indentType, |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 213 | value=0,text='Tab key inserts tabs') |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 214 | labelIndentSizeTitle=Label(frameIndentSize, |
| 215 | text='Choose indentation size :') |
| 216 | labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT, |
| 217 | text='when tab key inserts spaces,\nspaces per tab') |
| 218 | self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum, |
| 219 | orient='horizontal',tickinterval=2,from_=2,to=8) |
| 220 | labeltabColsTitle=Label(frameIndentSize,justify=LEFT, |
| 221 | text='when tab key inserts tabs,\ncolumns per tab') |
| 222 | self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols, |
| 223 | orient='horizontal',tickinterval=2,from_=2,to=8) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 224 | #widget packing |
| 225 | #body |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 226 | frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH) |
| 227 | frameIndent.pack(side=LEFT,padx=5,pady=10,fill=Y) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 228 | #frameFont |
| 229 | labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 230 | frameFontName.pack(side=TOP,padx=5,pady=5,fill=X) |
| 231 | frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 232 | labelFontNameTitle.pack(side=TOP,anchor=W) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 233 | self.listFontName.pack(side=LEFT,expand=TRUE,fill=X) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 234 | scrollFont.pack(side=LEFT,fill=Y) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 235 | labelFontSizeTitle.pack(side=LEFT,anchor=W) |
| 236 | self.optMenuFontSize.pack(side=LEFT,anchor=W) |
| 237 | checkFontBold.pack(side=LEFT,anchor=W,padx=20) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 238 | 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] | 239 | self.labelFontSample.pack(expand=TRUE,fill=BOTH) |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 240 | #frameIndent |
| 241 | labelIndentTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 242 | frameIndentType.pack(side=TOP,padx=5,fill=X) |
| 243 | frameIndentSize.pack(side=TOP,padx=5,pady=5,fill=BOTH) |
| 244 | labelIndentTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 245 | radioUseSpaces.pack(side=TOP,anchor=W,padx=5) |
| 246 | radioUseTabs.pack(side=TOP,anchor=W,padx=5) |
| 247 | labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 248 | labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5) |
| 249 | self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X) |
| 250 | labeltabColsTitle.pack(side=TOP,anchor=W,padx=5) |
| 251 | self.scaleTabCols.pack(side=TOP,padx=5,fill=X) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 252 | return frame |
| 253 | |
| 254 | def CreatePageHighlight(self): |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 255 | self.builtinTheme=StringVar(self) |
| 256 | self.customTheme=StringVar(self) |
| 257 | self.fgHilite=IntVar(self) |
| 258 | self.colour=StringVar(self) |
| 259 | self.fontName=StringVar(self) |
| 260 | self.themeIsBuiltin=IntVar(self) |
| 261 | self.highlightTarget=StringVar(self) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 262 | self.highlightTarget.trace_variable('w',self.SetHighlightTargetBinding) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 263 | ##widget creation |
| 264 | #body frame |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 265 | frame=self.tabPages.pages['Highlighting']['page'] |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 266 | #body section frames |
| 267 | frameCustom=Frame(frame,borderwidth=2,relief=GROOVE) |
| 268 | frameTheme=Frame(frame,borderwidth=2,relief=GROOVE) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 269 | #frameCustom |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 270 | self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1, |
| 271 | font=('courier',12,''),cursor='hand2',width=10,height=10, |
| 272 | takefocus=FALSE,highlightthickness=0) |
| 273 | text=self.textHighlightSample |
| 274 | text.bind('<Double-Button-1>',lambda e: 'break') |
| 275 | text.bind('<B1-Motion>',lambda e: 'break') |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 276 | textAndTags=(('#you can click in here','comment'),('\n','normal'), |
| 277 | ('#to choose items','comment'),('\n','normal'),('def','keyword'), |
| 278 | (' ','normal'),('func','definition'),('(param):','normal'), |
| 279 | ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'), |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 280 | ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'hilite'), |
| 281 | ('\n var2 = ','normal'),("'found'",'hit'),('\n\n','normal'), |
Steven M. Gava | 9930061 | 2001-11-04 07:03:08 +0000 | [diff] [blame] | 282 | (' error ','error'),(' ','normal'),('cursor |','cursor'), |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 283 | ('\n ','normal'),('shell','console'),(' ','normal'),('stdout','stdout'), |
| 284 | (' ','normal'),('stderr','stderr'),('\n','normal')) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 285 | for txTa in textAndTags: |
| 286 | text.insert(END,txTa[0],txTa[1]) |
| 287 | for element in self.themeElements.keys(): |
| 288 | text.tag_bind(self.themeElements[element][0],'<ButtonPress-1>', |
| 289 | lambda event,elem=element: event.widget.winfo_toplevel() |
| 290 | .highlightTarget.set(elem)) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 291 | text.config(state=DISABLED) |
| 292 | self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1) |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 293 | frameFgBg=Frame(frameCustom) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 294 | labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting') |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 295 | buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :', |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 296 | command=self.GetColour,highlightthickness=0) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 297 | self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet, |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 298 | self.highlightTarget,None,highlightthickness=0)#,command=self.SetHighlightTargetBinding |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 299 | self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite, |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 300 | value=1,text='Foreground',command=self.SetColourSampleBinding) |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 301 | self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite, |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 302 | value=0,text='Background',command=self.SetColourSampleBinding) |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 303 | self.fgHilite.set(1) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 304 | buttonSaveCustomTheme=Button(frameCustom, |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 305 | text='Save as a Custom Theme') |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 306 | #frameTheme |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 307 | labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme') |
| 308 | labelTypeTitle=Label(frameTheme,text='Select : ') |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 309 | self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeIsBuiltin, |
| 310 | value=1,command=self.SetThemeType,text='a Built-in Theme') |
| 311 | self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeIsBuiltin, |
| 312 | value=0,command=self.SetThemeType,text='a Custom Theme') |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 313 | self.optMenuThemeBuiltin=DynOptionMenu(frameTheme, |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 314 | self.builtinTheme,None,command=None) |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 315 | self.optMenuThemeCustom=DynOptionMenu(frameTheme, |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 316 | self.customTheme,None,command=None) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 317 | self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme') |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 318 | ##widget packing |
| 319 | #body |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 320 | frameCustom.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH) |
| 321 | frameTheme.pack(side=LEFT,padx=5,pady=10,fill=Y) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 322 | #frameCustom |
| 323 | labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 324 | 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] | 325 | frameFgBg.pack(side=TOP,padx=5,pady=0) |
Steven M. Gava | e16d94b | 2001-11-03 05:07:28 +0000 | [diff] [blame] | 326 | self.textHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE, |
| 327 | fill=BOTH) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 328 | buttonSetColour.pack(side=TOP,expand=TRUE,fill=X,padx=8,pady=4) |
| 329 | 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] | 330 | self.radioFg.pack(side=LEFT,anchor=E) |
| 331 | self.radioBg.pack(side=RIGHT,anchor=W) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 332 | buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 333 | #frameTheme |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 334 | labelThemeTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 335 | labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 336 | self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5) |
| 337 | self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 338 | self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5) |
| 339 | 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] | 340 | self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 341 | return frame |
| 342 | |
| 343 | def CreatePageKeys(self): |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 344 | #tkVars |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 345 | self.bindingTarget=StringVar(self) |
| 346 | self.builtinKeys=StringVar(self) |
| 347 | self.customKeys=StringVar(self) |
| 348 | self.keyChars=StringVar(self) |
| 349 | self.keyCtrl=StringVar(self) |
| 350 | self.keyAlt=StringVar(self) |
| 351 | self.keyShift=StringVar(self) |
| 352 | self.keysAreDefault=IntVar(self) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 353 | ##widget creation |
| 354 | #body frame |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 355 | frame=self.tabPages.pages['Keys']['page'] |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 356 | #body section frames |
| 357 | frameCustom=Frame(frame,borderwidth=2,relief=GROOVE) |
| 358 | frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE) |
| 359 | #frameCustom |
| 360 | frameTarget=Frame(frameCustom) |
| 361 | frameSet=Frame(frameCustom) |
| 362 | labelCustomTitle=Label(frameCustom,text='Set Custom Key Bindings') |
| 363 | labelTargetTitle=Label(frameTarget,text='Action') |
| 364 | scrollTarget=Scrollbar(frameTarget) |
| 365 | listTarget=Listbox(frameTarget) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 366 | scrollTarget.config(command=listTarget.yview) |
| 367 | listTarget.config(yscrollcommand=scrollTarget.set) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 368 | labelKeyBindTitle=Label(frameSet,text='Binding') |
| 369 | labelModifierTitle=Label(frameSet,text='Modifier:') |
| 370 | checkCtrl=Checkbutton(frameSet,text='Ctrl') |
| 371 | checkAlt=Checkbutton(frameSet,text='Alt') |
| 372 | checkShift=Checkbutton(frameSet,text='Shift') |
| 373 | labelKeyEntryTitle=Label(frameSet,text='Key:') |
| 374 | entryKey=Entry(frameSet,width=4) |
| 375 | buttonSaveCustomKeys=Button(frameCustom,text='Save as a Custom Key Set') |
| 376 | #frameKeySets |
Steven M. Gava | f213ccb | 2001-08-05 08:00:28 +0000 | [diff] [blame] | 377 | labelKeysTitle=Label(frameKeySets,text='Select a Key Set') |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 378 | labelTypeTitle=Label(frameKeySets,text='Select : ') |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 379 | self.radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysAreDefault, |
| 380 | value=1,command=self.SetKeysType,text='a Built-in Key Set') |
| 381 | self.radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysAreDefault, |
| 382 | value=0,command=self.SetKeysType,text='a Custom Key Set') |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 383 | self.optMenuKeysBuiltin=DynOptionMenu(frameKeySets, |
| 384 | self.builtinKeys,None,command=None) |
| 385 | self.optMenuKeysCustom=DynOptionMenu(frameKeySets, |
| 386 | self.customKeys,None,command=None) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 387 | self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set') |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 388 | ##widget packing |
| 389 | #body |
| 390 | frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH) |
| 391 | frameKeySets.pack(side=LEFT,padx=5,pady=5,fill=Y) |
| 392 | #frameCustom |
| 393 | labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 394 | buttonSaveCustomKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5) |
| 395 | frameTarget.pack(side=LEFT,padx=5,pady=5,fill=Y) |
| 396 | frameSet.pack(side=LEFT,padx=5,pady=5,fill=Y) |
| 397 | labelTargetTitle.pack(side=TOP,anchor=W) |
| 398 | scrollTarget.pack(side=RIGHT,anchor=W,fill=Y) |
| 399 | listTarget.pack(side=TOP,anchor=W,expand=TRUE,fill=BOTH) |
| 400 | labelKeyBindTitle.pack(side=TOP,anchor=W) |
| 401 | labelModifierTitle.pack(side=TOP,anchor=W,pady=5) |
| 402 | checkCtrl.pack(side=TOP,anchor=W) |
| 403 | checkAlt.pack(side=TOP,anchor=W,pady=2) |
| 404 | checkShift.pack(side=TOP,anchor=W) |
| 405 | labelKeyEntryTitle.pack(side=TOP,anchor=W,pady=5) |
| 406 | entryKey.pack(side=TOP,anchor=W) |
| 407 | #frameKeySets |
| 408 | labelKeysTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 409 | labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 410 | self.radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5) |
| 411 | self.radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2) |
Steven M. Gava | 60fc707 | 2001-08-04 13:58:22 +0000 | [diff] [blame] | 412 | self.optMenuKeysBuiltin.pack(side=TOP,fill=X,padx=5,pady=5) |
| 413 | self.optMenuKeysCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5) |
| 414 | self.buttonDeleteCustomKeys.pack(side=TOP,fill=X,padx=5,pady=5) |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 415 | return frame |
| 416 | |
| 417 | def CreatePageGeneral(self): |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 418 | #tkVars |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 419 | self.runType=IntVar(self) |
| 420 | self.winWidth=StringVar(self) |
| 421 | self.winHeight=StringVar(self) |
| 422 | self.extState=IntVar(self) |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 423 | #widget creation |
| 424 | #body |
Steven M. Gava | 2d4e03b | 2001-12-05 07:54:07 +0000 | [diff] [blame] | 425 | frame=self.tabPages.pages['General']['page'] |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 426 | #body section frames |
| 427 | frameRun=Frame(frame,borderwidth=2,relief=GROOVE) |
| 428 | frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE) |
| 429 | frameExt=Frame(frame,borderwidth=2,relief=GROOVE) |
| 430 | #frameRun |
| 431 | labelRunTitle=Label(frameRun,text='Run Preferences') |
| 432 | labelRunChoiceTitle=Label(frameRun,text='Run code : ') |
| 433 | radioRunInternal=Radiobutton(frameRun,variable=self.runType, |
| 434 | value=0,command=self.SetKeysType,text="in IDLE's Process") |
| 435 | radioRunSeparate=Radiobutton(frameRun,variable=self.runType, |
| 436 | value=1,command=self.SetKeysType,text='in a Separate Process') |
| 437 | #frameWinSize |
| 438 | labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size') |
| 439 | buttonWinSizeSet=Button(frameWinSize,text='Set to current window size') |
| 440 | labelWinWidthTitle=Label(frameWinSize,text='Width') |
| 441 | entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth, |
| 442 | width=3) |
| 443 | labelWinHeightTitle=Label(frameWinSize,text='Height') |
| 444 | entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight, |
| 445 | width=3) |
| 446 | #frameExt |
| 447 | frameExtList=Frame(frameExt) |
| 448 | frameExtSet=Frame(frameExt) |
| 449 | labelExtTitle=Label(frameExt,text='Configure IDLE Extensions') |
| 450 | labelExtListTitle=Label(frameExtList,text='Extension') |
| 451 | scrollExtList=Scrollbar(frameExtList) |
| 452 | listExt=Listbox(frameExtList,height=5) |
Steven M. Gava | c01e30f | 2001-08-11 15:48:13 +0000 | [diff] [blame] | 453 | scrollExtList.config(command=listExt.yview) |
| 454 | listExt.config(yscrollcommand=scrollExtList.set) |
Steven M. Gava | 230e578 | 2001-08-07 03:28:25 +0000 | [diff] [blame] | 455 | labelExtSetTitle=Label(frameExtSet,text='Settings') |
| 456 | radioEnableExt=Radiobutton(frameExtSet,variable=self.extState, |
| 457 | value=1,text="enable") |
| 458 | radioDisableExt=Radiobutton(frameExtSet,variable=self.extState, |
| 459 | value=0,text="disable") |
| 460 | self.extState.set(1) |
| 461 | buttonExtConfig=Button(frameExtSet,text='Configure') |
| 462 | |
| 463 | #widget packing |
| 464 | #body |
| 465 | frameRun.pack(side=TOP,padx=5,pady=5,fill=X) |
| 466 | frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X) |
| 467 | frameExt.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH) |
| 468 | #frameRun |
| 469 | labelRunTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 470 | labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5) |
| 471 | radioRunInternal.pack(side=LEFT,anchor=W,padx=5,pady=5) |
| 472 | radioRunSeparate.pack(side=LEFT,anchor=W,padx=5,pady=5) |
| 473 | #frameWinSize |
| 474 | labelWinSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 475 | buttonWinSizeSet.pack(side=LEFT,anchor=W,padx=5,pady=5) |
| 476 | labelWinWidthTitle.pack(side=LEFT,anchor=W,padx=5,pady=5) |
| 477 | entryWinWidth.pack(side=LEFT,anchor=W,padx=5,pady=5) |
| 478 | labelWinHeightTitle.pack(side=LEFT,anchor=W,padx=5,pady=5) |
| 479 | entryWinHeight.pack(side=LEFT,anchor=W,padx=5,pady=5) |
| 480 | #frameExt |
| 481 | labelExtTitle.pack(side=TOP,anchor=W,padx=5,pady=5) |
| 482 | frameExtSet.pack(side=RIGHT,padx=5,pady=5,fill=Y) |
| 483 | frameExtList.pack(side=RIGHT,padx=5,pady=5,expand=TRUE,fill=BOTH) |
| 484 | labelExtListTitle.pack(side=TOP,anchor=W) |
| 485 | scrollExtList.pack(side=RIGHT,anchor=W,fill=Y) |
| 486 | listExt.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH) |
| 487 | labelExtSetTitle.pack(side=TOP,anchor=W) |
| 488 | radioEnableExt.pack(side=TOP,anchor=W) |
| 489 | radioDisableExt.pack(side=TOP,anchor=W) |
| 490 | buttonExtConfig.pack(side=TOP,anchor=W,pady=5) |
| 491 | |
Steven M. Gava | 952d0a5 | 2001-08-03 04:43:44 +0000 | [diff] [blame] | 492 | return frame |
| 493 | |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 494 | def PaintThemeSample(self): |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 495 | if self.themeIsBuiltin.get(): #a default theme |
Steven M. Gava | 9930061 | 2001-11-04 07:03:08 +0000 | [diff] [blame] | 496 | theme=self.builtinTheme.get() |
| 497 | else: #a user theme |
| 498 | theme=self.customTheme.get() |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 499 | for element in self.themeElements.keys(): |
| 500 | colours=idleConf.GetHighlight(theme, self.themeElements[element][0]) |
| 501 | apply(self.textHighlightSample.tag_config, |
| 502 | (self.themeElements[element][0],),colours) |
Steven M. Gava | 9930061 | 2001-11-04 07:03:08 +0000 | [diff] [blame] | 503 | |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 504 | def LoadFontCfg(self): |
| 505 | ##base editor font selection list |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 506 | fonts=list(tkFont.families(self)) |
| 507 | fonts.sort() |
| 508 | for font in fonts: |
| 509 | self.listFontName.insert(END,font) |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 510 | configuredFont=idleConf.GetOption('main','EditorWindow','font', |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 511 | default='courier') |
| 512 | if configuredFont in fonts: |
| 513 | currentFontIndex=fonts.index(configuredFont) |
| 514 | self.listFontName.see(currentFontIndex) |
| 515 | self.listFontName.select_set(currentFontIndex) |
| 516 | ##font size dropdown |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 517 | fontSize=idleConf.GetOption('main','EditorWindow','font-size',default='12') |
| 518 | self.optMenuFontSize.SetMenu(('10','11','12','13','14', |
| 519 | '16','18','20','22'),fontSize ) |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 520 | ##font sample |
| 521 | self.SetFontSample() |
| 522 | |
| 523 | def LoadTabCfg(self): |
| 524 | ##indent type radibuttons |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 525 | spaceIndent=idleConf.GetOption('main','Indent','use-spaces', |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 526 | default=1,type='bool') |
| 527 | self.indentType.set(spaceIndent) |
| 528 | ##indent sizes |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 529 | spaceNum=idleConf.GetOption('main','Indent','num-spaces', |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 530 | default=4,type='int') |
Steven M. Gava | 485f7b6 | 2001-10-26 06:47:09 +0000 | [diff] [blame] | 531 | tabCols=idleConf.GetOption('main','Indent','tab-cols', |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 532 | default=4,type='int') |
| 533 | self.spaceNum.set(spaceNum) |
| 534 | self.tabCols.set(tabCols) |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 535 | |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 536 | def LoadThemeCfg(self): |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 537 | ##current theme type radiobutton |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 538 | self.themeIsBuiltin.set(idleConf.GetOption('main','Theme','default', |
| 539 | type='int',default=1)) |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 540 | ##currently set theme |
| 541 | currentOption=idleConf.GetOption('main','Theme','name') |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 542 | ##load available theme option menus |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 543 | if self.themeIsBuiltin.get(): #default theme selected |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 544 | itemList=idleConf.GetSectionList('default','highlight') |
| 545 | self.optMenuThemeBuiltin.SetMenu(itemList,currentOption) |
| 546 | itemList=idleConf.GetSectionList('user','highlight') |
| 547 | if not itemList: |
| 548 | self.radioThemeCustom.config(state=DISABLED) |
| 549 | self.customTheme.set('- no custom themes -') |
| 550 | else: |
| 551 | self.optMenuThemeCustom.SetMenu(itemList,itemList[0]) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 552 | else: #user theme selected |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 553 | itemList=idleConf.GetSectionList('user','highlight') |
| 554 | self.optMenuThemeCustom.SetMenu(itemList,currentOption) |
| 555 | itemList=idleConf.GetSectionList('default','highlight') |
| 556 | self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0]) |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 557 | self.SetThemeType() |
| 558 | ##load theme element option menu |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 559 | themeNames=self.themeElements.keys() |
| 560 | themeNames.sort(self.__ThemeNameIndexCompare) |
| 561 | self.optMenuHighlightTarget.SetMenu(themeNames,themeNames[0]) |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 562 | sampleBg=idleConf.GetHighlight(currentOption, |
| 563 | self.highlightTarget.get())['background'] |
| 564 | self.fgHilite.set(0) |
| 565 | self.frameColourSet.config(bg=sampleBg) |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 566 | self.PaintThemeSample() |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 567 | |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 568 | def __ThemeNameIndexCompare(self,a,b): |
| 569 | if self.themeElements[a][1]<self.themeElements[b][1]: return -1 |
| 570 | elif self.themeElements[a][1]==self.themeElements[b][1]: return 0 |
| 571 | else: return 1 |
| 572 | |
| 573 | def LoadKeyCfg(self): |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 574 | ##current keys type radiobutton |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 575 | self.keysAreDefault.set(idleConf.GetOption('main','Keys','default', |
| 576 | type='int',default=1)) |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 577 | ##currently set keys |
| 578 | currentOption=idleConf.GetOption('main','Keys','name') |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 579 | ##load available keyset option menus |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 580 | if self.keysAreDefault.get(): #default theme selected |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 581 | itemList=idleConf.GetSectionList('default','keys') |
| 582 | self.optMenuKeysBuiltin.SetMenu(itemList,currentOption) |
| 583 | itemList=idleConf.GetSectionList('user','keys') |
| 584 | if not itemList: |
| 585 | self.radioKeysCustom.config(state=DISABLED) |
| 586 | self.customKeys.set('- no custom keys -') |
| 587 | else: |
| 588 | self.optMenuKeysCustom.SetMenu(itemList,itemList[0]) |
Steven M. Gava | d0342cd | 2001-11-04 11:53:10 +0000 | [diff] [blame] | 589 | else: #user theme selected |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 590 | itemList=idleConf.GetSectionList('user','keys') |
| 591 | self.optMenuKeysCustom.SetMenu(itemList,currentOption) |
| 592 | itemList=idleConf.GetSectionList('default','keys') |
| 593 | self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0]) |
| 594 | self.SetKeysType() |
Steven M. Gava | 7c01786 | 2001-10-29 11:19:46 +0000 | [diff] [blame] | 595 | ##load keyset element option menu |
Steven M. Gava | 41a8532 | 2001-10-29 08:05:34 +0000 | [diff] [blame] | 596 | |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 597 | def LoadConfigs(self): |
| 598 | """ |
| 599 | load configuration from default and user config files and populate |
| 600 | the widgets on the config dialog pages. |
| 601 | """ |
| 602 | ### fonts / tabs page |
| 603 | self.LoadFontCfg() |
| 604 | self.LoadTabCfg() |
| 605 | ### highlighting page |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 606 | self.LoadThemeCfg() |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 607 | ### keys page |
Steven M. Gava | 9dd16b3 | 2001-11-03 14:54:25 +0000 | [diff] [blame] | 608 | self.LoadKeyCfg() |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 609 | ### help page |
| 610 | ### general page |
| 611 | |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 612 | def SaveConfigs(self): |
Steven M. Gava | 429a86af | 2001-10-23 10:42:12 +0000 | [diff] [blame] | 613 | """ |
| 614 | save configuration changes to user config files. |
| 615 | """ |
Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 616 | pass |
| 617 | |
Steven M. Gava | 44d3d1a | 2001-07-31 06:59:02 +0000 | [diff] [blame] | 618 | if __name__ == '__main__': |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 619 | #test the dialog |
| 620 | root=Tk() |
| 621 | Button(root,text='Dialog', |
Steven M. Gava | 3b55a89 | 2001-11-21 05:56:26 +0000 | [diff] [blame] | 622 | command=lambda:ConfigDialog(root,'Settings')).pack() |
Steven M. Gava | d721c48 | 2001-07-31 10:46:53 +0000 | [diff] [blame] | 623 | root.mainloop() |