magnifier: Make magnification factor changes animatable

So we can seamlessly change between them through eg. keybindings.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/984
This commit is contained in:
Carlos Garnacho 2020-02-06 14:21:14 +01:00 committed by Florian Müllner
parent 83d083f189
commit e16def0c43

View File

@ -875,7 +875,8 @@ var ZoomRegion = class ZoomRegion {
setMagFactor(xMagFactor, yMagFactor) { setMagFactor(xMagFactor, yMagFactor) {
this._changeROI({ xMagFactor, this._changeROI({ xMagFactor,
yMagFactor, yMagFactor,
redoCursorTracking: this._followingCursor }); redoCursorTracking: this._followingCursor,
animate: true });
} }
/** /**