mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
a61bd71a4f
The new terminal_mux server is able to provide multiple terminal sessions over one terminal-client session. The user can switch between the different sessions using the keyboard shortcut C-y, which brings up an ncurses-based menu.