[gnome-shell-extensions/wip/fmuellner/fix-113-master: 2/9] window-list: Don't override ClutterActor.destroy()

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

commit 8230cace4b8e70cbd0b2b46d2aa789335d8f6430
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Oct 10 15:48:02 2018 +0200

    window-list: Don't override ClutterActor.destroy()
    
    Now that PanelMenu.Button was made an StWidget subclass, the destroy()
    method actually maps to the ClutterActor method, and overriding it
    results in warnings when the extension is disabled. So instead, use
    the existing ::destroy handler.
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/113

 extensions/window-list/extension.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 2cf8a6a..e81edbf 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -679,7 +679,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
                                    this._updateMenu.bind(this));
     }
 
-    destroy() {
+    _onDestroy() {
         for (let i = 0; i < this._workspaceManagerSignals.length; i++)
             global.workspace_manager.disconnect(this._workspaceManagerSignals[i]);
 
@@ -688,7 +688,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
             this._settingsChangedId = 0;
         }
 
-        super.destroy();
+        super._onDestroy();
     }
 
     _updateIndicator() {