diff options
author | Kristian Høgsberg <krh@bitplanet.net> | 2013-10-07 22:12:21 -0700 |
---|---|---|
committer | Kristian Høgsberg <krh@bitplanet.net> | 2013-10-07 22:12:21 -0700 |
commit | d0ce91ccea8e10b35171b627fd46f0838a3ae99c (patch) | |
tree | c16e596119318ec0922fe1b9e65856e0dda7fe36 | |
parent | e91d91776b22d762a7415edf505ab258135df6f4 (diff) |
protocol: Mark wl_keyboard.keys array as having uint elements
This is the only array in the core protocol; specify the element type.
-rw-r--r-- | protocol/wayland.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/protocol/wayland.xml b/protocol/wayland.xml index aeb0412..8252446 100644 --- a/protocol/wayland.xml +++ b/protocol/wayland.xml @@ -1497,7 +1497,8 @@ </description> <arg name="serial" type="uint"/> <arg name="surface" type="object" interface="wl_surface"/> - <arg name="keys" type="array" summary="the currently pressed keys"/> + <arg name="keys" type="array" element-type="uint" + summary="the currently pressed keys"/> </event> <event name="leave"> |