[gnome-shell-extensions] window-list: Fix WorkspaceIndicator's popup menu position

[Rui Matos <rtcm src gnome org>]

commit 903a3b25cbec4c7a2862f393705c8655ef279604
Author: Rui Matos <tiagomatos gmail com>
Date:   Wed Mar 18 18:23:07 2015 +0100

    window-list: Fix WorkspaceIndicator's popup menu position
    
    By default, PanelMenu.Button creates a popup menu with arrow side TOP
    which is wrong in our case and can mess up BoxPointer's positioning.
    
    We can work around that easily by creating the menu ourselves with the
    correct arrow side.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=746365

 extensions/window-list/extension.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 6334460..88ba603 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -647,7 +647,8 @@ const WorkspaceIndicator = new Lang.Class({
     Extends: PanelMenu.Button,
 
     _init: function(){
-        this.parent(0.0, _("Workspace Indicator"));
+        this.parent(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');