[gnome-shell-extensions] window-list: Adjust animation time

[Florian Müllner <fmuellner src gnome org>]

commit af6f5fea540b8289f8a1d7c270c1543b6f889d47
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Aug 10 00:12:39 2019 +0200

    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 87b8c3d..7b3b7c8 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 99da356..bfac17f 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)