ChanServ changed the topic of #wayland to: https://wayland.freedesktop.org | Discussion about the Wayland protocol and its implementations, plus libinput | register your nick to speak
glennk has quit [Remote host closed the connection]
glennk has joined #wayland
nnm has quit []
nnm has joined #wayland
<vyivel>
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?
nnm_ has joined #wayland
<vyivel>
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
nnm has quit [Ping timeout: 480 seconds]
<jadahl>
vyivel: the intention has been to not allow destroying parents of popups in general, since popups without parents are not valid popups
junaid has joined #wayland
<vyivel>
jadahl: and are popups with unmapped parents valid?
junaid_ has joined #wayland
junaid_ has quit []
<jadahl>
vyivel: no, a popup
<jadahl>
a popup must always have a mapped parent
<vyivel>
i see, thanks
kts has joined #wayland
Moprius has joined #wayland
rasterman has quit [Quit: Gettin' stinky!]
Moprius has quit [Quit: bye]
Moprius has joined #wayland
floof58 has quit [Quit: floof58]
hardening has joined #wayland
jmdaemon has quit [Ping timeout: 480 seconds]
Moprius has quit [Remote host closed the connection]
junaid_ has joined #wayland
junaid_ has quit [Remote host closed the connection]
junaid has quit [Remote host closed the connection]
nerdopolis has joined #wayland
kts has quit [Quit: Konversation terminated!]
pedrocr has quit [Remote host closed the connection]
pedrocr has joined #wayland
Fxzxmic has quit [Quit: Konversation exit!]
kts has joined #wayland
junaid has joined #wayland
any1 has quit [Quit: Bye :)]
any1 has joined #wayland
any1 has quit [Remote host closed the connection]
any1 has joined #wayland
any1 has quit [Remote host closed the connection]
any1 has joined #wayland
nuh^ has quit [Remote host closed the connection]
Szadek has quit [Ping timeout: 480 seconds]
Szadek has joined #wayland
julio7359 has joined #wayland
julio7359 has quit [Remote host closed the connection]
julio7359 has joined #wayland
eroc1990 is now known as Guest6570
eroc1990 has joined #wayland
Guest6570 has quit [Read error: Connection reset by peer]