diff --git a/repos/gems/src/server/wm/decorator_nitpicker.h b/repos/gems/src/server/wm/decorator_nitpicker.h index e58f04305..94a59ca0d 100644 --- a/repos/gems/src/server/wm/decorator_nitpicker.h +++ b/repos/gems/src/server/wm/decorator_nitpicker.h @@ -153,7 +153,8 @@ class Wm::Decorator_content_registry }; -struct Wm::Decorator_nitpicker_session : Genode::Rpc_object +struct Wm::Decorator_nitpicker_session : Genode::Rpc_object, + List::Element { typedef Nitpicker::View_capability View_capability; typedef Nitpicker::Session::View_handle View_handle; diff --git a/repos/gems/src/server/wm/nitpicker.h b/repos/gems/src/server/wm/nitpicker.h index 60c37f660..b890907fa 100644 --- a/repos/gems/src/server/wm/nitpicker.h +++ b/repos/gems/src/server/wm/nitpicker.h @@ -1058,7 +1058,7 @@ class Wm::Nitpicker::Root : public Genode::Rpc_object _decorator_sessions; /** * Nitpicker session used to perform session-control operations @@ -1136,13 +1136,14 @@ class Wm::Nitpicker::Root : public Genode::Rpc_object