From 5307ffdec6c963e89e637f923f1ace9e0a0ad853 Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birkholz.chandler.az.us>
Date: Tue, 24 Jul 2012 23:47:48 -0700
Subject: [PATCH] gtk: Chop GDK_KEY_ off of key names (not just GDK_).

---
 src/gtk/keys.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gtk/keys.scm b/src/gtk/keys.scm
index 011327a97..3102b8919 100644
--- 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))))
-- 
2.25.1