diff options
Diffstat (limited to 'src/gui_gtk_x11.c')
-rw-r--r-- | src/gui_gtk_x11.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 736d1c7a27..58b793109e 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -3311,11 +3311,7 @@ on_tabline_menu(GtkWidget *widget, GdkEvent *event) // When ignoring events return TRUE so that the selected page doesn't // change. - if (hold_gui_events -# ifdef FEAT_CMDWIN - || cmdwin_type != 0 -# endif - ) + if (hold_gui_events || cmdwin_type != 0) return TRUE; tabwin = gui_gtk_window_at_position(gui.mainwin, &x, &y); |