From a09ab2a47495641089c4480dd562d2f6425c0863 Mon Sep 17 00:00:00 2001
From: Isaac Freund <mail@isaacfreund.com>
Date: Mon, 13 Mar 2023 12:37:30 +0100
Subject: [PATCH] protocol: specify element type/bits of arrays

The only array arg in the core protocol is the keys arg of the
wl_keyboard.enter event.

Signed-off-by: Isaac Freund <mail@isaacfreund.com>
---
 protocol/wayland.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/protocol/wayland.xml b/protocol/wayland.xml
index 37a7603b..25c1d162 100644
--- a/protocol/wayland.xml
+++ b/protocol/wayland.xml
@@ -2441,7 +2441,8 @@
       </description>
       <arg name="serial" type="uint" summary="serial number of the enter event"/>
       <arg name="surface" type="object" interface="wl_surface" summary="surface gaining keyboard focus"/>
-      <arg name="keys" type="array" summary="the currently pressed keys"/>
+      <arg name="keys" type="array" element-type="uint" element-bits="32"
+        summary="the currently pressed keys"/>
     </event>
 
     <event name="leave">