----- Original Message ----- > I was thinking about your “hide global”[1] API, which does kill the > client. It seems like a perfect use of it to me. > > [1] > <https://cgit.freedesktop.org/wayland/wayland/commit/?id=d915447365be68a39607a176e03e06a05cb8a72d>
Hehe, yes, that's precisely the use case that motivated this API in the first place, indeed, but do we need to specify that in the protocol itself? Cheers, Olivier _______________________________________________ wayland-devel mailing list wayland-devel@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/wayland-devel
