further work on dynamic config changes;

editor font

1 files changed, 15 insertions, 1 deletions

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 @@ 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()