mirrors/wayland
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/wayland/wayland.git synced 2025-11-07 13:29:55 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add display event to acknowledge ID deletion

Browse source 
We need to make sure the client doesn't reuse an object ID until the
server has seen the destroy request.  When a client destroys an ID
the server will now respond with the display.delete_id event, which lets
the client block reuse until it receives the event.
This commit is contained in:
Kristian Høgsberg 2011-11-15 22:20:28 -05:00
parent 51f50b8c64
commit 3a1e6df39a
5 changed files with 34 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
protocol/wayland.xml
View file

@ -76,6 +76,10 @@
<arg name="name" type="uint" />
</event>
<!-- Server has deleted the id and client can now reuse it. -->
<event name="delete_id">
<arg name="id" type="uint" />
</event>
</interface>
<interface name="wl_callback" version="1">