mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-09 04:31:23 +00:00
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