blob: cd217682ea8ef0be107a0699a431c088c88cdd14 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
diff -Nur tilda-0.9.6.orig/src/key_grabber.c tilda-0.9.6/src/key_grabber.c
--- tilda-0.9.6.orig/src/key_grabber.c 2008-04-08 01:12:31.000000000 +0300
+++ tilda-0.9.6/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));
|
