Sat Aug 24 01:47:21 PDT 2013

1 files changed, 24 insertions, 0 deletions

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"));