diff options
| author | Kristian Høgsberg <krh@bitplanet.net> | 2011-11-15 22:20:28 -0500 |
|---|---|---|
| committer | Kristian Høgsberg <krh@bitplanet.net> | 2011-11-17 17:37:52 -0500 |
| commit | 3a1e6df39aa34df53c97ce9c7a1bfddf5a97faf3 (patch) | |
| tree | 5c103308f52da243bf3cb831ef26736bb760f887 /protocol | |
| parent | 51f50b8c6425684214e58a0e5ab2515b624feaad (diff) | |
Add display event to acknowledge ID deletion
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.
Diffstat (limited to 'protocol')
| -rw-r--r-- | protocol/wayland.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/protocol/wayland.xml b/protocol/wayland.xml index 48ba68a..7e6392a 100644 --- a/protocol/wayland.xml +++ b/protocol/wayland.xml @@ -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"> |