Sommario
precedente
avanti
Guida dell'utente di Extra!
>
Sessioni di terminale
>
Input dell'utente
>
Barre degli strumenti
Barre degli strumenti
In questa sezione
Impostazioni della barra degli strumenti
Editor della barra degli strumenti
precedente
avanti