blob: 434bb48295ef1bba73c319670d9fe6993837679c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
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())
|
