Norman Feske 24378ac873 gui_session: rename View_handle to View_id ... The former Gui::Session::View_handle is not called Gui::View_id. Issue #5242		2024-08-27 15:29:38 +02:00
..
types.h	Replace use of 'typedef' by 'using'	2024-07-02 12:00:11 +02:00
window_factory.h	decorator: make window-layout updates more robust	2019-01-07 12:33:57 +01:00
window_stack.h	gui_session: rename View_handle to View_id	2024-08-27 15:29:38 +02:00
window.h	gui_session: rename View_handle to View_id	2024-08-27 15:29:38 +02:00
xml_utils.h	os: make 'Genode::Color' C++20 friendly	2024-06-20 12:54:30 +02:00