diff options
| author | root <root@rshg054.dnsready.net> | 2011-12-06 23:14:44 +0000 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2011-12-06 23:14:44 +0000 |
| commit | d1d87d2ac643e3dabc251f3cec7d3b00e29b282c (patch) | |
| tree | 09d9025934fe06bd25753f98cf2eab3140456cc3 /community/medit | |
| parent | 55d1e19e71b453a0f47c599f281a2ad2644247d2 (diff) | |
Tue Dec 6 23:14:44 UTC 2011
Diffstat (limited to 'community/medit')
| -rw-r--r-- | community/medit/PKGBUILD | 11 | ||||
| -rw-r--r-- | community/medit/medit-terminal.patch | 13 |
2 files changed, 20 insertions, 4 deletions
diff --git a/community/medit/PKGBUILD b/community/medit/PKGBUILD index a39a8b45a..deab9b14a 100644 --- a/community/medit/PKGBUILD +++ b/community/medit/PKGBUILD @@ -1,10 +1,10 @@ -# $Id: PKGBUILD 57284 2011-10-25 09:59:48Z spupykin $ +# $Id: PKGBUILD 60108 2011-12-05 11:28:47Z spupykin $ # Maintainer: Sergej Pupykin <pupykin.s+arch@gmail.com> # Contributor: William Rea <sillywilly@gmail.com> pkgname=medit pkgver=1.0.5 -pkgrel=1 +pkgrel=2 pkgdesc="A GTK text editor" arch=('i686' 'x86_64') url="http://mooedit.sourceforge.net" @@ -14,12 +14,15 @@ depends=('pygtk' 'libxml2' 'pcre' 'libsm' 'python2' 'gtk2' 'gcc-libs') optdepends=('ctags' 'vte: terminal emulator') makedepends=(pkgconfig perlxml intltool gcc-objc) install=medit.install -source=(http://downloads.sourceforge.net/mooedit/medit-$pkgver.tar.bz2) -md5sums=('ca790a6153eab7e2a47ac965940c0c7d') +source=(http://downloads.sourceforge.net/mooedit/medit-$pkgver.tar.bz2 + medit-terminal.patch) +md5sums=('ca790a6153eab7e2a47ac965940c0c7d' + 'fc4c193506901379cf2978aba950179b') build() { cd $srcdir/medit-$pkgver export PYTHON=/usr/bin/python2 + patch -p0 <$srcdir/medit-terminal.patch [ -f Makefile ] || ./configure --prefix=/usr make } 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()) |