Tastierino comandi

Utilizzare la raccolta Tastierino comandi della barra multifunzione per accedere rapidamente ai tasti del terminale per le sessioni host.