genode/repos/os/include/decorator
Norman Feske 08279e6288 Create Point, Area, Rect via 'from_xml' functions
By using the new functions provided by the base API, this patch removes
the dependency of several components from include/decorator/xml_utils.h.

Issue #4584
2022-08-31 09:32:08 +02:00
..
types.h Rename include/nitpicker_session to gui_session 2020-06-22 09:39:39 +02:00
window_factory.h decorator: make window-layout updates more robust 2019-01-07 12:33:57 +01:00
window_stack.h Rename 'Nitpicker' namespace to 'Gui' 2020-06-22 09:39:40 +02:00
window.h os: avoid implicit conversions 2021-12-17 15:04:45 +01:00
xml_utils.h Create Point, Area, Rect via 'from_xml' functions 2022-08-31 09:32:08 +02:00