Modificando questo controllo verrà ricaricata la pagina
Modificare l'aspetto delle finestre di Terminale
Puoi modificare colore, dimensione e stile dei font, stile del cursore e altri elementi della finestra di Terminale.
Scegli Terminale > Preferenze, quindi fai clic su Profili.
Nell'elenco profili sulla sinistra, seleziona un profilo.
Fai clic su Testo.
Regola le impostazioni come desideri.