Soluzione
|
Procedere come segue:
-
Aprire un terminale e scegliere Modifica -> Profili.
-
Fare clic sull'icona Modifica.
-
Nella scheda Generale, deselezionare
la casella di controllo Usa lo stesso tipo di carattere delle altre
applicazioni.
-
Fare clic sulla barra di selezione del tipo di carattere.
-
Scegliere un tipo di carattere adatto nella finestra di dialogo Scegliere un tipo di carattere per il terminale.
|