Giovanni Campagna 01f168341f windowsNavigator: update for gnome-shell changes

2013-09-03 10:36:31 +02:00

..

extension.js

windowsNavigator: update for gnome-shell changes

2013-09-03 10:36:31 +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

Update descriptions of extensions

2013-05-20 19:06:59 +02:00

stylesheet.css

windowsNavigator: improve the appearance of tooltips

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