[gnome-shell-extensions] window-list: Reposition on height changes

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

commit 61ec98f504f1caae7ee8d1bf2bd89a9fb66c2cb4
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Jun 12 18:26:17 2015 +0200

    window-list: Reposition on height changes
    
    The window list position depends on both the monitor geometry and the
    list height, however changes to the latter are currently ignored. For
    the time being this doesn't matter due to the list's fixed height, but
    we are about to scale the list with the text, so reposition the list
    on height changes.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=703585

 extensions/window-list/extension.js |    9 +++++++--
 1 files changed, 7 insertions(+), 2 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 3952f2b..fe98425 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -813,8 +813,8 @@ const WindowList = new Lang.Class({
         Main.ctrlAltTabManager.addGroup(this.actor, _("Window List"), 'start-here-symbolic');
 
         this.actor.width = this._monitor.width;
-        this.actor.set_position(this._monitor.x,
-                                this._monitor.y + this._monitor.height - this.actor.height);
+        this.actor.connect('notify::height', Lang.bind(this, this._updatePosition));
+        this._updatePosition();
 
         this._appSystem = Shell.AppSystem.get_default();
         this._appStateChangedId =
@@ -915,6 +915,11 @@ const WindowList = new Lang.Class({
         children[active].activate();
     },
 
+    _updatePosition: function() {
+        this.actor.set_position(this._monitor.x,
+                                this._monitor.y + this._monitor.height - this.actor.height);
+    },
+
     _updateWorkspaceIndicatorVisibility: function() {
         this._workspaceIndicator.actor.visible =
             this._monitor == Main.layoutManager.primaryMonitor ||