[gnome-shell-extensions/extension-live-disable] apps-menu: fix for live disable

[Giovanni Campagna <gcampagna src gnome org>]

commit f0a19173c112bdef52e7af95a65aa583c0b53110
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Thu Aug 18 19:37:14 2011 +0200

    apps-menu: fix for live disable
    
    There is no .destroy() method on SystemStatusButton. Instead we
    need to destroy manually the icon and the menu.
    Also add the missing init() function.

 extensions/apps-menu/extension.js |   10 ++++++----
 1 files changed, 6 insertions(+), 4 deletions(-)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index a0d9904..810a691 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -9,9 +9,6 @@ const Main = imports.ui.main;
 const PanelMenu = imports.ui.panelMenu;
 const PopupMenu = imports.ui.popupMenu;
 
-const Gettext = imports.gettext.domain('gnome-shell-extensions');
-const _ = Gettext.gettext;
-
 const ICON_SIZE = 28;
 let appsys = Shell.AppSystem.get_default();
 
@@ -105,5 +102,10 @@ function enable() {
 }
 
 function disable() {
-    appsMenuButton.destroy();
+    appsMenuButton.actor.destroy();
+    appsMenuButton.menu.destroy();
+}
+
+function init() {
+    /* do nothing */
 }