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" } }
db4
Jon Harper 2012-09-29 15:49:42 +02:00
parent ba8a3c2ecd
commit b3ff75cec2
1 changed files with 1 additions and 0 deletions

View File

@ -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" }