Giovanni Campagna 348f0faf22 windowsNavigator: fix a warning in disable()

2013-02-04 23:58:33 +01:00

..

extension.js

windowsNavigator: fix a warning in disable()

2013-02-04 23:58:33 +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

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