From b1ea4f6c3507bc28e671354759f303a17ec6c74d Mon Sep 17 00:00:00 2001
From: Carlos Garnacho <carlosg@gnome.org>
Date: Thu, 6 Feb 2020 11:03:09 +0100
Subject: [PATCH] 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 07efadb0f..0ddfbc193 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 });
     }
 
     /**