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

further work on dynamic config changes;

Browse source 
editor font
This commit is contained in:
Steven M. Gava 2002-03-12 00:21:56 +00:00
parent 314bae50b9
commit b1585417d1
2 changed files with 16 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

16
Lib/idlelib/EditorWindow.py
View file

@ -159,8 +159,12 @@ class EditorWindow:
vbar.pack(side=RIGHT, fill=Y)
text['yscrollcommand'] = vbar.set
fontWeight='normal'
if idleConf.GetOption('main','EditorWindow','font-bold',type='bool'):
fontWeight='bold'
text.config(font=(idleConf.GetOption('main','EditorWindow','font'),
idleConf.GetOption('main','EditorWindow','font-size')))
idleConf.GetOption('main','EditorWindow','font-size'),
fontWeight))
text_frame.pack(side=LEFT, fill=BOTH, expand=1)
text.pack(side=TOP, fill=BOTH, expand=1)
text.focus_set()
@ -478,6 +482,16 @@ class EditorWindow:
self.color = self.ColorDelegator()
self.per.insertfilter(self.color)
def ResetFont(self):
#this function is called from configDialog.py
#to update the text widgets' font if it is changed
fontWeight='normal'
if idleConf.GetOption('main','EditorWindow','font-bold',type='bool'):
fontWeight='bold'
self.text.config(font=(idleConf.GetOption('main','EditorWindow','font'),
idleConf.GetOption('main','EditorWindow','font-size'),
fontWeight))
def saved_change_hook(self):
short = self.short_title()
long = self.long_title()