Carlos Garnacho e16def0c43 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
2020-02-07 18:18:25 +01:00
..
2019-11-11 19:25:14 +00:00
2020-01-30 15:48:26 +01:00
2019-11-11 19:25:14 +00:00
2020-01-31 17:39:18 +01:00
2019-11-11 19:25:14 +00:00
2020-01-31 17:39:18 +01:00