From af6f5fea540b8289f8a1d7c270c1543b6f889d47 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Sat, 10 Aug 2019 00:12:39 +0200 Subject: [PATCH] window-list: Adjust animation time gnome-shell changed all animations times to use milliseconds. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/86 --- extensions/window-list/extension.js | 2 +- extensions/window-list/windowPicker.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js index 87b8c3db..7b3b7c86 100644 --- a/extensions/window-list/extension.js +++ b/extensions/window-list/extension.js @@ -846,7 +846,7 @@ const WindowList = GObject.registerClass({ Tweener.addTween(this._windowList, { opacity: visible ? 255 : 0, transition: 'ease-out-quad', - time: Overview.ANIMATION_TIME + time: Overview.ANIMATION_TIME / 1000 }); this._windowList.reactive = visible; diff --git a/extensions/window-list/windowPicker.js b/extensions/window-list/windowPicker.js index 99da3563..bfac17fe 100644 --- a/extensions/window-list/windowPicker.js +++ b/extensions/window-list/windowPicker.js @@ -176,7 +176,7 @@ var WindowPicker = GObject.registerClass({ Main.overview.animationInProgress = true; GLib.timeout_add( GLib.PRIORITY_DEFAULT, - Overview.ANIMATION_TIME * 1000, + Overview.ANIMATION_TIME, () => { Main.overview.animationInProgress = false; if (onComplete)