And it only occurred to me today that zoom performance should (and does seem to) increase too. Because the combination of the two fixes:
https://gitlab.gnome.org/GNOME/mutter/commit/8655bc5d https://gitlab.gnome.org/GNOME/gnome-shell/commit/f77b3da7
means that panels/docks don't need to get regenerated every time you move the mouse while in zoom.
And it only occurred to me today that zoom performance should (and does seem to) increase too. Because the combination of the two fixes:
https:/ /gitlab. gnome.org/ GNOME/mutter/ commit/ 8655bc5d /gitlab. gnome.org/ GNOME/gnome- shell/commit/ f77b3da7
https:/
means that panels/docks don't need to get regenerated every time you move the mouse while in zoom.