Giovanni Campagna 7e97c1440b apps-menu: adapt to gnome-shell API changes ...

When libgnome-menus became introspectable, ShellAppSystem was
modified to better adapt to GMenu. Adapt to those changes in the
extension as well.

2011-08-17 13:50:39 +02:00

..

extension.js

apps-menu: adapt to gnome-shell API changes

2011-08-17 13:50:39 +02:00

Makefile.am

New Extension: applications menu on the panel

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

metadata.json.in

New Extension: applications menu on the panel

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

stylesheet.css

New Extension: applications menu on the panel

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