genode/repos/os/include/decorator
Norman Feske 56cb1885bb decorator: make window-layout updates more robust
This patch improves the window decorators in the following respects:

* Strict warnings are enabled now.
* The use of the 'List_model' makes the application of window-
  layout changes more robust. This is particularly the case for
  the restacking of windows.
* Display-mode changes are now supported by both decorators.

Issue #3094
2019-01-07 12:33:57 +01:00
..
types.h decorator: make window-layout updates more robust 2019-01-07 12:33:57 +01:00
window_factory.h decorator: make window-layout updates more robust 2019-01-07 12:33:57 +01:00
window_stack.h decorator: make window-layout updates more robust 2019-01-07 12:33:57 +01:00
window.h decorator: make window-layout updates more robust 2019-01-07 12:33:57 +01:00
xml_utils.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00