mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-23 12:35:41 +00:00
36ef41626a
This patch extends the settings dialog with the ability to select the keyboard layout between the options that are included in the sculpt image. The manual configuration is of course still possible by editing the /config/event_filter directly. If both the fonts configuration and the event-filter configuration are managed manually, the settings button and window are not displayed. Fixes #4055
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.