[gnome-shell-extensions/wip/fmuellner/no-anchor: 7/7] 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: 7/7] window-list: Don't use anchor point
- Date: Wed, 20 Mar 2019 14:12:04 +0000 (UTC)
commit 722e515692b8d5dc8c4cc570a3074ea53ce1af9f
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/61
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]