further work on dynamic config changes;
editor font
diff --git a/Lib/idlelib/EditorWindow.py b/Lib/idlelib/EditorWindow.py
index 8a2109d..99f40a7 100644
--- a/Lib/idlelib/EditorWindow.py
+++ b/Lib/idlelib/EditorWindow.py
@@ -159,8 +159,12 @@
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 @@
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()