Turns out we don't need to change mutter at all. I just failed to understand its complicated scale selection rules. I've proposed a simplification to mutter anyway:
https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3616
but it's no longer required to fix this bug.
Turns out we don't need to change mutter at all. I just failed to understand its complicated scale selection rules. I've proposed a simplification to mutter anyway:
https:/ /gitlab. gnome.org/ GNOME/mutter/ -/merge_ requests/ 3616
but it's no longer required to fix this bug.