2001-07-31 14:59:02 +08:00
|
|
|
##---------------------------------------------------------------------------##
|
|
|
|
##
|
|
|
|
## idle - configuration dialog
|
|
|
|
## elguavas
|
|
|
|
##
|
|
|
|
##---------------------------------------------------------------------------##
|
|
|
|
"""
|
|
|
|
configuration dialog
|
|
|
|
"""
|
|
|
|
from Tkinter import *
|
2001-08-11 23:48:13 +08:00
|
|
|
import tkMessageBox, tkColorChooser, tkFont
|
2001-07-31 14:59:02 +08:00
|
|
|
|
2001-09-24 17:43:17 +08:00
|
|
|
from configHandler import idleConf
|
2001-10-26 14:47:09 +08:00
|
|
|
from dynOptionMenuWidget import DynOptionMenu
|
2001-08-04 21:58:22 +08:00
|
|
|
|
2001-07-31 14:59:02 +08:00
|
|
|
class ConfigDialog(Toplevel):
|
|
|
|
"""
|
2001-07-31 18:46:53 +08:00
|
|
|
configuration dialog for idle
|
|
|
|
"""
|
|
|
|
def __init__(self,parent,title,configDict):
|
|
|
|
"""
|
|
|
|
configDict - dictionary of configuration items
|
|
|
|
"""
|
|
|
|
Toplevel.__init__(self, parent)
|
|
|
|
self.configure(borderwidth=5)
|
|
|
|
self.geometry("+%d+%d" % (parent.winfo_rootx()+20,
|
|
|
|
parent.winfo_rooty()+30))
|
2001-09-24 17:43:17 +08:00
|
|
|
#self.LoadConfig()
|
2001-07-31 14:59:02 +08:00
|
|
|
|
2001-07-31 18:46:53 +08:00
|
|
|
self.CreateWidgets()
|
|
|
|
self.resizable(height=FALSE,width=FALSE)
|
|
|
|
self.ChangePage()
|
|
|
|
self.transient(parent)
|
|
|
|
self.grab_set()
|
|
|
|
self.protocol("WM_DELETE_WINDOW", self.Cancel)
|
|
|
|
self.parent = parent
|
|
|
|
self.framePages.focus_set()
|
|
|
|
#key bindings for this dialog
|
|
|
|
self.bind('<Escape>',self.CancelBinding) #dismiss dialog, no save
|
2001-08-11 23:48:13 +08:00
|
|
|
self.bind('<Alt-a>',self.ApplyBinding) #apply changes, save
|
2001-08-03 12:43:44 +08:00
|
|
|
self.bind('<F1>',self.HelpBinding) #context help
|
2001-07-31 18:46:53 +08:00
|
|
|
self.bind('<Alt-f>',self.ChangePageBinding)
|
2001-08-03 12:43:44 +08:00
|
|
|
self.bind('<Alt-h>',self.ChangePageBinding)
|
2001-07-31 18:46:53 +08:00
|
|
|
self.bind('<Alt-k>',self.ChangePageBinding)
|
|
|
|
self.bind('<Alt-g>',self.ChangePageBinding)
|
2001-09-24 17:43:17 +08:00
|
|
|
#self.LoadOptMenuHighlightTarget()
|
2001-10-23 18:42:12 +08:00
|
|
|
|
|
|
|
self.LoadConfigs()
|
|
|
|
|
2001-07-31 18:46:53 +08:00
|
|
|
self.wait_window()
|
|
|
|
|
|
|
|
def Cancel(self):
|
|
|
|
self.destroy()
|
2001-07-31 14:59:02 +08:00
|
|
|
|
2001-08-11 23:48:13 +08:00
|
|
|
def Ok(self):
|
|
|
|
pass
|
|
|
|
|
|
|
|
def Apply(self):
|
2001-07-31 18:46:53 +08:00
|
|
|
pass
|
2001-07-31 14:59:02 +08:00
|
|
|
|
2001-08-03 12:43:44 +08:00
|
|
|
def Help(self):
|
2001-07-31 18:46:53 +08:00
|
|
|
pass
|
2001-07-31 14:59:02 +08:00
|
|
|
|
2001-07-31 18:46:53 +08:00
|
|
|
def CancelBinding(self,event):
|
|
|
|
self.Cancel()
|
|
|
|
|
2001-08-11 23:48:13 +08:00
|
|
|
def OkBinding(self,event):
|
|
|
|
self.Ok()
|
|
|
|
|
|
|
|
def ApplyBinding(self,event):
|
|
|
|
self.Apply()
|
2001-07-31 14:59:02 +08:00
|
|
|
|
2001-08-03 12:43:44 +08:00
|
|
|
def HelpBinding(self,event):
|
|
|
|
self.Help()
|
2001-07-31 14:59:02 +08:00
|
|
|
|
2001-08-03 12:43:44 +08:00
|
|
|
def ChangePage(self):
|
2001-08-13 12:36:58 +08:00
|
|
|
#pop up the active 'tab' only
|
|
|
|
for button in self.pageButtons: button.master.config(relief=RIDGE)
|
|
|
|
self.pageButtons[self.pageNum.get()].master.config(relief=RAISED)
|
|
|
|
#switch page
|
2001-08-03 12:43:44 +08:00
|
|
|
self.pages[self.pageNum.get()].lift()
|
2001-08-07 11:28:25 +08:00
|
|
|
self.title('Settings - '+
|
|
|
|
self.pageButtons[self.pageNum.get()].cget('text'))
|
2001-08-03 12:43:44 +08:00
|
|
|
|
2001-07-31 18:46:53 +08:00
|
|
|
def ChangePageBinding(self,event):
|
2001-08-03 12:43:44 +08:00
|
|
|
pageKeys=('f','h','k','g')
|
2001-07-31 18:46:53 +08:00
|
|
|
pos=0
|
|
|
|
for key in pageKeys:
|
|
|
|
if event.char == key:
|
|
|
|
self.pageNum.set(pos)
|
|
|
|
self.ChangePage()
|
|
|
|
return
|
|
|
|
pos=pos+1
|
2001-07-31 14:59:02 +08:00
|
|
|
|
2001-08-03 12:43:44 +08:00
|
|
|
def SetThemeType(self):
|
|
|
|
if self.themeType.get()==0:
|
|
|
|
self.optMenuThemeBuiltin.config(state=NORMAL)
|
|
|
|
self.optMenuThemeCustom.config(state=DISABLED)
|
2001-08-04 21:58:22 +08:00
|
|
|
self.buttonDeleteCustomTheme.config(state=DISABLED)
|
2001-08-03 12:43:44 +08:00
|
|
|
elif self.themeType.get()==1:
|
|
|
|
self.optMenuThemeBuiltin.config(state=DISABLED)
|
|
|
|
self.optMenuThemeCustom.config(state=NORMAL)
|
2001-08-04 21:58:22 +08:00
|
|
|
self.buttonDeleteCustomTheme.config(state=NORMAL)
|
|
|
|
|
|
|
|
def SetKeysType(self):
|
|
|
|
if self.keysType.get()==0:
|
|
|
|
self.optMenuKeysBuiltin.config(state=NORMAL)
|
|
|
|
self.optMenuKeysCustom.config(state=DISABLED)
|
|
|
|
self.buttonDeleteCustomKeys.config(state=DISABLED)
|
|
|
|
elif self.keysType.get()==1:
|
|
|
|
self.optMenuKeysBuiltin.config(state=DISABLED)
|
|
|
|
self.optMenuKeysCustom.config(state=NORMAL)
|
|
|
|
self.buttonDeleteCustomKeys.config(state=NORMAL)
|
2001-08-03 12:43:44 +08:00
|
|
|
|
2001-08-08 09:30:38 +08:00
|
|
|
def GetColour(self):
|
|
|
|
rgbTuplet, colourString = tkColorChooser.askcolor(parent=self,
|
|
|
|
title='Pick new colour for : '+self.highlightTarget.get(),
|
|
|
|
initialcolor=self.workingTestColours['Foo-Bg'])#._root()
|
|
|
|
if colourString: #user didn't cancel
|
|
|
|
self.workingTestColours['Foo-Bg']=colourString
|
|
|
|
self.frameColourSet.config(bg=self.workingTestColours['Foo-Bg'])
|
|
|
|
self.labelTestSample.config(bg=self.workingTestColours['Foo-Bg'])
|
|
|
|
self.frameHighlightSample.config(bg=self.workingTestColours['Foo-Bg'])
|
|
|
|
self.frameColourSet.update() #redraw after dialog
|
|
|
|
self.frameHighlightSample.update() #redraw after dialog
|
|
|
|
self.labelTestSample.update()
|
|
|
|
|
2001-10-23 18:42:12 +08:00
|
|
|
def SetFontSampleBinding(self,event):
|
|
|
|
self.SetFontSample()
|
|
|
|
|
|
|
|
def SetFontSample(self):
|
|
|
|
self.editFont.config(size=self.fontSize.get(),weight=NORMAL,
|
2001-08-11 23:48:13 +08:00
|
|
|
family=self.listFontName.get(self.listFontName.curselection()[0]))
|
2001-10-29 16:05:34 +08:00
|
|
|
|
2001-11-03 13:07:28 +08:00
|
|
|
def SetHighlightTargetBinding(self,*args):
|
2001-10-29 19:19:46 +08:00
|
|
|
self.SetHighlightTarget()
|
2001-10-29 16:05:34 +08:00
|
|
|
|
2001-10-29 19:19:46 +08:00
|
|
|
def SetHighlightTarget(self):
|
|
|
|
if self.highlightTarget.get() in ('Cursor','Error Background'):
|
|
|
|
#only bg colour selection is possible
|
|
|
|
self.radioFg.config(state=DISABLED)
|
|
|
|
self.radioBg.config(state=DISABLED)
|
|
|
|
self.fgHilite.set(0)
|
|
|
|
elif self.highlightTarget.get() in ('Shell Foreground',
|
|
|
|
'Shell Stdout Foreground','Shell Stderr Foreground'):
|
|
|
|
#fg and font style selection possible
|
|
|
|
self.radioFg.config(state=DISABLED)
|
|
|
|
self.radioBg.config(state=DISABLED)
|
|
|
|
self.fgHilite.set(1)
|
|
|
|
else: #full fg/bg and font style selection possible
|
|
|
|
self.radioFg.config(state=NORMAL)
|
|
|
|
self.radioBg.config(state=NORMAL)
|
|
|
|
self.fgHilite.set(1) #default to setting foreground properties
|
2001-08-11 23:48:13 +08:00
|
|
|
|
2001-07-31 18:46:53 +08:00
|
|
|
def CreateWidgets(self):
|
2001-08-03 12:43:44 +08:00
|
|
|
self.framePages = Frame(self)
|
2001-07-31 18:46:53 +08:00
|
|
|
frameActionButtons = Frame(self)
|
2001-08-13 12:36:58 +08:00
|
|
|
framePageButtons = Frame(self.framePages)
|
2001-07-31 18:46:53 +08:00
|
|
|
#action buttons
|
2001-08-03 12:43:44 +08:00
|
|
|
self.buttonHelp = Button(frameActionButtons,text='Help',
|
|
|
|
command=self.Help,takefocus=FALSE)
|
2001-08-11 23:48:13 +08:00
|
|
|
self.buttonOk = Button(frameActionButtons,text='Ok',
|
|
|
|
command=self.Ok,takefocus=FALSE)
|
|
|
|
self.buttonApply = Button(frameActionButtons,text='Apply',
|
|
|
|
command=self.Apply,underline=0,takefocus=FALSE)
|
2001-07-31 18:46:53 +08:00
|
|
|
self.buttonCancel = Button(frameActionButtons,text='Cancel',
|
|
|
|
command=self.Cancel,takefocus=FALSE)
|
|
|
|
#page buttons
|
|
|
|
self.pageNum=IntVar()
|
|
|
|
self.pageNum.set(0)
|
2001-08-13 12:36:58 +08:00
|
|
|
pageButtonNames=('Fonts/Tabs','Highlighting','Keys','General')
|
|
|
|
self.pageButtons=[]
|
|
|
|
buttonValue=0
|
2001-09-24 17:43:17 +08:00
|
|
|
buttonSelColour=framePageButtons.cget('bg')
|
2001-08-13 12:36:58 +08:00
|
|
|
for name in pageButtonNames:
|
|
|
|
buttonFrame=Frame(framePageButtons,borderwidth=2,relief=RIDGE)
|
|
|
|
buttonFrame.pack(side=LEFT)
|
|
|
|
button = Radiobutton(buttonFrame,command=self.ChangePage,
|
|
|
|
value=buttonValue,padx=5,pady=5,takefocus=FALSE,underline=0,
|
|
|
|
indicatoron=FALSE,highlightthickness=0,variable=self.pageNum,
|
2001-09-24 17:43:17 +08:00
|
|
|
selectcolor=buttonSelColour,borderwidth=0,text=name)
|
2001-08-13 12:36:58 +08:00
|
|
|
button.pack()
|
|
|
|
button.lift()
|
|
|
|
self.pageButtons.append(button)
|
|
|
|
buttonValue=buttonValue+1
|
2001-07-31 18:46:53 +08:00
|
|
|
#pages
|
2001-08-04 21:58:22 +08:00
|
|
|
self.pages=(self.CreatePageFontTab(),
|
2001-08-03 12:43:44 +08:00
|
|
|
self.CreatePageHighlight(),
|
|
|
|
self.CreatePageKeys(),
|
|
|
|
self.CreatePageGeneral())
|
|
|
|
|
2001-07-31 18:46:53 +08:00
|
|
|
#grid in framePages so we can overlap pages
|
2001-08-13 12:36:58 +08:00
|
|
|
framePageButtons.grid(row=0,column=0,sticky=NSEW)
|
2001-07-31 18:46:53 +08:00
|
|
|
for page in self.pages: page.grid(row=1,column=0,sticky=(N,S,E,W))
|
|
|
|
|
2001-08-11 23:48:13 +08:00
|
|
|
self.buttonHelp.pack(side=RIGHT,padx=5,pady=5)
|
|
|
|
self.buttonOk.pack(side=LEFT,padx=5,pady=5)
|
|
|
|
self.buttonApply.pack(side=LEFT,padx=5,pady=5)
|
2001-07-31 18:46:53 +08:00
|
|
|
self.buttonCancel.pack(side=LEFT,padx=5,pady=5)
|
|
|
|
frameActionButtons.pack(side=BOTTOM)
|
|
|
|
self.framePages.pack(side=TOP,expand=TRUE,fill=BOTH)
|
|
|
|
|
2001-08-04 21:58:22 +08:00
|
|
|
def CreatePageFontTab(self):
|
2001-08-05 16:00:28 +08:00
|
|
|
#tkVars
|
|
|
|
self.fontSize=StringVar()
|
2001-11-03 13:07:28 +08:00
|
|
|
self.fontBold=StringVar()
|
2001-08-05 16:00:28 +08:00
|
|
|
self.spaceNum=IntVar()
|
|
|
|
self.tabCols=IntVar()
|
|
|
|
self.indentType=IntVar()
|
2001-10-23 18:42:12 +08:00
|
|
|
self.editFont=tkFont.Font(self,('courier',12,'normal'))
|
2001-08-05 16:00:28 +08:00
|
|
|
##widget creation
|
|
|
|
#body frame
|
2001-08-13 12:36:58 +08:00
|
|
|
frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
|
2001-08-05 16:00:28 +08:00
|
|
|
#body section frames
|
|
|
|
frameFont=Frame(frame,borderwidth=2,relief=GROOVE)
|
|
|
|
frameIndent=Frame(frame,borderwidth=2,relief=GROOVE)
|
|
|
|
#frameFont
|
|
|
|
labelFontTitle=Label(frameFont,text='Set Base Editor Font')
|
|
|
|
frameFontName=Frame(frameFont)
|
2001-11-03 13:07:28 +08:00
|
|
|
frameFontParam=Frame(frameFont)
|
2001-08-05 16:00:28 +08:00
|
|
|
labelFontNameTitle=Label(frameFontName,justify=LEFT,
|
2001-08-11 23:48:13 +08:00
|
|
|
text='Font :')
|
|
|
|
self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
|
|
|
|
exportselection=FALSE)
|
2001-10-23 18:42:12 +08:00
|
|
|
self.listFontName.bind('<<ListboxSelect>>',self.SetFontSampleBinding)
|
2001-08-11 23:48:13 +08:00
|
|
|
scrollFont=Scrollbar(frameFontName)
|
|
|
|
scrollFont.config(command=self.listFontName.yview)
|
|
|
|
self.listFontName.config(yscrollcommand=scrollFont.set)
|
2001-11-03 13:07:28 +08:00
|
|
|
labelFontSizeTitle=Label(frameFontParam,text='Size :')
|
|
|
|
self.optMenuFontSize=DynOptionMenu(frameFontParam,self.fontSize,None,
|
2001-10-26 14:47:09 +08:00
|
|
|
command=self.SetFontSampleBinding)
|
2001-11-03 13:07:28 +08:00
|
|
|
checkFontBold=Checkbutton(frameFontParam,variable=self.fontBold,
|
|
|
|
onvalue='Bold',offvalue='',text='Bold')
|
2001-09-24 17:43:17 +08:00
|
|
|
frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1)
|
|
|
|
self.labelFontSample=Label(frameFontSample,
|
|
|
|
text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
|
2001-10-23 18:42:12 +08:00
|
|
|
justify=LEFT,font=self.editFont)
|
2001-08-05 16:00:28 +08:00
|
|
|
#frameIndent
|
|
|
|
labelIndentTitle=Label(frameIndent,text='Set Indentation Defaults')
|
|
|
|
frameIndentType=Frame(frameIndent)
|
|
|
|
frameIndentSize=Frame(frameIndent)
|
|
|
|
labelIndentTypeTitle=Label(frameIndentType,
|
|
|
|
text='Choose indentation type :')
|
|
|
|
radioUseSpaces=Radiobutton(frameIndentType,variable=self.indentType,
|
2001-10-23 18:42:12 +08:00
|
|
|
value=1,text='Tab key inserts spaces')
|
2001-08-05 16:00:28 +08:00
|
|
|
radioUseTabs=Radiobutton(frameIndentType,variable=self.indentType,
|
2001-10-23 18:42:12 +08:00
|
|
|
value=0,text='Tab key inserts tabs')
|
2001-08-05 16:00:28 +08:00
|
|
|
labelIndentSizeTitle=Label(frameIndentSize,
|
|
|
|
text='Choose indentation size :')
|
|
|
|
labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT,
|
|
|
|
text='when tab key inserts spaces,\nspaces per tab')
|
|
|
|
self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum,
|
|
|
|
orient='horizontal',tickinterval=2,from_=2,to=8)
|
|
|
|
labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
|
|
|
|
text='when tab key inserts tabs,\ncolumns per tab')
|
|
|
|
self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
|
|
|
|
orient='horizontal',tickinterval=2,from_=2,to=8)
|
|
|
|
#widget packing
|
|
|
|
#body
|
2001-08-11 23:48:13 +08:00
|
|
|
frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
|
|
|
|
frameIndent.pack(side=LEFT,padx=5,pady=10,fill=Y)
|
2001-08-05 16:00:28 +08:00
|
|
|
#frameFont
|
|
|
|
labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
2001-11-03 13:07:28 +08:00
|
|
|
frameFontName.pack(side=TOP,padx=5,pady=5,fill=X)
|
|
|
|
frameFontParam.pack(side=TOP,padx=5,pady=5,fill=X)
|
2001-08-05 16:00:28 +08:00
|
|
|
labelFontNameTitle.pack(side=TOP,anchor=W)
|
2001-11-03 13:07:28 +08:00
|
|
|
self.listFontName.pack(side=LEFT,expand=TRUE,fill=X)
|
2001-08-11 23:48:13 +08:00
|
|
|
scrollFont.pack(side=LEFT,fill=Y)
|
2001-11-03 13:07:28 +08:00
|
|
|
labelFontSizeTitle.pack(side=LEFT,anchor=W)
|
|
|
|
self.optMenuFontSize.pack(side=LEFT,anchor=W)
|
|
|
|
checkFontBold.pack(side=LEFT,anchor=W,padx=20)
|
2001-08-05 16:00:28 +08:00
|
|
|
frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
|
2001-08-11 23:48:13 +08:00
|
|
|
self.labelFontSample.pack(expand=TRUE,fill=BOTH)
|
2001-08-05 16:00:28 +08:00
|
|
|
#frameIndent
|
|
|
|
labelIndentTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
|
|
|
frameIndentType.pack(side=TOP,padx=5,fill=X)
|
|
|
|
frameIndentSize.pack(side=TOP,padx=5,pady=5,fill=BOTH)
|
|
|
|
labelIndentTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
|
|
|
radioUseSpaces.pack(side=TOP,anchor=W,padx=5)
|
|
|
|
radioUseTabs.pack(side=TOP,anchor=W,padx=5)
|
|
|
|
labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
|
|
|
labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
|
|
|
|
self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
|
|
|
|
labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
|
|
|
|
self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
|
2001-08-03 12:43:44 +08:00
|
|
|
return frame
|
|
|
|
|
|
|
|
def CreatePageHighlight(self):
|
|
|
|
self.builtinTheme=StringVar()
|
|
|
|
self.customTheme=StringVar()
|
2001-10-29 19:19:46 +08:00
|
|
|
self.fgHilite=IntVar()
|
2001-08-03 12:43:44 +08:00
|
|
|
self.colour=StringVar()
|
|
|
|
self.fontName=StringVar()
|
|
|
|
self.themeType=IntVar()
|
2001-11-03 13:07:28 +08:00
|
|
|
self.highlightTarget=StringVar()
|
|
|
|
self.highlightTarget.trace_variable('w',self.SetHighlightTargetBinding)
|
2001-08-03 12:43:44 +08:00
|
|
|
##widget creation
|
|
|
|
#body frame
|
2001-08-13 12:36:58 +08:00
|
|
|
frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
|
2001-08-03 12:43:44 +08:00
|
|
|
#body section frames
|
|
|
|
frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
|
|
|
|
frameTheme=Frame(frame,borderwidth=2,relief=GROOVE)
|
|
|
|
#frameCustom
|
2001-11-03 13:07:28 +08:00
|
|
|
self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1,
|
|
|
|
font=('courier',12,''),cursor='hand2',width=10,height=10,
|
|
|
|
takefocus=FALSE,highlightthickness=0)
|
|
|
|
text=self.textHighlightSample
|
|
|
|
text.bind('<Double-Button-1>',lambda e: 'break')
|
|
|
|
text.bind('<B1-Motion>',lambda e: 'break')
|
|
|
|
text.insert(END,'#you can click in here','comment')
|
|
|
|
text.insert(END,'\n')
|
|
|
|
text.insert(END,'#to choose items','comment')
|
|
|
|
text.insert(END,'\n')
|
|
|
|
text.insert(END,'def','keyword')
|
|
|
|
text.insert(END,' ')
|
|
|
|
text.insert(END,'func','definition')
|
|
|
|
text.insert(END,'(param):')
|
|
|
|
text.insert(END,'\n ')
|
|
|
|
text.insert(END,'"""string"""','string')
|
|
|
|
text.insert(END,'\n var0 = ')
|
|
|
|
text.insert(END,"'string'",'string')
|
|
|
|
text.insert(END,'\n var1 = ')
|
|
|
|
text.insert(END,"'selected'",'selected')
|
|
|
|
text.insert(END,'\n var2 = ')
|
|
|
|
text.insert(END,"'found'",'found')
|
|
|
|
text.insert(END,'\n\n')
|
|
|
|
text.insert(END,' error ','error')
|
|
|
|
text.insert(END,'cursor |','cursor')
|
|
|
|
text.insert(END,'\n ')
|
|
|
|
text.insert(END,'shell','shell')
|
|
|
|
text.insert(END,' ')
|
|
|
|
text.insert(END,'stdout','shellstdout')
|
|
|
|
text.insert(END,' ')
|
|
|
|
text.insert(END,'stderr','shellstderr')
|
|
|
|
text.tag_add('normal',1.0,END)
|
|
|
|
text.tag_lower('normal')
|
|
|
|
text.tag_bind('normal','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Normal Text'))
|
|
|
|
text.tag_bind('comment','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Python Comments'))
|
|
|
|
text.tag_bind('keyword','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Python Keywords'))
|
|
|
|
text.tag_bind('definition','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Python Definitions'))
|
|
|
|
text.tag_bind('string','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Python Strings'))
|
|
|
|
text.tag_bind('selected','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Selected Text'))
|
|
|
|
text.tag_bind('found','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Found Text'))
|
|
|
|
text.tag_bind('error','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Error Background'))
|
|
|
|
text.tag_bind('cursor','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Cursor'))
|
|
|
|
text.tag_bind('shell','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Shell Foreground'))
|
|
|
|
text.tag_bind('shellstdout','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Shell Stdout Foreground'))
|
|
|
|
text.tag_bind('shellstderr','<ButtonPress-1>',
|
|
|
|
lambda e: e.widget.winfo_toplevel().highlightTarget.set(
|
|
|
|
'Shell Stderr Foreground'))
|
|
|
|
text.config(state=DISABLED)
|
|
|
|
self.frameColourSet=Frame(frameCustom,relief=SOLID,borderwidth=1)
|
2001-10-29 19:19:46 +08:00
|
|
|
frameFgBg=Frame(frameCustom)
|
2001-08-03 12:43:44 +08:00
|
|
|
labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting')
|
2001-11-03 13:07:28 +08:00
|
|
|
buttonSetColour=Button(self.frameColourSet,text='Choose Colour for :',
|
|
|
|
command=self.GetColour)
|
|
|
|
self.optMenuHighlightTarget=DynOptionMenu(self.frameColourSet,
|
|
|
|
self.highlightTarget,None)#,command=self.SetHighlightTargetBinding
|
2001-10-29 19:19:46 +08:00
|
|
|
self.radioFg=Radiobutton(frameFgBg,variable=self.fgHilite,
|
2001-11-03 13:07:28 +08:00
|
|
|
value=1,text='Foreground')#,command=self.SetFgBg
|
2001-10-29 19:19:46 +08:00
|
|
|
self.radioBg=Radiobutton(frameFgBg,variable=self.fgHilite,
|
2001-11-03 13:07:28 +08:00
|
|
|
value=0,text='Background')#,command=self.SetFgBg
|
2001-10-29 19:19:46 +08:00
|
|
|
self.fgHilite.set(1)
|
2001-11-03 13:07:28 +08:00
|
|
|
#self.labelFontTypeTitle=Label(frameFontSet,text='Font Style :')
|
|
|
|
#self.checkFontBold=Checkbutton(frameFontSet,variable=self.fontBold,
|
|
|
|
# onvalue='Bold',offvalue='',text='Bold')
|
|
|
|
#self.checkFontItalic=Checkbutton(frameFontSet,variable=self.fontItalic,
|
|
|
|
# onvalue='Italic',offvalue='',text='Italic')
|
2001-08-04 21:58:22 +08:00
|
|
|
buttonSaveCustomTheme=Button(frameCustom,
|
2001-08-03 12:43:44 +08:00
|
|
|
text='Save as a Custom Theme')
|
|
|
|
#frameTheme
|
|
|
|
labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme')
|
|
|
|
labelTypeTitle=Label(frameTheme,text='Select : ')
|
2001-10-29 16:05:34 +08:00
|
|
|
self.radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeType,
|
2001-08-03 12:43:44 +08:00
|
|
|
value=0,command=self.SetThemeType,text='a Built-in Theme')
|
2001-10-29 16:05:34 +08:00
|
|
|
self.radioThemeCustom=Radiobutton(frameTheme,variable=self.themeType,
|
2001-08-03 12:43:44 +08:00
|
|
|
value=1,command=self.SetThemeType,text='a Custom Theme')
|
2001-10-29 16:05:34 +08:00
|
|
|
self.optMenuThemeBuiltin=DynOptionMenu(frameTheme,
|
2001-10-29 19:19:46 +08:00
|
|
|
self.builtinTheme,None,command=None)
|
2001-10-29 16:05:34 +08:00
|
|
|
self.optMenuThemeCustom=DynOptionMenu(frameTheme,
|
2001-10-29 19:19:46 +08:00
|
|
|
self.customTheme,None,command=None)
|
2001-08-04 21:58:22 +08:00
|
|
|
self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme')
|
2001-08-03 12:43:44 +08:00
|
|
|
##widget packing
|
|
|
|
#body
|
2001-08-04 21:58:22 +08:00
|
|
|
frameCustom.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
|
|
|
|
frameTheme.pack(side=LEFT,padx=5,pady=10,fill=Y)
|
2001-08-03 12:43:44 +08:00
|
|
|
#frameCustom
|
|
|
|
labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
2001-11-03 13:07:28 +08:00
|
|
|
self.frameColourSet.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=X)
|
2001-10-29 19:19:46 +08:00
|
|
|
frameFgBg.pack(side=TOP,padx=5,pady=0)
|
2001-11-03 13:07:28 +08:00
|
|
|
self.textHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,
|
|
|
|
fill=BOTH)
|
|
|
|
buttonSetColour.pack(side=TOP,expand=TRUE,fill=X,padx=5,pady=3)
|
|
|
|
self.optMenuHighlightTarget.pack(side=TOP,expand=TRUE,fill=X,padx=5,pady=3)
|
2001-10-29 19:19:46 +08:00
|
|
|
self.radioFg.pack(side=LEFT,anchor=E)
|
|
|
|
self.radioBg.pack(side=RIGHT,anchor=W)
|
2001-08-04 21:58:22 +08:00
|
|
|
buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
|
2001-08-03 12:43:44 +08:00
|
|
|
#frameTheme
|
|
|
|
labelThemeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
|
|
|
labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
2001-10-29 16:05:34 +08:00
|
|
|
self.radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
|
|
|
|
self.radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
|
2001-08-03 12:43:44 +08:00
|
|
|
self.optMenuThemeBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
|
|
|
|
self.optMenuThemeCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
|
2001-08-04 21:58:22 +08:00
|
|
|
self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
|
2001-08-03 12:43:44 +08:00
|
|
|
return frame
|
|
|
|
|
|
|
|
def CreatePageKeys(self):
|
2001-08-04 21:58:22 +08:00
|
|
|
#tkVars
|
|
|
|
self.bindingTarget=StringVar()
|
|
|
|
self.builtinKeys=StringVar()
|
|
|
|
self.customKeys=StringVar()
|
|
|
|
self.keyChars=StringVar()
|
|
|
|
self.keyCtrl=StringVar()
|
|
|
|
self.keyAlt=StringVar()
|
|
|
|
self.keyShift=StringVar()
|
|
|
|
self.keysType=IntVar()
|
|
|
|
##widget creation
|
|
|
|
#body frame
|
2001-08-13 12:36:58 +08:00
|
|
|
frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
|
2001-08-04 21:58:22 +08:00
|
|
|
#body section frames
|
|
|
|
frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
|
|
|
|
frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE)
|
|
|
|
#frameCustom
|
|
|
|
frameTarget=Frame(frameCustom)
|
|
|
|
frameSet=Frame(frameCustom)
|
|
|
|
labelCustomTitle=Label(frameCustom,text='Set Custom Key Bindings')
|
|
|
|
labelTargetTitle=Label(frameTarget,text='Action')
|
|
|
|
scrollTarget=Scrollbar(frameTarget)
|
|
|
|
listTarget=Listbox(frameTarget)
|
2001-08-11 23:48:13 +08:00
|
|
|
scrollTarget.config(command=listTarget.yview)
|
|
|
|
listTarget.config(yscrollcommand=scrollTarget.set)
|
2001-08-04 21:58:22 +08:00
|
|
|
labelKeyBindTitle=Label(frameSet,text='Binding')
|
|
|
|
labelModifierTitle=Label(frameSet,text='Modifier:')
|
|
|
|
checkCtrl=Checkbutton(frameSet,text='Ctrl')
|
|
|
|
checkAlt=Checkbutton(frameSet,text='Alt')
|
|
|
|
checkShift=Checkbutton(frameSet,text='Shift')
|
|
|
|
labelKeyEntryTitle=Label(frameSet,text='Key:')
|
|
|
|
entryKey=Entry(frameSet,width=4)
|
|
|
|
buttonSaveCustomKeys=Button(frameCustom,text='Save as a Custom Key Set')
|
|
|
|
#frameKeySets
|
2001-08-05 16:00:28 +08:00
|
|
|
labelKeysTitle=Label(frameKeySets,text='Select a Key Set')
|
2001-08-04 21:58:22 +08:00
|
|
|
labelTypeTitle=Label(frameKeySets,text='Select : ')
|
2001-10-29 16:05:34 +08:00
|
|
|
self.radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysType,
|
2001-08-04 21:58:22 +08:00
|
|
|
value=0,command=self.SetKeysType,text='a Built-in Key Set')
|
2001-10-29 16:05:34 +08:00
|
|
|
self.radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysType,
|
2001-08-04 21:58:22 +08:00
|
|
|
value=1,command=self.SetKeysType,text='a Custom Key Set')
|
2001-10-29 16:05:34 +08:00
|
|
|
self.optMenuKeysBuiltin=DynOptionMenu(frameKeySets,
|
|
|
|
self.builtinKeys,None,command=None)
|
|
|
|
self.optMenuKeysCustom=DynOptionMenu(frameKeySets,
|
|
|
|
self.customKeys,None,command=None)
|
2001-08-04 21:58:22 +08:00
|
|
|
self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set')
|
2001-10-29 16:05:34 +08:00
|
|
|
# self.SetKeysType()
|
2001-08-04 21:58:22 +08:00
|
|
|
##widget packing
|
|
|
|
#body
|
|
|
|
frameCustom.pack(side=LEFT,padx=5,pady=5,expand=TRUE,fill=BOTH)
|
|
|
|
frameKeySets.pack(side=LEFT,padx=5,pady=5,fill=Y)
|
|
|
|
#frameCustom
|
|
|
|
labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
|
|
|
buttonSaveCustomKeys.pack(side=BOTTOM,fill=X,padx=5,pady=5)
|
|
|
|
frameTarget.pack(side=LEFT,padx=5,pady=5,fill=Y)
|
|
|
|
frameSet.pack(side=LEFT,padx=5,pady=5,fill=Y)
|
|
|
|
labelTargetTitle.pack(side=TOP,anchor=W)
|
|
|
|
scrollTarget.pack(side=RIGHT,anchor=W,fill=Y)
|
|
|
|
listTarget.pack(side=TOP,anchor=W,expand=TRUE,fill=BOTH)
|
|
|
|
labelKeyBindTitle.pack(side=TOP,anchor=W)
|
|
|
|
labelModifierTitle.pack(side=TOP,anchor=W,pady=5)
|
|
|
|
checkCtrl.pack(side=TOP,anchor=W)
|
|
|
|
checkAlt.pack(side=TOP,anchor=W,pady=2)
|
|
|
|
checkShift.pack(side=TOP,anchor=W)
|
|
|
|
labelKeyEntryTitle.pack(side=TOP,anchor=W,pady=5)
|
|
|
|
entryKey.pack(side=TOP,anchor=W)
|
|
|
|
#frameKeySets
|
|
|
|
labelKeysTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
|
|
|
labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
2001-10-29 16:05:34 +08:00
|
|
|
self.radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5)
|
|
|
|
self.radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
|
2001-08-04 21:58:22 +08:00
|
|
|
self.optMenuKeysBuiltin.pack(side=TOP,fill=X,padx=5,pady=5)
|
|
|
|
self.optMenuKeysCustom.pack(side=TOP,fill=X,anchor=W,padx=5,pady=5)
|
|
|
|
self.buttonDeleteCustomKeys.pack(side=TOP,fill=X,padx=5,pady=5)
|
2001-08-03 12:43:44 +08:00
|
|
|
return frame
|
|
|
|
|
|
|
|
def CreatePageGeneral(self):
|
2001-08-07 11:28:25 +08:00
|
|
|
#tkVars
|
|
|
|
self.runType=IntVar()
|
|
|
|
self.winWidth=StringVar()
|
|
|
|
self.winHeight=StringVar()
|
|
|
|
self.extState=IntVar()
|
|
|
|
#widget creation
|
|
|
|
#body
|
2001-08-13 12:36:58 +08:00
|
|
|
frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
|
2001-08-07 11:28:25 +08:00
|
|
|
#body section frames
|
|
|
|
frameRun=Frame(frame,borderwidth=2,relief=GROOVE)
|
|
|
|
frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)
|
|
|
|
frameExt=Frame(frame,borderwidth=2,relief=GROOVE)
|
|
|
|
#frameRun
|
|
|
|
labelRunTitle=Label(frameRun,text='Run Preferences')
|
|
|
|
labelRunChoiceTitle=Label(frameRun,text='Run code : ')
|
|
|
|
radioRunInternal=Radiobutton(frameRun,variable=self.runType,
|
|
|
|
value=0,command=self.SetKeysType,text="in IDLE's Process")
|
|
|
|
radioRunSeparate=Radiobutton(frameRun,variable=self.runType,
|
|
|
|
value=1,command=self.SetKeysType,text='in a Separate Process')
|
|
|
|
#frameWinSize
|
|
|
|
labelWinSizeTitle=Label(frameWinSize,text='Initial Window Size')
|
|
|
|
buttonWinSizeSet=Button(frameWinSize,text='Set to current window size')
|
|
|
|
labelWinWidthTitle=Label(frameWinSize,text='Width')
|
|
|
|
entryWinWidth=Entry(frameWinSize,textvariable=self.winWidth,
|
|
|
|
width=3)
|
|
|
|
labelWinHeightTitle=Label(frameWinSize,text='Height')
|
|
|
|
entryWinHeight=Entry(frameWinSize,textvariable=self.winHeight,
|
|
|
|
width=3)
|
|
|
|
#frameExt
|
|
|
|
frameExtList=Frame(frameExt)
|
|
|
|
frameExtSet=Frame(frameExt)
|
|
|
|
labelExtTitle=Label(frameExt,text='Configure IDLE Extensions')
|
|
|
|
labelExtListTitle=Label(frameExtList,text='Extension')
|
|
|
|
scrollExtList=Scrollbar(frameExtList)
|
|
|
|
listExt=Listbox(frameExtList,height=5)
|
2001-08-11 23:48:13 +08:00
|
|
|
scrollExtList.config(command=listExt.yview)
|
|
|
|
listExt.config(yscrollcommand=scrollExtList.set)
|
2001-08-07 11:28:25 +08:00
|
|
|
labelExtSetTitle=Label(frameExtSet,text='Settings')
|
|
|
|
radioEnableExt=Radiobutton(frameExtSet,variable=self.extState,
|
|
|
|
value=1,text="enable")
|
|
|
|
radioDisableExt=Radiobutton(frameExtSet,variable=self.extState,
|
|
|
|
value=0,text="disable")
|
|
|
|
self.extState.set(1)
|
|
|
|
buttonExtConfig=Button(frameExtSet,text='Configure')
|
|
|
|
|
|
|
|
#widget packing
|
|
|
|
#body
|
|
|
|
frameRun.pack(side=TOP,padx=5,pady=5,fill=X)
|
|
|
|
frameWinSize.pack(side=TOP,padx=5,pady=5,fill=X)
|
|
|
|
frameExt.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
|
|
|
|
#frameRun
|
|
|
|
labelRunTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
|
|
|
labelRunChoiceTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|
|
|
radioRunInternal.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|
|
|
radioRunSeparate.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|
|
|
#frameWinSize
|
|
|
|
labelWinSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
|
|
|
buttonWinSizeSet.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|
|
|
labelWinWidthTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|
|
|
entryWinWidth.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|
|
|
labelWinHeightTitle.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|
|
|
entryWinHeight.pack(side=LEFT,anchor=W,padx=5,pady=5)
|
|
|
|
#frameExt
|
|
|
|
labelExtTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
|
|
|
frameExtSet.pack(side=RIGHT,padx=5,pady=5,fill=Y)
|
|
|
|
frameExtList.pack(side=RIGHT,padx=5,pady=5,expand=TRUE,fill=BOTH)
|
|
|
|
labelExtListTitle.pack(side=TOP,anchor=W)
|
|
|
|
scrollExtList.pack(side=RIGHT,anchor=W,fill=Y)
|
|
|
|
listExt.pack(side=LEFT,anchor=E,expand=TRUE,fill=BOTH)
|
|
|
|
labelExtSetTitle.pack(side=TOP,anchor=W)
|
|
|
|
radioEnableExt.pack(side=TOP,anchor=W)
|
|
|
|
radioDisableExt.pack(side=TOP,anchor=W)
|
|
|
|
buttonExtConfig.pack(side=TOP,anchor=W,pady=5)
|
|
|
|
|
2001-08-03 12:43:44 +08:00
|
|
|
return frame
|
|
|
|
|
2001-10-23 18:42:12 +08:00
|
|
|
def LoadFontCfg(self):
|
|
|
|
##base editor font selection list
|
2001-09-24 17:43:17 +08:00
|
|
|
fonts=list(tkFont.families(self))
|
|
|
|
fonts.sort()
|
|
|
|
for font in fonts:
|
|
|
|
self.listFontName.insert(END,font)
|
2001-10-26 14:47:09 +08:00
|
|
|
configuredFont=idleConf.GetOption('main','EditorWindow','font',
|
2001-10-23 18:42:12 +08:00
|
|
|
default='courier')
|
|
|
|
if configuredFont in fonts:
|
|
|
|
currentFontIndex=fonts.index(configuredFont)
|
|
|
|
self.listFontName.see(currentFontIndex)
|
|
|
|
self.listFontName.select_set(currentFontIndex)
|
|
|
|
##font size dropdown
|
2001-10-26 14:47:09 +08:00
|
|
|
fontSize=idleConf.GetOption('main','EditorWindow','font-size',default='12')
|
|
|
|
self.optMenuFontSize.SetMenu(('10','11','12','13','14',
|
|
|
|
'16','18','20','22'),fontSize )
|
2001-10-23 18:42:12 +08:00
|
|
|
##font sample
|
|
|
|
self.SetFontSample()
|
|
|
|
|
|
|
|
def LoadTabCfg(self):
|
|
|
|
##indent type radibuttons
|
2001-10-26 14:47:09 +08:00
|
|
|
spaceIndent=idleConf.GetOption('main','Indent','use-spaces',
|
2001-10-23 18:42:12 +08:00
|
|
|
default=1,type='bool')
|
|
|
|
self.indentType.set(spaceIndent)
|
|
|
|
##indent sizes
|
2001-10-26 14:47:09 +08:00
|
|
|
spaceNum=idleConf.GetOption('main','Indent','num-spaces',
|
2001-10-23 18:42:12 +08:00
|
|
|
default=4,type='int')
|
2001-10-26 14:47:09 +08:00
|
|
|
tabCols=idleConf.GetOption('main','Indent','tab-cols',
|
2001-10-23 18:42:12 +08:00
|
|
|
default=4,type='int')
|
|
|
|
self.spaceNum.set(spaceNum)
|
|
|
|
self.tabCols.set(tabCols)
|
2001-09-24 17:43:17 +08:00
|
|
|
|
2001-10-26 14:47:09 +08:00
|
|
|
def LoadThemeLists(self):
|
2001-10-29 16:05:34 +08:00
|
|
|
##current theme type radiobutton
|
|
|
|
self.themeType.set(idleConf.GetOption('main','Theme','user',type='int'))
|
|
|
|
##currently set theme
|
|
|
|
currentOption=idleConf.GetOption('main','Theme','name')
|
2001-10-29 19:19:46 +08:00
|
|
|
##load available theme option menus
|
2001-10-29 16:05:34 +08:00
|
|
|
if self.themeType.get() == 0: #default theme selected
|
|
|
|
itemList=idleConf.GetSectionList('default','highlight')
|
|
|
|
self.optMenuThemeBuiltin.SetMenu(itemList,currentOption)
|
|
|
|
itemList=idleConf.GetSectionList('user','highlight')
|
|
|
|
if not itemList:
|
|
|
|
self.radioThemeCustom.config(state=DISABLED)
|
|
|
|
self.customTheme.set('- no custom themes -')
|
|
|
|
else:
|
|
|
|
self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
|
|
|
|
elif self.themeType.get() == 1: #user theme selected
|
|
|
|
itemList=idleConf.GetSectionList('user','highlight')
|
|
|
|
self.optMenuThemeCustom.SetMenu(itemList,currentOption)
|
|
|
|
itemList=idleConf.GetSectionList('default','highlight')
|
|
|
|
self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
|
2001-10-29 19:19:46 +08:00
|
|
|
self.SetThemeType()
|
|
|
|
##load theme element option menu
|
|
|
|
elements=('Normal Text','Python Keywords','Python Definitions',
|
|
|
|
'Python Comments','Python Strings','Selected Text',
|
2001-11-03 13:07:28 +08:00
|
|
|
'Found Text','Cursor','Error Background','Shell Foreground',
|
2001-10-29 19:19:46 +08:00
|
|
|
'Shell Stdout Foreground','Shell Stderr Foreground')
|
|
|
|
self.optMenuHighlightTarget.SetMenu(elements,elements[0])
|
2001-10-29 16:05:34 +08:00
|
|
|
|
|
|
|
def LoadKeyLists(self):
|
|
|
|
##current keys type radiobutton
|
|
|
|
self.keysType.set(idleConf.GetOption('main','Keys','user',type='int'))
|
|
|
|
##currently set keys
|
|
|
|
currentOption=idleConf.GetOption('main','Keys','name')
|
2001-10-29 19:19:46 +08:00
|
|
|
##load available keyset option menus
|
2001-10-29 16:05:34 +08:00
|
|
|
if self.keysType.get() == 0: #default theme selected
|
|
|
|
itemList=idleConf.GetSectionList('default','keys')
|
|
|
|
self.optMenuKeysBuiltin.SetMenu(itemList,currentOption)
|
|
|
|
itemList=idleConf.GetSectionList('user','keys')
|
|
|
|
if not itemList:
|
|
|
|
self.radioKeysCustom.config(state=DISABLED)
|
|
|
|
self.customKeys.set('- no custom keys -')
|
|
|
|
else:
|
|
|
|
self.optMenuKeysCustom.SetMenu(itemList,itemList[0])
|
|
|
|
elif self.keysType.get() == 1: #user theme selected
|
|
|
|
itemList=idleConf.GetSectionList('user','keys')
|
|
|
|
self.optMenuKeysCustom.SetMenu(itemList,currentOption)
|
|
|
|
itemList=idleConf.GetSectionList('default','keys')
|
|
|
|
self.optMenuKeysBuiltin.SetMenu(itemList,itemList[0])
|
|
|
|
self.SetKeysType()
|
2001-10-29 19:19:46 +08:00
|
|
|
##load keyset element option menu
|
2001-10-29 16:05:34 +08:00
|
|
|
|
2001-10-23 18:42:12 +08:00
|
|
|
def LoadConfigs(self):
|
|
|
|
"""
|
|
|
|
load configuration from default and user config files and populate
|
|
|
|
the widgets on the config dialog pages.
|
|
|
|
"""
|
|
|
|
### fonts / tabs page
|
|
|
|
self.LoadFontCfg()
|
|
|
|
self.LoadTabCfg()
|
|
|
|
### highlighting page
|
2001-10-26 14:47:09 +08:00
|
|
|
self.LoadThemeLists()
|
2001-10-23 18:42:12 +08:00
|
|
|
### keys page
|
2001-10-29 16:05:34 +08:00
|
|
|
self.LoadKeyLists()
|
2001-10-23 18:42:12 +08:00
|
|
|
### help page
|
|
|
|
### general page
|
|
|
|
|
2001-09-24 17:43:17 +08:00
|
|
|
def SaveConfigs(self):
|
2001-10-23 18:42:12 +08:00
|
|
|
"""
|
|
|
|
save configuration changes to user config files.
|
|
|
|
"""
|
2001-09-24 17:43:17 +08:00
|
|
|
pass
|
|
|
|
|
2001-07-31 14:59:02 +08:00
|
|
|
if __name__ == '__main__':
|
2001-07-31 18:46:53 +08:00
|
|
|
#test the dialog
|
|
|
|
root=Tk()
|
|
|
|
Button(root,text='Dialog',
|
|
|
|
command=lambda:ConfigDialog(root,'Settings',None)).pack()
|
|
|
|
root.mainloop()
|