Giovanni Campagna c08f3736e0 alternative-status-menu: update to shell master ...

The status menu (now called user-menu) was changed a lot recently,
update code to reflect that and make it more similar to the core
menu.

2011-09-05 13:51:40 +02:00

..

extension.js

alternative-status-menu: update to shell master

2011-09-05 13:51:40 +02:00

Makefile.am

Add Alternative Status Menu extensions

2011-03-12 22:10:23 +01:00

metadata.json.in

Revert "Mark extensions that require only public API"

2011-04-26 01:17:23 +02:00

stylesheet.css

Add Alternative Status Menu extensions

2011-03-12 22:10:23 +01:00