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

[Carlos Garnacho <carlosg src gnome org>]

commit baa3e9e1acec233af6e6089e72b04c9693b806bf
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 through eg. keybindings.
    
    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 a3771bdbd8..07ee4639bc 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 });
     }
 
     /**