aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJulian Orth <ju.orth@gmail.com>2026-03-20 13:17:52 +0100
committerSimon Ser <contact@emersion.fr>2026-07-03 07:57:19 +0000
commita8972e89f311085eb5fefb06d8e5e2fc2617aa2d (patch)
tree26b20058c931fde40029ef856ace32ec6333d0dc
parentAdd missing wl_shm_pool::error enum (diff)
downloadwayland-a8972e89f311085eb5fefb06d8e5e2fc2617aa2d.tar
wayland-a8972e89f311085eb5fefb06d8e5e2fc2617aa2d.tar.gz
wayland-a8972e89f311085eb5fefb06d8e5e2fc2617aa2d.tar.bz2
wayland-a8972e89f311085eb5fefb06d8e5e2fc2617aa2d.tar.lz
wayland-a8972e89f311085eb5fefb06d8e5e2fc2617aa2d.tar.xz
wayland-a8972e89f311085eb5fefb06d8e5e2fc2617aa2d.tar.zst
wayland-a8972e89f311085eb5fefb06d8e5e2fc2617aa2d.zip
protocol: clarify wl_display.delete_id
The previous description talked about what happens when "a client deletes an object that it had created", ignoring the possibility of destructor events. This commit clarifies the intended behavior of delete_id. It does not speak to the possibility of delete_id without a destructor message. Signed-off-by: Julian Orth <ju.orth@gmail.com>
-rw-r--r--protocol/wayland.xml14
1 files changed, 9 insertions, 5 deletions
diff --git a/protocol/wayland.xml b/protocol/wayland.xml
index eb04987d..f60101e8 100644
--- a/protocol/wayland.xml
+++ b/protocol/wayland.xml
@@ -100,11 +100,15 @@
<event name="delete_id">
<description summary="acknowledge object ID deletion">
- This event is used internally by the object ID management
- logic. When a client deletes an object that it had created,
- the server will send this event to acknowledge that it has
- seen the delete request. When the client receives this event,
- it will know that it can safely reuse the object ID.
+ This event is used internally by the object ID management logic.
+
+ When the server stops using an object created by the client, the server
+ sends this event. In particular, after sending this event, the server
+ will no longer send any events that contain the object as the receiver
+ or as an argument.
+
+ When the client receives this event, it knows that it can reuse the
+ object ID.
</description>
<arg name="id" type="uint" summary="deleted object ID"/>
</event>