Giovanni Campagna 8bc650ae19 windowsNavigator: improve the appearance of tooltips ...

Based on a patch by Simon Friis Vindum <simonfv@mail.com>

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

..

extension.js

windowsNavigator: improve the appearance of tooltips

2012-02-06 21:18:39 +01: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

Bump version to 3.3.2

2011-11-22 09:11:46 +01:00

stylesheet.css

windowsNavigator: improve the appearance of tooltips

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