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

[Carlos Garnacho <carlosg src gnome org>]

commit 82b40e7a11de91a1997f5544d4f689eefc2b5f88
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 6c61462e88..6ff026cd21 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 });
     }
 
     /**