diff options
| -rw-r--r-- | src/xmenu.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/xmenu.c b/src/xmenu.c index 0511ee2db51..080930a4e78 100644 --- a/src/xmenu.c +++ b/src/xmenu.c | |||
| @@ -1806,7 +1806,7 @@ create_and_show_popup_menu (f, first_wv, x, y, for_click, timestamp) | |||
| 1806 | /* Display the menu. */ | 1806 | /* Display the menu. */ |
| 1807 | gtk_widget_show_all (menu); | 1807 | gtk_widget_show_all (menu); |
| 1808 | gtk_menu_popup (GTK_MENU (menu), 0, 0, pos_func, &popup_x_y, i, | 1808 | gtk_menu_popup (GTK_MENU (menu), 0, 0, pos_func, &popup_x_y, i, |
| 1809 | timestamp); | 1809 | timestamp > 0 ? timestamp : gtk_get_current_event_time()); |
| 1810 | 1810 | ||
| 1811 | record_unwind_protect (pop_down_menu, make_save_value (menu, 0)); | 1811 | record_unwind_protect (pop_down_menu, make_save_value (menu, 0)); |
| 1812 | 1812 | ||