[gnome-shell-extensions] window-list: Call destroy() on menus instead of their actors

[Florian Müllner <fmuellner src gnome org>]

commit 3cde65e85e4fdc1185f3b4805b31033f614316b1
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Feb 15 00:19:56 2014 +0100

    window-list: Call destroy() on menus instead of their actors
    
    PopupBaseMenu provides a destroy() method that will destroy the menu
    actor and make sure that the menu will be removed from the corresponding
    PopupMenuManager (if any). We miss the latter when we destroy the menu
    actor directly, so use the menu method instead.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=724688

 extensions/window-list/extension.js |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index d83fa00..a0f9a9f 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -266,7 +266,7 @@ const WindowButton = new Lang.Class({
     _onDestroy: function() {
         global.window_manager.disconnect(this._switchWorkspaceId);
         global.display.disconnect(this._notifyFocusId);
-        this._contextMenu.actor.destroy();
+        this._contextMenu.destroy();
     }
 });
 
@@ -476,7 +476,7 @@ const AppButton = new Lang.Class({
                 this.metaWindow = null;
                 this._singleWindowTitle.child = null;
                 this._windowTitle = null;
-                this._windowContextMenu.actor.destroy();
+                this._windowContextMenu.destroy();
                 this._windowContextMenu = null;
             }
             this._contextMenu = this._appContextMenu;
@@ -538,7 +538,7 @@ const AppButton = new Lang.Class({
         global.window_manager.disconnect(this._switchWorkspaceId);
         this._windowTracker.disconnect(this._notifyFocusId);
         this.app.disconnect(this._windowsChangedId);
-        this._menu.actor.destroy();
+        this._menu.destroy();
     }
 });