Add display event to acknowledge ID deletion
authorKristian Høgsberg <krh@bitplanet.net>
Wed, 16 Nov 2011 03:20:28 +0000 (22:20 -0500)
committerKristian Høgsberg <krh@bitplanet.net>
Thu, 17 Nov 2011 22:37:52 +0000 (17:37 -0500)
commit3a1e6df39aa34df53c97ce9c7a1bfddf5a97faf3
tree5c103308f52da243bf3cb831ef26736bb760f887
parent51f50b8c6425684214e58a0e5ab2515b624feaad
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.
protocol/wayland.xml
src/connection.c
src/wayland-client.c
src/wayland-server.c
src/wayland-util.h