updated for version 7.3.234v7.3.234

Problem:    With GTK menu may be popping down.
Solution:   Use event time instead of GDK_CURRENT_TIME. (Hong Xu)

1 files changed, 2 insertions, 0 deletions

diff --git a/src/gui.h b/src/gui.h
index 8db9238af4..e0c1c5c8aa 100644
--- 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) \