diff --git a/repos/gems/src/server/wm/decorator_nitpicker.h b/repos/gems/src/server/wm/decorator_nitpicker.h index cf48e39ca7..170a2b73ec 100644 --- a/repos/gems/src/server/wm/decorator_nitpicker.h +++ b/repos/gems/src/server/wm/decorator_nitpicker.h @@ -215,6 +215,11 @@ struct Wm::Decorator_nitpicker_session : Genode::Rpc_object, _nitpicker_session.input()->sigh(_input_handler); } + ~Decorator_nitpicker_session() + { + _env.ep().dissolve(_dummy_input_component); + } + void _handle_input() { while (_nitpicker_session.input()->pending())