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

@@ -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;

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)