From cdbb92912570f548bffc85652b4211f37995b402 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 9 Jan 2022 19:40:48 +0100
Subject: [PATCH] nitpicker: forward Input::Seq_number events

Issue #4398
---
 repos/os/src/server/nitpicker/user_state.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/repos/os/src/server/nitpicker/user_state.cc b/repos/os/src/server/nitpicker/user_state.cc
index d8d6c6a14f..f1e4132f43 100644
--- a/repos/os/src/server/nitpicker/user_state.cc
+++ b/repos/os/src/server/nitpicker/user_state.cc
@@ -224,7 +224,10 @@ void User_state::_handle_input_event(Input::Event ev)
 	/*
 	 * Deliver event to session
 	 */
-	if (ev.absolute_motion() || ev.wheel() || ev.touch() || ev.touch_release()) {
+	bool const forward_to_session = (ev.absolute_motion() || ev.wheel() ||
+	                                 ev.touch() || ev.touch_release() ||
+	                                 ev.seq_number());
+	if (forward_to_session) {
 
 		if (_key_cnt == 0) {