genode/repos/os/include/gui_session
Norman Feske 3ab9173b20 gui_session: window-closed state as attribute
With the change of "gui_session: provide mode info as XML", the
client-side window-close handling became dysfunct because the
window-close state got wrongly interpreted as initial window state, to
the effect that a client's initial-window size policy got applied
instead of closing the window.

This patch makes the inital state of running a windowed application
(when no window size is defined yet) clearly distiguishable from the
state after which the user closed the window. Prior this patch, both
conditions were reflected by an empty <capture/> node in the panorama.
Now, the latter condition is reported as <capture closed="yes"/>, which
alleviates the need to track the life cycle of a window at the client
size.

Issue #5353
2024-10-30 08:14:55 +01:00
..
capability.h Replace use of 'typedef' by 'using' 2024-07-02 12:00:11 +02:00
client.h gui_session: provide mode info as XML 2024-10-08 09:09:24 +02:00
connection.h gui_session: window-closed state as attribute 2024-10-30 08:14:55 +01:00
gui_session.h gui_session: provide mode info as XML 2024-10-08 09:09:24 +02:00