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

[Florian Müllner <fmuellner src gnome org>]

commit b1ea4f6c3507bc28e671354759f303a17ec6c74d
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 07efadb0fe..0ddfbc1932 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 });
     }
 
     /**