[gnome-shell/wip/carlosg/magnifier-improvements: 2/5] magnifier: Animate focus/caret position changes

[Carlos Garnacho <carlosg src gnome org>]

commit 8cb5a3cc9baf360e10425eb4de488bb96d29efe9
Author: Carlos Garnacho <carlosg gnome org>
Date:   Thu Feb 6 11:03:09 2020 +0100

    magnifier: Animate focus/caret position changes

 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 15df336215..5037331a3c 100644
--- a/js/ui/magnifier.js
+++ b/js/ui/magnifier.js
@@ -1186,7 +1186,8 @@ var ZoomRegion = class ZoomRegion {
 
         this._followingCursor = false;
         this._changeROI({ xCenter: x,
-                          yCenter: y });
+                          yCenter: y,
+                          animate: true });
     }
 
     /**