gtk: Chop GDK_KEY_ off of key names (not just GDK_).

diff --git a/src/gtk/keys.scm b/src/gtk/keys.scm
index 011327a973e54294039d3c75ef1745a19cb34172..3102b8919a8a44d14f6a5b83db7480052ac5bdc6 100644 (file)
--- a/src/gtk/keys.scm
+++ b/src/gtk/keys.scm
@@ -53,7 +53,7 @@ USA.
                      (string (symbol-name gdk-name))
                      (name (cond ((string-prefix? "GDK_KEY_" string)
                                   (intern (string-replace
-                                           (string-tail string 4) #\_ #\-)))
+                                           (string-tail string 8) #\_ #\-)))
                                  (else
                                   (warn "Unexpected GdkKeysym name:" gdk-name)
                                   gdk-name))))