From 866738125c207c3fcb8f6955c0d686ed09392b5a Mon Sep 17 00:00:00 2001 From: Julian Orth Date: Fri, 20 Mar 2026 13:17:52 +0100 Subject: [PATCH] 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 --- protocol/wayland.xml | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/protocol/wayland.xml b/protocol/wayland.xml index 513b8fd8..ebe8606d 100644 --- a/protocol/wayland.xml +++ b/protocol/wayland.xml @@ -100,11 +100,15 @@ - 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.