Questo è un problema banale, ma mi dà fastidio che non riesco ad arrivare in fondo:
Sto eseguendo Windows 8, Powershell versione 3.0. Facendo clic con il tasto destro sulla barra del titolo, posso accedere a Proprietà e modificare senza problemi il carattere, le dimensioni, il colore di sfondo ecc.
Dopo aver chiuso e riavviato Powershell, tutte le modifiche che ho apportato si attenuano tranne che se ho impostato il carattere su Lucida Console, alla riapertura ottengo il carattere Raster.
(Si noti che quanto sopra si applica a quando eseguo Powershell come amministratore.)
Così:
- Se imposto il carattere su Lucida, passa a Lucida per il resto della sessione.
- Se imposto il carattere su qualcosa di diverso da Lucida, rimane tale dopo la chiusura e la riapertura.
- Se modifico le dimensioni della finestra, i colori del testo o qualsiasi altra cosa, le modifiche persistono dopo la riapertura.
- L' unica cosa che non va è che se imposto il carattere su Lucida, quando riapro si passa a "Caratteri raster".
- Ma cmd e PowerShell ISE non presentano questo problema: solo la console PowerShell.
Qualcuno può suggerire cosa potrebbe andare storto?
(Un'osservazione che ho fatto è che riaprendo Powershell dopo aver impostato il carattere su Lucida, all'inizio la larghezza della finestra è quella che sarebbe se il carattere fosse Lucida, ma poi dopo un secondo, si allarga leggermente per adattarsi il carattere raster.)