diff --git a/repos/gems/src/app/sculpt_manager/gui.cc b/repos/gems/src/app/sculpt_manager/gui.cc index 1ceb254509..aaac032d35 100644 --- a/repos/gems/src/app/sculpt_manager/gui.cc +++ b/repos/gems/src/app/sculpt_manager/gui.cc @@ -93,15 +93,19 @@ struct Gui::Session_component : Rpc_object, if (click(ev)) _clicked = true; if (clack(ev)) _clicked = false; - if (orig_clicked != _clicked) { + bool const new_seq = (!orig_clicked && _clicked); + + if (new_seq) _global_input_seq_number.value++; - _input_component.submit(_global_input_seq_number); - } /* handle event locally within the sculpt manager */ _event_handler.handle_input_event(ev); _input_component.submit(ev); + + /* pass seq event after touch to pass it to the correct client */ + if (new_seq) + _input_component.submit(_global_input_seq_number); }); }