diff options
Diffstat (limited to 'community/medit/medit-terminal.patch')
| -rw-r--r-- | community/medit/medit-terminal.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/community/medit/medit-terminal.patch b/community/medit/medit-terminal.patch new file mode 100644 index 000000000..434bb4829 --- /dev/null +++ b/community/medit/medit-terminal.patch @@ -0,0 +1,13 @@ +--- moo/moopython/plugins/terminal.py.org 2011-12-03 13:12:42.000000000 +0100 ++++ moo/moopython/plugins/terminal.py 2011-12-03 13:15:19.000000000 +0100 +@@ -60,8 +60,8 @@ + moo.prefs_set_string(COLOR_SCHEME_KEY, None) + + def font_item_activated(self, *whatever): +- dlg = moo.FontSelectionDialog(D_("Pick a Font", "gtk20")) +- dlg.fontsel.set_property('monospace', True) ++ dlg = gtk.FontSelectionDialog(D_("Pick a Font", "gtk20")) ++ # dlg.fontsel.set_property('monospace', True) + old_font = self.get_font() + if old_font: + dlg.set_font_name(old_font.to_string()) |