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. ** Changed in: mutter (Ubuntu) Status: In Progress => Won't Fix -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2054769 Title: Boot animation and login screen use different display scales To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/mutter/+bug/2054769/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
