diff options
Diffstat (limited to 'community/tilda/tilda-fix.patch')
| -rw-r--r-- | community/tilda/tilda-fix.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/community/tilda/tilda-fix.patch b/community/tilda/tilda-fix.patch new file mode 100644 index 000000000..a6d273c26 --- /dev/null +++ b/community/tilda/tilda-fix.patch @@ -0,0 +1,24 @@ +--- src/key_grabber.c 2008-04-08 01:12:31.000000000 +0300 ++++ src/key_grabber.c 2009-10-16 17:39:16.399679408 +0300 +@@ -190,7 +190,7 @@ + * Overriding the user time here seems to work a lot better than calling + * gtk_window_present_with_time() here, or at the end of the function. I have + * no idea why, they should do the same thing. */ +- gdk_x11_window_set_user_time (GTK_WIDGET(tw->window)->window, ++ gdk_x11_window_set_user_time (GTK_WIDGET(tw->window), + tomboy_keybinder_get_current_event_time()); + gtk_window_move (GTK_WINDOW(tw->window), config_getint ("x_pos"), config_getint ("y_pos")); + gtk_widget_show (GTK_WIDGET(tw->window)); + +--- tilda.desktop.in 2007-03-16 04:53:34.000000000 +0100 ++++ tilda.desktop.in 2011-08-28 19:08:53.000000000 +0200 +@@ -2 +1,0 @@ +-Encoding=UTF-8 +@@ -4,2 +3,2 @@ +-Exec=@BINDIR@/tilda +-Icon=@PIXMAPSDIR@/tilda.png ++Exec=tilda ++Icon=tilda +@@ -8 +7 @@ +-Categories=GNOME;GTK;Application;Utility;TerminalEmulator; ++Categories=GNOME;GTK;Utility;TerminalEmulator;System; |