genode/repos/os/include/gui_session
Norman Feske f98c356efd gui_session: manage view ID at the client side
This patch moves the management of view IDs from the server to the
client side. The former 'create_view' and 'create_child_view'
operations do no longer return a view ID but take a view ID as
argument. While changing those operations, this patch takes the
opportunity to allow for initial view attributes. Combined, those
changes simplify the window manager while accommodating typical
client use cases with less code.

To ease the client-side ID management, the Gui::Connection hosts
a 'view_ids' ID space for optional use. E.g., the new 'Top_level_view'
class uses this ID space for ID allocation. This class accommodates the
most typical use case of opening a single window.

The 'alloc_view_id' RPC function is no longer needed.

Issue #5242
2024-08-27 15:29:38 +02:00
..
capability.h Replace use of 'typedef' by 'using' 2024-07-02 12:00:11 +02:00
client.h gui_session: manage view ID at the client side 2024-08-27 15:29:38 +02:00
connection.h gui_session: manage view ID at the client side 2024-08-27 15:29:38 +02:00
gui_session.h gui_session: manage view ID at the client side 2024-08-27 15:29:38 +02:00