From 20892c1e6830abf25828fb73a72815d904271bd0 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sun, 26 Jun 2011 04:49:00 +0200 Subject: 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) --- src/gui.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/gui.h') 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) \ -- cgit v1.2.3