| commit | 20892c1e6830abf25828fb73a72815d904271bd0 | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Sun Jun 26 04:49:00 2011 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Sun Jun 26 04:49:00 2011 +0200 |
| tree | 4ea1a8d83ed9d282246f8b91f1c31b5e00dcd385 | |
| parent | d58ea072271a14db1f0422d787e2cbd59d530476 [diff] [blame] |
updated for version 7.3.234 Problem: With GTK menu may be popping down. Solution: Use event time instead of GDK_CURRENT_TIME. (Hong Xu)
diff --git a/src/gui_gtk.c b/src/gui_gtk.c index 94cebd4..50079b4 100644 --- a/src/gui_gtk.c +++ b/src/gui_gtk.c
@@ -1391,7 +1391,7 @@ gtk_menu_popup(GTK_MENU(menu->submenu_id), NULL, NULL, (GtkMenuPositionFunc)NULL, NULL, - 3U, (guint32)GDK_CURRENT_TIME); + 3U, gui.event_time); } /* Ugly global variable to pass "mouse_pos" flag from gui_make_popup() to