Giovanni Campagna 65bec3cdb1 apps-menu: fix for gnome-shell master ...

PopupMenu.isEmpty() only checks for regular menu items, which
the application menu doesn't use, so we need a fake implementation.

2013-09-17 10:52:03 +02:00

..

extension.js

apps-menu: fix for gnome-shell master

2013-09-17 10:52:03 +02:00

Makefile.am

New Extension: applications menu on the panel

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

metadata.json.in

Update descriptions of extensions

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

stylesheet.css

apps-menu: Add some padding to ScrollView

2013-05-22 19:40:02 +02:00