[PATCH wayland] protocol: add repeat_info event to wl_keyboard

[Jonny Lamb]

In the process wl_keyboard's version has been incremented. Given
clients get the wl_keyboard from wl_seat without a version, wl_seat's
version has also been incremented (wl_seat version 4 implies
wl_keyboard version 4).
---
 protocol/wayland.xml | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/protocol/wayland.xml b/protocol/wayland.xml
index 22eb6e7..722cb89 100644
--- a/protocol/wayland.xml
+++ b/protocol/wayland.xml
@@ -1262,7 +1262,7 @@
     </request>
    </interface>
 
-  <interface name="wl_seat" version="3">
+  <interface name="wl_seat" version="4">
     <description summary="group of input devices">
       A seat is a group of keyboards, pointer and touch devices. This
       object is published as a global during start up, or when such a
@@ -1490,7 +1490,7 @@
 
   </interface>
 
-  <interface name="wl_keyboard" version="3">
+  <interface name="wl_keyboard" version="4">
     <description summary="keyboard input device">
       The wl_keyboard interface represents one or more keyboards
       associated with a seat.
@@ -1578,6 +1578,19 @@
     <request name="release" type="destructor" since="3">
       <description summary="release the keyboard object"/>
     </request>
+
+    <!-- Version 4 of additions -->
+
+    <event name="repeat_info" since="4">
+      <description summary="repeat rate and delay">
+        Informs the client about the keyboard's repeat rate and delay.
+      </description>
+
+      <arg name="rate" type="int"
+           summary="the rate of repeating keys in characters per second"/>
+      <arg name="delay" type="int"
+           summary="time in milliseconds between keys repeating"/>
+    </event>
   </interface>
 
   <interface name="wl_touch" version="3">
-- 
2.0.0.rc2