Giovanni Campagna 9d9ef27317 WindowsNavigator: fix with recent shell ...

Recently WindowsNavigator would just crash the shell upon entering
the overview. I'm not sure where the bug was, probably it was due to
the new window layout code.

2012-11-20 16:37:20 +01:00

..

extension.js

WindowsNavigator: fix with recent shell

2012-11-20 16:37:20 +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