gtk: Chop GDK_KEY_ off of key names (not just GDK_).
authorMatt Birkholz <matt@birkholz.chandler.az.us>
Wed, 25 Jul 2012 06:47:48 +0000 (23:47 -0700)
committerMatt Birkholz <matt@birkholz.chandler.az.us>
Wed, 25 Jul 2012 06:47:48 +0000 (23:47 -0700)
commit5307ffdec6c963e89e637f923f1ace9e0a0ad853
tree802bba5154d7b8e2c2b3de43493c45a7584451e2
parent8aeb6e744abfe149dabfbde64486baa486ebe076
gtk: Chop GDK_KEY_ off of key names (not just GDK_).
src/gtk/keys.scm