mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
785cac7168
This patch changes the window manager, the decorator, and the floating window layouter to propagate the usage of an alpha channel from the client application to the decorator. This way, the decorator can paint the decoration elements behind the affected windows, which would otherwise be skipped. |
||
---|---|---|
.. | ||
types.h | ||
window_factory.h | ||
window_stack.h | ||
window.h | ||
xml_utils.h |