From 4c99e622ddd1cc0527262fda3b93e8e70f017371 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Mon, 4 Jul 2022 19:58:17 +0100 Subject: patch 9.0.0039: not all systems have GDK_KEY_dead_circumflex Problem: Not all systems have GDK_KEY_dead_circumflex. (Hisashi T Fujinaka) Solution: Add an #ifdef. --- src/gui_gtk_x11.c | 2 ++ src/version.c | 2 ++ 2 files changed, 4 insertions(+) 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; diff --git a/src/version.c b/src/version.c index 8ddbddaf82..b2c63c4441 100644 --- a/src/version.c +++ b/src/version.c @@ -735,6 +735,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 39, /**/ 38, /**/ -- cgit v1.2.3