diff options
| author | root <root@rshg054.dnsready.net> | 2013-08-24 01:49:18 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-08-24 01:49:18 -0700 |
| commit | 49e0f6ae5dad013852999f497117d6798b2fb085 (patch) | |
| tree | 0df325f48646f4489efda55fa9c9e9bebbe24363 /community/tilda | |
| parent | dbffe56f58d40a9a456baeba5d488c9f968a352a (diff) | |
Sat Aug 24 01:47:21 PDT 2013
Diffstat (limited to 'community/tilda')
| -rw-r--r-- | community/tilda/PKGBUILD | 2 | ||||
| -rwxr-xr-x | community/tilda/start-hidden-fix.patch | 24 |
2 files changed, 25 insertions, 1 deletions
diff --git a/community/tilda/PKGBUILD b/community/tilda/PKGBUILD index a5b425ed8..7852fd2c1 100644 --- a/community/tilda/PKGBUILD +++ b/community/tilda/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 96249 2013-08-22 17:19:28Z alucryd $ +# $Id: PKGBUILD 96258 2013-08-22 23:47:58Z eric $ # Maintainer: Jaroslav Lichtblau <dragonlord@aur.archlinux.org> # Contributor: Douglas Soares de Andrade <dsa@aur.archlinux.org> # Contributor: William Rea <sillywilly@gmail.com> diff --git a/community/tilda/start-hidden-fix.patch b/community/tilda/start-hidden-fix.patch new file mode 100755 index 000000000..d42fa0393 --- /dev/null +++ b/community/tilda/start-hidden-fix.patch @@ -0,0 +1,24 @@ +diff --git a/src/tilda.c b/src/tilda.c +index c0a435f..50daa47 100644 +--- a/src/tilda.c ++++ b/src/tilda.c +@@ -639,18 +639,7 @@ int main (int argc, char *argv[]) + } + } + +- if (config_getbool ("hidden")) +- { +- /* It does not cause graphical glitches to make tilda hidden on start this way. +- * It does make tilda appear much faster on it's first appearance, so I'm leaving +- * it this way, because it has a good benefit, and no apparent drawbacks. */ +- gtk_widget_show (GTK_WIDGET(tw->window)); +- gtk_widget_hide (GTK_WIDGET(tw->window)); +- } +- else +- { +- pull (tw, PULL_DOWN); +- } ++ pull (tw, config_getbool ("hidden") ? PULL_UP : PULL_DOWN); + + g_print ("Tilda has started. Press %s to pull down the window.\n", + config_getstr ("key")); |