[gnome-shell-extensions/wip/fmuellner/no-anchor] window-list: Don't use anchor point



commit a6cd8922b4561e6fe448dad4cab6901f3450db3e
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Mar 5 12:45:59 2019 +0100

    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 e1ea742..2b384f0 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) {


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]