From bf60e1486d9dc58d87546e08e668f682e7a5211d Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 5 Dec 2017 13:39:27 +0100 Subject: [PATCH] wm: add missing dissolve for decorator input The missing dissolve of the dummy decorator input component resulted in problems when using the themed_decorator when repeatedly opening and closing windows. In contrast to the default decorator, the themed decorator creates and destroys nitpicker sessions per window. --- repos/gems/src/server/wm/decorator_nitpicker.h | 5 +++++ 1 file changed, 5 insertions(+) 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())