[PATCH 1/4] protocol: Add release requests for wl_pointer, wl_keyboard, and wl_touch

[Kristian Høgsberg]

We missed destroy requests in the 1.0 protocol and since the scanner
generates local-only *_destroy requests in that case we can't add
destroy requests without breaking protocol.  A client needs to verify
that the server provides a version 2 seat to use the protocol destructor
so the name needs to be something else than wl_*_destroy.
---
 protocol/wayland.xml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/protocol/wayland.xml b/protocol/wayland.xml
index 0ce68ef..b43799d 100644
--- a/protocol/wayland.xml
+++ b/protocol/wayland.xml
@@ -1041,6 +1041,10 @@
       <arg name="hotspot_y" type="int"/>
     </request>
 
+    <request name="release" type="destructor">
+      <description summary="release the pointer object"/>
+    </request>
+
     <event name="enter">
       <description summary="enter event">
 	Notification that this seat's pointer is focused on a certain
@@ -1130,6 +1134,10 @@
     <description summary="keyboard input device">
     </description>
 
+    <request name="release" type="destructor">
+      <description summary="release the keyboard object"/>
+    </request>
+
     <enum name="keymap_format">
       <description summary="keyboard mapping format">
         This enum specifies the format of the keymap provided to the client
@@ -1196,6 +1204,10 @@
     <description summary="touch screen input device">
     </description>
 
+    <request name="release" type="destructor">
+      <description summary="release the touch object"/>
+    </request>
+
     <event name="down">
       <arg name="serial" type="uint"/>
       <arg name="time" type="uint"/>
-- 
1.8.1.2