From 57b7c7d9463f391a1cae6fa049b2f98a3de3d09e Mon Sep 17 00:00:00 2001
From: Kirill Chibisov <contact@kchibisov.com>
Date: Sun, 24 May 2020 14:12:44 +0300
Subject: [PATCH] Clarify clients behavior on wl_keyboard.leave

Clients must assume that every key, including modifiers, are lifted
after getting wl_keyboard.leave event, not doing so could lead to key repeat
keep going after the user changes focus, or stuck modifiers, when the user
interacts with client without keyboard focus.

Signed-off-by: Kirill Chibisov <contact@kchibisov.com>
---
 protocol/wayland.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/protocol/wayland.xml b/protocol/wayland.xml
index 8e4a75c..9784680 100644
--- a/protocol/wayland.xml
+++ b/protocol/wayland.xml
@@ -2218,6 +2218,9 @@
 
 	The leave notification is sent before the enter notification
 	for the new focus.
+
+	After this event client must assume that all keys, including modifiers,
+	are lifted and also it must stop key repeating if there's some going on.
       </description>
       <arg name="serial" type="uint" summary="serial number of the leave event"/>
       <arg name="surface" type="object" interface="wl_surface" summary="surface that lost keyboard focus"/>
-- 
2.7.4