Fix last change.
authorChong Yidong <cyd@stupidchicken.com>
Sat, 7 Nov 2009 23:53:54 +0000 (23:53 +0000)
committerChong Yidong <cyd@stupidchicken.com>
Sat, 7 Nov 2009 23:53:54 +0000 (23:53 +0000)
src/xmenu.c

index 0511ee2..080930a 100644 (file)
@@ -1806,7 +1806,7 @@ create_and_show_popup_menu (f, first_wv, x, y, for_click, timestamp)
   /* Display the menu.  */
   gtk_widget_show_all (menu);
   gtk_menu_popup (GTK_MENU (menu), 0, 0, pos_func, &popup_x_y, i,
-                 timestamp);
+                 timestamp > 0 ? timestamp : gtk_get_current_event_time());
 
   record_unwind_protect (pop_down_menu, make_save_value (menu, 0));