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

[Carlos Garnacho <carlosg src gnome org>]

commit b03c9479b4f513061feba2ed0810ccb547039f95
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.

 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 98e03d9d02..b5b0a37105 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 });
     }
 
     /**