Giovanni Campagna 2d1d812474 apps-menu: update for gnome-shell changes ...

HotCorner handling was broken once again...

2013-03-04 23:35:32 +01:00

..

extension.js

apps-menu: update for gnome-shell changes

2013-03-04 23:35:32 +01:00

Makefile.am

New Extension: applications menu on the panel

2011-05-31 22:03:34 +02:00

metadata.json.in

apps-menu: Replace it with a new version based on AxeMenu

2013-01-30 16:15:32 +01:00

stylesheet.css

New Extension: applications menu on the panel

2011-05-31 22:03:34 +02:00