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

[Carlos Garnacho <carlosg src gnome org>]

commit c24e127035a81c73a0099e8d5a38f9a32678a5d3
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 9cc0907513..01f4401f5b 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 });
     }
 
     /**