40d9d26229
We currently only expose a function to check whether a window *is* an attached modal dialog, not whether it *has* any. The latter is interesting as well, but the code currently lives in a gnome-shell helper function. Mutter is in a better position to filter out unmanaging windows though, so add corresponding API. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4825 Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2123>