[gnome-shell-extensions/wip/fmuellner/fix-113-master] window-list: Adjust to gnome-shell changes

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

commit ccca3361739a60e7ea46b205ef6d18d1ec955530
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Oct 10 10:42:45 2018 +0200

    window-list: Adjust to gnome-shell changes
    
    PanelMenu.Button is now a GObject subclass, so initialization must
    happen in _init() rather than constructor().
    
    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 b8ab37b..d8ade45 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -642,8 +642,8 @@ class AppButton extends BaseButton {
 
 
 class WorkspaceIndicator extends PanelMenu.Button {
-    constructor() {
-        super(0.0, _("Workspace Indicator"), true);
+    _init() {
+        super._init(0.0, _("Workspace Indicator"), true);
         this.setMenu(new PopupMenu.PopupMenu(this.actor, 0.0, St.Side.BOTTOM));
         this.actor.add_style_class_name('window-list-workspace-indicator');
         this.menu.actor.remove_style_class_name('panel-menu');