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

[Carlos Garnacho <carlosg src gnome org>]

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

    magnifier: Animate focus/caret position changes
    
    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 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 });
     }
 
     /**