mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-29 13:44:26 +00:00
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