blob: a6d273c26b6b59dfa5f9d63089c49bc5c6ed74ca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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;
|
