diff options
| author | root <root@rshg054.dnsready.net> | 2013-02-10 01:12:52 -0800 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-02-10 01:12:52 -0800 |
| commit | 1bb2648cde916ac27d3dd75d7b64a4ddc89787b7 (patch) | |
| tree | 016bfa1969323404c37dbef29cfc7242a5a8e9f3 /community/medit | |
| parent | e9c244cac8e5dc1c59c7e8b7bc885fef04224b70 (diff) | |
Sun Feb 10 01:12:35 PST 2013
Diffstat (limited to 'community/medit')
| -rw-r--r-- | community/medit/medit-terminal.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/community/medit/medit-terminal.patch b/community/medit/medit-terminal.patch deleted file mode 100644 index 434bb4829..000000000 --- a/community/medit/medit-terminal.patch +++ /dev/null @@ -1,13 +0,0 @@ ---- 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()) |