magnifier: Animate focus/caret position changes

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/984
2020-02-06 11:03:09 +01:00 · 2020-02-06 11:03:09 +01:00 · b1ea4f6c35
commit b1ea4f6c35
parent 60c540e93a
1 changed files with 2 additions and 1 deletions
--- 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 });
    }

    /**