Files
gnome-shell-extensions/extensions
Giovanni Campagna fa4ac23a4d windowNavigator: fix workspace switching
Apparently, clutter_event_get_key_unicode() is not reliable for
numeric keys, and fails above 2. Let's use clutter_event_get_key_symbol()
and fix it.
2011-08-01 17:25:24 +02:00
..
2011-07-02 14:23:09 +02:00