From 9d5af71c3da75c36b49db8e83c302df0bfc675ae Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 20 Jul 2023 17:07:40 +0200
Subject: [PATCH] sculpt: seq events for touch_release

---
 repos/gems/src/app/sculpt_manager/gui.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/gems/src/app/sculpt_manager/gui.cc b/repos/gems/src/app/sculpt_manager/gui.cc
index c8c7060038..221d623c17 100644
--- a/repos/gems/src/app/sculpt_manager/gui.cc
+++ b/repos/gems/src/app/sculpt_manager/gui.cc
@@ -43,9 +43,10 @@ struct Gui::Session_component : Rpc_object<Gui::Session>
 			 */
 			bool const advance_seq_number = ev.key_press(Input::BTN_LEFT)
 			                             || ev.key_release(Input::BTN_LEFT)
-			                             || ev.touch();
+			                             || ev.touch() || ev.touch_release();
 			if (advance_seq_number) {
 				_global_input_seq_number.value++;
+
 				_input_component.submit(_global_input_seq_number);
 			}