cpython/Lib/idlelib/configDialog.py

535 lines
24 KiB
Python
Raw Normal View History

##---------------------------------------------------------------------------##
##
## idle - configuration dialog
## elguavas
##
##---------------------------------------------------------------------------##
"""
configuration dialog
"""
from Tkinter import *
2001-08-11 12:48:13 -03:00
import tkMessageBox, tkColorChooser, tkFont
2001-08-04 10:58:22 -03:00
import IdleConf
class ConfigDialog(Toplevel):
"""
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-08-04 10:58:22 -03:00
self.LoadConfig()
#elguavas - config placeholders til config stuff completed
self.bg=self.cget('bg')
self.fg=None
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 12:48:13 -03:00
self.bind('<Alt-a>',self.ApplyBinding) #apply changes, save
self.bind('<F1>',self.HelpBinding) #context help
self.bind('<Alt-f>',self.ChangePageBinding)
self.bind('<Alt-h>',self.ChangePageBinding)
self.bind('<Alt-k>',self.ChangePageBinding)
self.bind('<Alt-g>',self.ChangePageBinding)
self.wait_window()
2001-08-04 10:58:22 -03:00
def LoadConfig(self):
#self.configParser=IdleConf.idleconf
#self.loadedConfig={}
#self.workingConfig={}
#for key in .keys():
#print self.configParser.getsection('Colors').options()
self.workingTestColours={
'Foo-Bg': '#ffffff',
'Foo-Fg': '#000000',
'Bar-Bg': '#777777'}
def Cancel(self):
self.destroy()
2001-08-11 12:48:13 -03:00
def Ok(self):
pass
def Apply(self):
pass
def Help(self):
pass
def CancelBinding(self,event):
self.Cancel()
2001-08-11 12:48:13 -03:00
def OkBinding(self,event):
self.Ok()
def ApplyBinding(self,event):
self.Apply()
def HelpBinding(self,event):
self.Help()
def ChangePage(self):
self.pages[self.pageNum.get()].lift()
self.title('Settings - '+
self.pageButtons[self.pageNum.get()].cget('text'))
def ChangePageBinding(self,event):
pageKeys=('f','h','k','g')
pos=0
for key in pageKeys:
if event.char == key:
self.pageNum.set(pos)
self.ChangePage()
return
pos=pos+1
def SetThemeType(self):
if self.themeType.get()==0:
self.optMenuThemeBuiltin.config(state=NORMAL)
self.optMenuThemeCustom.config(state=DISABLED)
2001-08-04 10:58:22 -03:00
self.buttonDeleteCustomTheme.config(state=DISABLED)
elif self.themeType.get()==1:
self.optMenuThemeBuiltin.config(state=DISABLED)
self.optMenuThemeCustom.config(state=NORMAL)
2001-08-04 10:58:22 -03: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)
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-08-11 12:48:13 -03:00
def __LoadFontList(self):
fonts=list(tkFont.families(self))
fonts.sort()
for font in fonts:
self.listFontName.insert(END,font)
currentFontIndex=fonts.index('courier')
self.listFontName.see(currentFontIndex)
self.listFontName.select_set(currentFontIndex)
self.fontSize.set('12')
def __SetFontSample(self,event):
self.newFont.config(size=self.fontSize.get(),weight=NORMAL,
family=self.listFontName.get(self.listFontName.curselection()[0]))
def CreateWidgets(self):
self.framePages = Frame(self)
frameActionButtons = Frame(self)
framePageButtons = Frame(self.framePages,borderwidth=1,relief=SUNKEN)
#action buttons
self.buttonHelp = Button(frameActionButtons,text='Help',
command=self.Help,takefocus=FALSE)
2001-08-11 12:48:13 -03: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)
self.buttonCancel = Button(frameActionButtons,text='Cancel',
command=self.Cancel,takefocus=FALSE)
#page buttons
self.pageNum=IntVar()
self.pageNum.set(0)
2001-08-04 10:58:22 -03:00
buttonPageFontTab = Radiobutton(framePageButtons,value=0,
text='Font/Tabs',padx=5,pady=5)
buttonPageHighlight = Radiobutton(framePageButtons,value=1,
text='Highlighting',padx=5,pady=5)
buttonPageKeys = Radiobutton(framePageButtons,value=2,
text='Keys',padx=5,pady=5)
buttonPageGeneral = Radiobutton(framePageButtons,value=3,
text='General',padx=5,pady=5)
2001-08-04 10:58:22 -03:00
self.pageButtons=(buttonPageFontTab,buttonPageHighlight,
buttonPageKeys,buttonPageGeneral)
for button in self.pageButtons:
button.config(command=self.ChangePage,underline=0,takefocus=FALSE,
indicatoron=FALSE,highlightthickness=0,variable=self.pageNum,
selectcolor=self.bg,borderwidth=1)
button.pack(side=LEFT)
#pages
2001-08-04 10:58:22 -03:00
self.pages=(self.CreatePageFontTab(),
self.CreatePageHighlight(),
self.CreatePageKeys(),
self.CreatePageGeneral())
#grid in framePages so we can overlap pages
framePageButtons.grid(row=0,column=0,sticky=W)
for page in self.pages: page.grid(row=1,column=0,sticky=(N,S,E,W))
2001-08-11 12:48:13 -03: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)
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 10:58:22 -03:00
def CreatePageFontTab(self):
2001-08-05 05:00:28 -03:00
#tkVars
self.fontSize=StringVar()
self.spaceNum=IntVar()
self.tabCols=IntVar()
self.indentType=IntVar()
2001-08-11 12:48:13 -03:00
self.newFont=tkFont.Font(self,('courier',12,'normal'))
2001-08-05 05:00:28 -03:00
##widget creation
#body frame
frame=Frame(self.framePages,borderwidth=2,relief=SUNKEN)
2001-08-05 05:00:28 -03: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-08-11 12:48:13 -03:00
frameFontSize=Frame(frameFontName)
2001-08-05 05:00:28 -03:00
labelFontNameTitle=Label(frameFontName,justify=LEFT,
2001-08-11 12:48:13 -03:00
text='Font :')
self.listFontName=Listbox(frameFontName,height=5,takefocus=FALSE,
exportselection=FALSE)
self.listFontName.bind('<<ListboxSelect>>',self.__SetFontSample)
scrollFont=Scrollbar(frameFontName)
self.__LoadFontList()
scrollFont.config(command=self.listFontName.yview)
self.listFontName.config(yscrollcommand=scrollFont.set)
labelFontSizeTitle=Label(frameFontSize,text='Size :')
sizes=('10','11','12','13','14','16','18','20','22')
args=(frameFontSize,self.fontSize)+sizes
keyArgs={'command':self.__SetFontSample}
optFontSize=apply(OptionMenu,args,keyArgs)
#optFontSize.bind('<<MenuSelect>>',self.__SetFontSample)
2001-08-05 05:00:28 -03:00
frameFontSample=Frame(frameFont,relief=SOLID,borderwidth=1,
bg=self.workingTestColours['Foo-Bg'])
2001-08-11 12:48:13 -03:00
self.labelFontSample=Label(frameFontSample,bg=self.workingTestColours['Foo-Bg'],
fg='#000000',text='AaBbCcDdEe\nFfGgHhIiJjK\n1234567890\n#:+=(){}[]',
justify=LEFT,font=self.newFont)
2001-08-05 05:00:28 -03: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,
value=0,text='Tab key inserts spaces')
radioUseTabs=Radiobutton(frameIndentType,variable=self.indentType,
value=1,text='Tab key inserts tabs')
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 12:48:13 -03: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 05:00:28 -03:00
#frameFont
labelFontTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
2001-08-11 12:48:13 -03:00
frameFontName.pack(side=TOP,padx=5,pady=5)
frameFontSize.pack(side=RIGHT,anchor=N,fill=X)
2001-08-05 05:00:28 -03:00
labelFontNameTitle.pack(side=TOP,anchor=W)
2001-08-11 12:48:13 -03:00
self.listFontName.pack(side=LEFT,fill=Y)
scrollFont.pack(side=LEFT,fill=Y)
2001-08-05 05:00:28 -03:00
labelFontSizeTitle.pack(side=TOP,anchor=W)
2001-08-11 12:48:13 -03:00
optFontSize.pack(side=TOP,anchor=W,fill=X)
2001-08-05 05:00:28 -03:00
frameFontSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
2001-08-11 12:48:13 -03:00
self.labelFontSample.pack(expand=TRUE,fill=BOTH)
2001-08-05 05:00:28 -03: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)
return frame
def CreatePageHighlight(self):
#tkVars
2001-08-04 10:58:22 -03:00
self.highlightTarget=StringVar()
self.builtinTheme=StringVar()
self.customTheme=StringVar()
self.colour=StringVar()
self.fontName=StringVar()
self.fontBold=StringVar()
self.fontItalic=StringVar()
self.themeType=IntVar()
##widget creation
#body frame
frame=Frame(self.framePages,borderwidth=2,relief=SUNKEN)
#body section frames
frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
frameTheme=Frame(frame,borderwidth=2,relief=GROOVE)
#frameCustom
frameTarget=Frame(frameCustom)
self.frameHighlightSample=Frame(frameCustom,relief=SOLID,borderwidth=1,
bg=self.workingTestColours['Foo-Bg'],cursor='hand2')
frameSet=Frame(frameCustom)
self.frameColourSet=Frame(frameSet,relief=SOLID,borderwidth=1,
2001-08-04 10:58:22 -03:00
bg=self.workingTestColours['Foo-Bg'])
frameFontSet=Frame(frameSet)
labelCustomTitle=Label(frameCustom,text='Set Custom Highlighting')
labelTargetTitle=Label(frameTarget,text='for : ')
optMenuTarget=OptionMenu(frameTarget,
self.highlightTarget,'normal text background','test target interface item 2')
self.highlightTarget.set('normal text background')
buttonSetColour=Button(self.frameColourSet,text='Set Colour',
command=self.GetColour)
labelFontTitle=Label(frameFontSet,text='Set Font Style')
checkFontBold=Checkbutton(frameFontSet,variable=self.fontBold,
onvalue='Bold',offvalue='',text='Bold')
checkFontItalic=Checkbutton(frameFontSet,variable=self.fontItalic,
onvalue='Italic',offvalue='',text='Italic')
self.labelTestSample=Label(self.frameHighlightSample,justify=LEFT,font=('courier',12,''),
2001-08-05 05:00:28 -03:00
text='#when finished, this\n#sample area will\n#be interactive\n'+
'def Ahem(foo,bar):\n '+
'"""'+'doc hazard'+'"""'+
'\n test=foo\n text=bar\n return',
2001-08-04 10:58:22 -03:00
bg=self.workingTestColours['Foo-Bg'])
buttonSaveCustomTheme=Button(frameCustom,
text='Save as a Custom Theme')
#frameTheme
#frameDivider=Frame(frameTheme,relief=SUNKEN,borderwidth=1,
# width=2,height=10)
labelThemeTitle=Label(frameTheme,text='Select a Highlighting Theme')
labelTypeTitle=Label(frameTheme,text='Select : ')
radioThemeBuiltin=Radiobutton(frameTheme,variable=self.themeType,
value=0,command=self.SetThemeType,text='a Built-in Theme')
radioThemeCustom=Radiobutton(frameTheme,variable=self.themeType,
value=1,command=self.SetThemeType,text='a Custom Theme')
self.optMenuThemeBuiltin=OptionMenu(frameTheme,
self.builtinTheme,'test builtin junk','test builtin junk 2')
self.builtinTheme.set('test builtin junk')
self.optMenuThemeCustom=OptionMenu(frameTheme,
self.customTheme,'test custom junk','test custom junk 2')
self.customTheme.set('test custom junk')
self.themeType.set(0)
2001-08-04 10:58:22 -03:00
self.buttonDeleteCustomTheme=Button(frameTheme,text='Delete Custom Theme')
self.SetThemeType()
##widget packing
#body
2001-08-04 10:58:22 -03:00
frameCustom.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
frameTheme.pack(side=LEFT,padx=5,pady=10,fill=Y)
#frameCustom
labelCustomTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
2001-08-05 05:00:28 -03:00
frameTarget.pack(side=TOP,padx=5,pady=5,fill=X)
self.frameHighlightSample.pack(side=TOP,padx=5,pady=5,expand=TRUE,fill=BOTH)
frameSet.pack(side=TOP,fill=X)
self.frameColourSet.pack(side=LEFT,padx=5,pady=5,fill=BOTH)
frameFontSet.pack(side=RIGHT,padx=5,pady=5,anchor=W)
labelTargetTitle.pack(side=LEFT,anchor=E)
2001-08-05 05:00:28 -03:00
optMenuTarget.pack(side=RIGHT,anchor=W,expand=TRUE,fill=X)
buttonSetColour.pack(expand=TRUE,fill=BOTH,padx=10,pady=10)
labelFontTitle.pack(side=TOP,anchor=W)
checkFontBold.pack(side=LEFT,anchor=W,pady=2)
checkFontItalic.pack(side=RIGHT,anchor=W)
self.labelTestSample.pack(anchor=CENTER,expand=TRUE,fill=BOTH)
2001-08-04 10:58:22 -03:00
buttonSaveCustomTheme.pack(side=BOTTOM,fill=X,padx=5,pady=5)
#frameTheme
#frameDivider.pack(side=LEFT,fill=Y,padx=5,pady=5)
labelThemeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
labelTypeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
radioThemeBuiltin.pack(side=TOP,anchor=W,padx=5)
radioThemeCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
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 10:58:22 -03:00
self.buttonDeleteCustomTheme.pack(side=TOP,fill=X,padx=5,pady=5)
return frame
def CreatePageKeys(self):
2001-08-04 10:58:22 -03: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
frame=Frame(self.framePages,borderwidth=2,relief=SUNKEN)
2001-08-04 10:58:22 -03: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 12:48:13 -03:00
scrollTarget.config(command=listTarget.yview)
listTarget.config(yscrollcommand=scrollTarget.set)
2001-08-04 10:58:22 -03: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 05:00:28 -03:00
labelKeysTitle=Label(frameKeySets,text='Select a Key Set')
2001-08-04 10:58:22 -03:00
labelTypeTitle=Label(frameKeySets,text='Select : ')
radioKeysBuiltin=Radiobutton(frameKeySets,variable=self.keysType,
value=0,command=self.SetKeysType,text='a Built-in Key Set')
radioKeysCustom=Radiobutton(frameKeySets,variable=self.keysType,
value=1,command=self.SetKeysType,text='a Custom Key Set')
self.optMenuKeysBuiltin=OptionMenu(frameKeySets,
self.builtinKeys,'test builtin junk','test builtin junk 2')
self.builtinKeys.set('test builtin junk')
self.optMenuKeysCustom=OptionMenu(frameKeySets,
self.customKeys,'test custom junk','test custom junk 2')
self.customKeys.set('test custom junk')
self.keysType.set(0)
self.buttonDeleteCustomKeys=Button(frameKeySets,text='Delete Custom Key Set')
self.SetKeysType()
##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)
radioKeysBuiltin.pack(side=TOP,anchor=W,padx=5)
radioKeysCustom.pack(side=TOP,anchor=W,padx=5,pady=2)
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)
return frame
def CreatePageGeneral(self):
#tkVars
self.runType=IntVar()
self.winWidth=StringVar()
self.winHeight=StringVar()
self.extState=IntVar()
#widget creation
#body
frame=Frame(self.framePages,borderwidth=2,relief=SUNKEN)
#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 12:48:13 -03:00
scrollExtList.config(command=listExt.yview)
listExt.config(yscrollcommand=scrollExtList.set)
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)
return frame
if __name__ == '__main__':
#test the dialog
root=Tk()
Button(root,text='Dialog',
command=lambda:ConfigDialog(root,'Settings',None)).pack()
root.mainloop()