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

[Carlos Garnacho <carlosg src gnome org>]

commit 9f64fee9dacd4d67bb59b24e2e8ba1c983310919
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 227b1342aa..503d21c3c6 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 });
     }
 
     /**