[gnome-shell/wip/carlosg/magnifier-improvements: 10/11] magnifier: Make magnification factor changes animatable

[Carlos Garnacho <carlosg src gnome org>]

commit f274828e02f3d33067511f7b62591fac2506541c
Author: Carlos Garnacho <carlosg gnome org>
Date:   Thu Feb 6 14:21:14 2020 +0100

    magnifier: Make magnification factor changes animatable
    
    So we can seamlessly change between them.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/984

 js/ui/magnifier.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/js/ui/magnifier.js b/js/ui/magnifier.js
index 8626799b25..30691f66d9 100644
--- a/js/ui/magnifier.js
+++ b/js/ui/magnifier.js
@@ -875,7 +875,8 @@ var ZoomRegion = class ZoomRegion {
     setMagFactor(xMagFactor, yMagFactor) {
         this._changeROI({ xMagFactor,
                           yMagFactor,
-                          redoCursorTracking: this._followingCursor });
+                          redoCursorTracking: this._followingCursor,
+                          animate: true });
     }
 
     /**