mirror of
https://github.com/brl/mutter.git
synced 2025-02-02 14:53:03 +00:00
b55b26661f
An extension can by accident cause us to end up in a state where we try to add the same window to a workspace twice. When this happens we shouldn't crash, but instead complain loudly. Closes: https://gitlab.gnome.org/GNOME/mutter/-/issues/992 Related: https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/157 Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1692>