diff options
Diffstat (limited to 'src/gui_gtk_x11.c')
-rw-r--r-- | src/gui_gtk_x11.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 4460fb3cf7..0cd6613032 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -1314,7 +1314,7 @@ key_press_event(GtkWidget *widget UNUSED, #if defined(FEAT_XIM) || GTK_CHECK_VERSION(3,0,0) static gboolean key_release_event(GtkWidget *widget UNUSED, - GdkEventKey *event, + GdkEventKey *event UNUSED, gpointer data UNUSED) { # if defined(FEAT_XIM) |