diff --git a/repos/gems/src/server/wm/gui.h b/repos/gems/src/server/wm/gui.h index 21a94d90d6..b9f964fa3e 100644 --- a/repos/gems/src/server/wm/gui.h +++ b/repos/gems/src/server/wm/gui.h @@ -488,8 +488,8 @@ class Wm::Gui::Session_component : public Rpc_object, Window_registry &_window_registry; Session_control_fn &_session_control_fn; - Tslab _top_level_view_alloc; - Tslab _child_view_alloc; + Tslab _top_level_view_alloc; + Tslab _child_view_alloc; List _top_level_views { }; List _child_views { }; Input::Session_component _input_session { _env, _ram };