diff options
author | James Meyer <james.meyer@operamail.com> | 2012-08-07 19:01:42 (GMT) |
---|---|---|
committer | James Meyer <james.meyer@operamail.com> | 2012-08-07 19:01:42 (GMT) |
commit | 13b976708710e5f68a2c7d50cae231d6d0cd45b3 (patch) | |
tree | ef4fe83d77896c1d3fff83420b99a57a64fbf40e /abs/core/tilda/tilda-fix.patch | |
parent | 6ba11d82357ee2f24b12ccd92ab5747d198df0da (diff) | |
download | linhes_pkgbuild-13b976708710e5f68a2c7d50cae231d6d0cd45b3.zip linhes_pkgbuild-13b976708710e5f68a2c7d50cae231d6d0cd45b3.tar.gz linhes_pkgbuild-13b976708710e5f68a2c7d50cae231d6d0cd45b3.tar.bz2 |
tilda .9.6
Diffstat (limited to 'abs/core/tilda/tilda-fix.patch')
-rw-r--r-- | abs/core/tilda/tilda-fix.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/abs/core/tilda/tilda-fix.patch b/abs/core/tilda/tilda-fix.patch new file mode 100644 index 0000000..a6d273c --- /dev/null +++ b/abs/core/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; |