From aa38aa1e9e52a2d74f7163cb895f0d8ee7e9040e Mon Sep 17 00:00:00 2001 From: Giovanni Campagna Date: Tue, 2 Aug 2011 23:32:51 +0200 Subject: [PATCH] alternative-status-menu: port to new extension API main() has been replaced by init(), enable() and disable() possibly not working, a better infrastructure for monkey patching would be helpful --- extensions/alternative-status-menu/extension.js | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/extensions/alternative-status-menu/extension.js b/extensions/alternative-status-menu/extension.js index 25a90253..d65c9d3b 100644 --- a/extensions/alternative-status-menu/extension.js +++ b/extensions/alternative-status-menu/extension.js @@ -98,8 +98,17 @@ function createSubMenu() { // Put your extension initialization code here function main(metadata) { imports.gettext.bindtextdomain('gnome-shell-extensions', metadata.localedir); +} +function enable() { let statusMenu = Main.panel._userMenu; statusMenu.menu.removeAll(); createSubMenu.call(statusMenu); } + +function disable() { + // not guarranteed to work, if more extensions operate in the same place + let statusMenu = Main.panel._userMenu; + statusMenu.menu.removeAll(); + statusMenu._createSubMenu(); +} \ No newline at end of file