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) {