mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-25 13:49:48 +00:00
bf52f73d03
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.