Giovanni Campagna 5ca52e89d5 windowsNavigator: update for gnome-shell changes ...

The ViewSelector was refactored for modekill feature. Update
accordingly.

2012-08-22 16:19:33 +02:00

..

extension.js

windowsNavigator: update for gnome-shell changes

2012-08-22 16:19:33 +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

build system: add additional automatic metadata

2012-02-08 18:00:56 +01:00

stylesheet.css

windowsNavigator: improve the appearance of tooltips

2012-02-06 21:18:39 +01:00