diff src/gui.h @ 2923:7653420fdc45 v7.3.234

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)
author Bram Moolenaar <bram@vim.org>
date Sun, 26 Jun 2011 04:49:00 +0200
parents 8bd38abda314
children a8f5876e4981
line wrap: on
line diff
--- a/src/gui.h
+++ b/src/gui.h
@@ -401,6 +401,8 @@ typedef struct Gui
     GtkAccelGroup *accel_group;
     GtkWidget	*filedlg;	    /* file selection dialog */
     char_u	*browse_fname;	    /* file name from filedlg */
+
+    guint32	event_time;
 #endif	/* FEAT_GUI_GTK */
 
 #if defined(FEAT_GUI_TABLINE) \