factor/basis/ui/backend/gtk
Jon Harper b3ff75cec2 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" } }
2012-09-29 15:54:15 +02:00
..
input-methods
io
authors.txt
gtk.factor
platforms.txt
summary.txt