diff options
Diffstat (limited to 'src/gui_gtk_x11.c')
-rw-r--r-- | src/gui_gtk_x11.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index fd582dd799..d0d946cc0e 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -1246,6 +1246,7 @@ key_press_event(GtkWidget *widget UNUSED, } } +#ifdef GDK_KEY_dead_circumflex // Belgian Ctrl+[ workaround if (len == 0 && key_sym == GDK_KEY_dead_circumflex) { @@ -1259,6 +1260,7 @@ key_press_event(GtkWidget *widget UNUSED, // are confusing code downstream return TRUE; } +#endif if (len == 0) // Unrecognized key return TRUE; |