mirror of
https://github.com/brl/mutter.git
synced 2025-03-20 10:15:07 +00:00

We're the context closest to the display, so we should take priority over other clients. v2: Warn if we asked for a high-priority context and didn't get one. https://gitlab.gnome.org/GNOME/mutter/merge_requests/454