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