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