# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1257638034 0
# Node ID 1b0e58de42e64b8d24c1c048c21e81d8550a4dc5
# Parent  ae9f17f9fa465ffb8e58186d6b21a5064b4f6cbf
Fix last change.

diff -r ae9f17f9fa46 -r 1b0e58de42e6 src/xmenu.c
--- a/src/xmenu.c	Sat Nov 07 23:53:29 2009 +0000
+++ b/src/xmenu.c	Sat Nov 07 23:53:54 2009 +0000
@@ -1806,7 +1806,7 @@
   /* 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));