From 61ec98f504f1caae7ee8d1bf2bd89a9fb66c2cb4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 12 Jun 2015 18:26:17 +0200 Subject: [PATCH] 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 file changed, 7 insertions(+), 2 deletions(-) diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js index 3952f2b6..fe98425d 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 ||