slavapestov/factor — pull request #716 by jonenst (2012-09-29 14:00:38+00:00)
Title: ui.backend.gtk: better gesture for shift tab

Shift tab is currently broken on my setup (default ubuntu 12.04): factor sends key down and key up gestures with no modifier and no sym (ie T{ key-down })

That's because
gdk emits ISO_Left_Tab for shift + tab.
With this patch, factor silently
transform that in "tab", so "shift tab" emits the following gesture:
T{ key-down { mods { S+ } } { sym "TAB" } }