09:55vyivel: xdg-shell prohibits destroying a parent popup before the child, but it seems to be legal to destroy the toplevel before the popup. mutter sends an error in response to this, however. what is the intended behavior?
10:00vyivel: in case of mutter, the error seems to come from on_parent_surface_unmapped(). i assume xdg-shell.xml should state that if a popup is mapped, so should be its parent
10:22jadahl: vyivel: the intention has been to not allow destroying parents of popups in general, since popups without parents are not valid popups
10:25vyivel: jadahl: and are popups with unmapped parents valid?
10:26jadahl: vyivel: no, a popup
10:26jadahl: a popup must always have a mapped parent
10:27vyivel: i see, thanks
19:14wlb: wayland-protocols Issue #133 closed \o/ (Add privledge feedback https://gitlab.freedesktop.org/wayland/wayland-protocols/-/issues/133)