mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
d3d1e701a4
This patch addresses corner cases not considered so far. In particular, it avoids placing the Add/Options tabs of an unscrollable popup under the panel. This could happen in the presence of many options. The patch includes the panel height into the calculation to rule out such situations. It also tightens the scrolling boundaries to the visible content. Issue #5183 |
||
|---|---|---|
| .. | ||
| include | ||
| lib | ||
| recipes | ||
| run | ||
| sculpt | ||
| src | ||
| README | ||
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components hosted in 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.