* list of terminals

Commands:
* settings interfaces
* changing font size with CTRL-plus and CTRL-minus

more Tools:
* display of keyboard input -> screenkey

NOTE:
* fullscreen, quit -> window manager

toggle = switching/turning on/off

tasks:
Configuration/Setup:
* changing the key bindings
* changing the fonts
Display:
* toggle menus
*  alt keys
* profiles