1
0
forked from aniani/vim

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)
This commit is contained in:
Bram Moolenaar
2011-06-26 04:49:00 +02:00
parent d58ea07227
commit 20892c1e68
5 changed files with 14 additions and 8 deletions

View File

@@ -1391,7 +1391,7 @@ gui_mch_show_popupmenu(vimmenu_T *menu)
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