mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-19 11:16:57 +00:00
591e9457e6
This patch gives applications the ability to control the size of their window whenever the window is floating, not tiled or maximized. See the comment in the code for the rationale. Fixes #3200 |
||
---|---|---|
.. | ||
include | ||
lib | ||
recipes | ||
run | ||
src | ||
README |
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components that come with the 'os' repository, programs contained in 'gems' are able to leverage the functionalities provided by higher-level repositories such as 'libports'. To use the 'gems' repository, make sure to also add those repositories to your build configuraion.