Comment 3 for bug 2054769

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

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.