mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-08 10:21:45 +00: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.