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

..

extension.js

windowNavigator: fix workspace switching

2011-08-01 17:25:24 +02:00

Makefile.am

windowsNavigator: Allow keyboard selection of windows and workspaces in overlay mode

2011-01-19 00:47:26 +03:00

metadata.json.in

windowsNavigator: support current gnome-shell

2011-03-13 00:47:10 +03:00

stylesheet.css

windowsNavigator: support current gnome-shell

2011-03-13 00:47:10 +03:00