f677e0cbfb
Two prefs were handled by display.c itself, and another in main.c. Unscattter things a bit by moving the one in main.c to the others in display.c. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1833>