[gnome-shell-extensions/wip/fmuellner/no-anchor: 6/6] window-list: Don't use anchor point
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions/wip/fmuellner/no-anchor: 6/6] window-list: Don't use anchor point
- Date: Sun, 28 Apr 2019 11:08:18 +0000 (UTC)
commit 7c412ca7d95dfd1096a0134a9922d59738afdd1c
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]