From 7c412ca7d95dfd1096a0134a9922d59738afdd1c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Tue, 5 Mar 2019 12:45:59 +0100 Subject: [PATCH] window-list: Don't use anchor point It is deprecated and we can easily replace it with a translation. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/64 --- 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 e1ea742e..2b384f0e 100644 --- a/extensions/window-list/extension.js +++ b/extensions/window-list/extension.js @@ -1009,8 +1009,8 @@ class WindowList { if (!Main.keyboard.actor) return; - let anchorY = Main.overview.visible ? 0 : this.actor.height; - Main.keyboard.actor.anchor_y = anchorY; + let translationY = Main.overview.visible ? 0 : this.actor.height; + Main.keyboard.actor.translation_y = -translationY; } _onAppStateChanged(appSys, app) {