From e16def0c43f0571e4895f5d35ecb1d8af1f06c33 Mon Sep 17 00:00:00 2001
From: Carlos Garnacho <carlosg@gnome.org>
Date: Thu, 6 Feb 2020 14:21:14 +0100
Subject: [PATCH] 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 2cb398455..844a1506c 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 });
     }
 
     /**