mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 10:01:57 +00:00
This patch enhances the box layout such that child widgets are equally stretched to the available size whenever the box layout's size is larger than its min size. Furthermore, it corrects the mixed-up use of the terms east and west in the float widget.
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.