Introduce new gtk section to have gtk-specific configuration. We start with the font which gets passed into the FontDescription from pango

ikanobori · ikanobori · commit 59c85527c363 · 2010-02-25T20:52:56.000+01:00
diff --git a/bpython/config.py b/bpython/config.py
@@ -64,7 +64,9 @@ def loadini(struct, configfile):
             'show_source': 'F2',
             'undo': 'C-r',
             'up_one_line': 'C-p',
-            'yank_from_buffer': 'C-y'}})
+            'yank_from_buffer': 'C-y'},
+        'gtk': {
+            'font': 'monospace 10'}})
     config.read(config_path)
 
     struct.dedent_after = config.getint('general', 'dedent_after')
@@ -99,6 +101,8 @@ def loadini(struct, configfile):
     struct.pastebin_url = config.get('general', 'pastebin_url')
     struct.pastebin_show_url = config.get('general', 'pastebin_show_url')
 
+    struct.gtk_font = config.get('gtk', 'font')
+
     color_scheme_name = config.get('general', 'color_scheme')
 
     default_colors = {
diff --git a/bpython/gtk_.py b/bpython/gtk_.py
@@ -260,7 +260,7 @@ def __init__(self, interpreter, config):
         interpreter.writetb = self.writetb
         self.editing = Nested()
         self.reset_indent = False
-        self.modify_font(pango.FontDescription('monospace 10'))
+        self.modify_font(pango.FontDescription(self.config.gtk_font))
         self.set_wrap_mode(gtk.WRAP_CHAR)
         self.list_win = SuggestionWindow()
         self.list_win.connect('selection-changed',
