Fix #ifdef for GDK_SUPER_MASK. (Stephan Schulz)

diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index e58ed73d8cf04c48f6d09bfb9ccfb6b668af29f1..f148ff7ee4cae71f1ab00ebc51b8cb73f2c626a5 100644 (file)
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -1011,7 +1011,7 @@ key_press_event(GtkWidget *widget UNUSED,
      * byte. */
     if (len == 1
            && ((state & GDK_MOD1_MASK)
-#ifdef GDK_SUPER_MASK
+#if GTK_CHECK_VERSION(2,10,0)
                || (state & GDK_SUPER_MASK)
 #endif
                )
@@ -1065,7 +1065,7 @@ key_press_event(GtkWidget *widget UNUSED,
            || key_sym == GDK_Escape || key_sym == GDK_KP_Tab
            || key_sym == GDK_ISO_Enter || key_sym == GDK_3270_Enter
            || (enc_dbcs && len == 1 && ((state & GDK_MOD1_MASK)
-#ifdef GDK_SUPER_MASK
+#if GTK_CHECK_VERSION(2,10,0)
                    || (state & GDK_SUPER_MASK)
 #endif
                    )))