genode/repos/os/include/gui_session
Norman Feske eca864175c Remove Gui::Session::session_control
This functionality has long been superseded by the window
manager/layouter.

Fixes 
2024-06-20 12:54:29 +02:00
..
capability.h Rename 'Nitpicker' namespace to 'Gui' 2020-06-22 09:39:40 +02:00
client.h Remove Gui::Session::session_control 2024-06-20 12:54:29 +02:00
connection.h Remove format strings from connection types 2023-03-13 14:32:37 +01:00
gui_session.h Remove Gui::Session::session_control 2024-06-20 12:54:29 +02:00