mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 06:07:59 +00:00
afac1e86bb
This patch improves the decorator in two ways. First, it enables the assignment of window colors depending on the window labels. This configuration can be changed dynamically. Second, it adds the handling of window controls for closing, maximizing, minimizing windows. Issue #1689 Fixes #1688 |
||
---|---|---|
.. | ||
types.h | ||
window_factory.h | ||
window_stack.h | ||
window.h | ||
xml_utils.h |