
Instead of delegating that to StageManager.get_default and add a private getter for it. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3962>
Instead of delegating that to StageManager.get_default and add a private getter for it. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3962>