From b3ff75cec2495664839152ceb48c432ea60c96f2 Mon Sep 17 00:00:00 2001
From: Jon Harper <jon.harper87@gmail.com>
Date: Sat, 29 Sep 2012 15:49:42 +0200
Subject: [PATCH] ui.backend.gtk: better gesture for shift tab

gdk emits ISO_Left_Tab for shift + tab. Not sure if factor should silently
transform that in tab..
With this patch, shift tabs emits the following gesture:
T{ key-down { mods { S+ } } { sym "TAB" } }
---
 basis/ui/backend/gtk/gtk.factor | 1 +
 1 file changed, 1 insertion(+)

diff --git a/basis/ui/backend/gtk/gtk.factor b/basis/ui/backend/gtk/gtk.factor
index 033a96a786..b4c4225a9c 100644
--- a/basis/ui/backend/gtk/gtk.factor
+++ b/basis/ui/backend/gtk/gtk.factor
@@ -113,6 +113,7 @@ CONSTANT: action-key-codes
     H{
         { $ GDK_KEY_BackSpace "BACKSPACE" }
         { $ GDK_KEY_Tab "TAB" }
+        { $ GDK_KEY_ISO_Left_Tab "TAB" }
         { $ GDK_KEY_Return "RET" }
         { $ GDK_KEY_KP_Enter "ENTER" }
         { $ GDK_KEY_Escape "ESC" }