mirrors/cpython
1
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2025-08-10 11:58:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10

further work on font config and general feel improvements

Browse source
This commit is contained in:
Steven M. Gava 2001-08-13 04:36:58 +00:00
parent 5e824c37d3
commit 33277c767f
1 changed files with 24 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

45
Lib/idlelib/configDialog.py
View file

@ -83,6 +83,10 @@ class ConfigDialog(Toplevel):
self.Help() self.Help()
def ChangePage(self): def ChangePage(self):
#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
self.pages[self.pageNum.get()].lift() self.pages[self.pageNum.get()].lift()
self.title('Settings - '+ self.title('Settings - '+
self.pageButtons[self.pageNum.get()].cget('text')) self.pageButtons[self.pageNum.get()].cget('text'))
@ -147,7 +151,7 @@ class ConfigDialog(Toplevel):
def CreateWidgets(self): def CreateWidgets(self):
self.framePages = Frame(self) self.framePages = Frame(self)
frameActionButtons = Frame(self) frameActionButtons = Frame(self)
framePageButtons = Frame(self.framePages,borderwidth=1,relief=SUNKEN) framePageButtons = Frame(self.framePages)
#action buttons #action buttons
self.buttonHelp = Button(frameActionButtons,text='Help', self.buttonHelp = Button(frameActionButtons,text='Help',
command=self.Help,takefocus=FALSE) command=self.Help,takefocus=FALSE)
@ -160,21 +164,20 @@ class ConfigDialog(Toplevel):
#page buttons #page buttons
self.pageNum=IntVar() self.pageNum=IntVar()
self.pageNum.set(0) self.pageNum.set(0)
buttonPageFontTab = Radiobutton(framePageButtons,value=0, pageButtonNames=('Fonts/Tabs','Highlighting','Keys','General')
text='Font/Tabs',padx=5,pady=5) self.pageButtons=[]
buttonPageHighlight = Radiobutton(framePageButtons,value=1, buttonValue=0
text='Highlighting',padx=5,pady=5) for name in pageButtonNames:
buttonPageKeys = Radiobutton(framePageButtons,value=2, buttonFrame=Frame(framePageButtons,borderwidth=2,relief=RIDGE)
text='Keys',padx=5,pady=5) buttonFrame.pack(side=LEFT)
buttonPageGeneral = Radiobutton(framePageButtons,value=3, button = Radiobutton(buttonFrame,command=self.ChangePage,
text='General',padx=5,pady=5) value=buttonValue,padx=5,pady=5,takefocus=FALSE,underline=0,
self.pageButtons=(buttonPageFontTab,buttonPageHighlight, indicatoron=FALSE,highlightthickness=0,variable=self.pageNum,
buttonPageKeys,buttonPageGeneral) selectcolor=self.bg,borderwidth=0,text=name)
for button in self.pageButtons: button.pack()
button.config(command=self.ChangePage,underline=0,takefocus=FALSE, button.lift()
indicatoron=FALSE,highlightthickness=0,variable=self.pageNum, self.pageButtons.append(button)
selectcolor=self.bg,borderwidth=1) buttonValue=buttonValue+1
button.pack(side=LEFT)
#pages #pages
self.pages=(self.CreatePageFontTab(), self.pages=(self.CreatePageFontTab(),
self.CreatePageHighlight(), self.CreatePageHighlight(),
@ -182,7 +185,7 @@ class ConfigDialog(Toplevel):
self.CreatePageGeneral()) self.CreatePageGeneral())
#grid in framePages so we can overlap pages #grid in framePages so we can overlap pages
framePageButtons.grid(row=0,column=0,sticky=W) framePageButtons.grid(row=0,column=0,sticky=NSEW)
for page in self.pages: page.grid(row=1,column=0,sticky=(N,S,E,W)) for page in self.pages: page.grid(row=1,column=0,sticky=(N,S,E,W))
self.buttonHelp.pack(side=RIGHT,padx=5,pady=5) self.buttonHelp.pack(side=RIGHT,padx=5,pady=5)
@ -201,7 +204,7 @@ class ConfigDialog(Toplevel):
self.newFont=tkFont.Font(self,('courier',12,'normal')) self.newFont=tkFont.Font(self,('courier',12,'normal'))
##widget creation ##widget creation
#body frame #body frame
frame=Frame(self.framePages,borderwidth=2,relief=SUNKEN) frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
#body section frames #body section frames
frameFont=Frame(frame,borderwidth=2,relief=GROOVE) frameFont=Frame(frame,borderwidth=2,relief=GROOVE)
frameIndent=Frame(frame,borderwidth=2,relief=GROOVE) frameIndent=Frame(frame,borderwidth=2,relief=GROOVE)
@ -291,7 +294,7 @@ class ConfigDialog(Toplevel):
self.themeType=IntVar() self.themeType=IntVar()
##widget creation ##widget creation
#body frame #body frame
frame=Frame(self.framePages,borderwidth=2,relief=SUNKEN) frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
#body section frames #body section frames
frameCustom=Frame(frame,borderwidth=2,relief=GROOVE) frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
frameTheme=Frame(frame,borderwidth=2,relief=GROOVE) frameTheme=Frame(frame,borderwidth=2,relief=GROOVE)
@ -383,7 +386,7 @@ class ConfigDialog(Toplevel):
self.keysType=IntVar() self.keysType=IntVar()
##widget creation ##widget creation
#body frame #body frame
frame=Frame(self.framePages,borderwidth=2,relief=SUNKEN) frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
#body section frames #body section frames
frameCustom=Frame(frame,borderwidth=2,relief=GROOVE) frameCustom=Frame(frame,borderwidth=2,relief=GROOVE)
frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE) frameKeySets=Frame(frame,borderwidth=2,relief=GROOVE)
@ -457,7 +460,7 @@ class ConfigDialog(Toplevel):
self.extState=IntVar() self.extState=IntVar()
#widget creation #widget creation
#body #body
frame=Frame(self.framePages,borderwidth=2,relief=SUNKEN) frame=Frame(self.framePages,borderwidth=2,relief=RAISED)
#body section frames #body section frames
frameRun=Frame(frame,borderwidth=2,relief=GROOVE) frameRun=Frame(frame,borderwidth=2,relief=GROOVE)
frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE) frameWinSize=Frame(frame,borderwidth=2,relief=GROOVE)