C'est un problème trivial, mais ça m'ennuie que je ne puisse pas aller au fond des choses:
J'utilise Windows 8, version 3.0 de Powershell. En cliquant avec le bouton droit de la souris sur la barre de titre, je peux accéder aux propriétés et modifier la police, la taille, la couleur d'arrière-plan, etc. sans aucun problème.
Après la fermeture et le redémarrage de Powershell, toutes les modifications que j'ai apportées sont valables, sauf que si je règle la police sur Lucida Console, à la réouverture, la police Raster est obtenue.
(Notez que tout ce qui est décrit ci-dessus s'applique à l'exécution de Powershell en tant qu'administrateur.)
Alors:
- Si je règle la police sur Lucida, il passera à Lucida pour le reste de la session.
- Si je règle la police sur autre chose que Lucida, elle restera ainsi après la fermeture et la réouverture.
- Si je modifie la taille de la fenêtre, la couleur du texte ou autre chose, les modifications persistent après la réouverture.
- La seule chose qui ne va pas, c'est que si je règle la police sur Lucida, celle-ci bascule sur «polices raster» lorsque je rouvre.
- Mais cmd et powershell ISE n'ont pas ce problème - seulement la console powershell.
Quelqu'un peut-il suggérer ce qui pourrait mal se passer?
(Une observation que j’ai faite est que lors de la réouverture de Powershell après avoir défini la police sur Lucida, la largeur de la fenêtre correspond d’abord à ce qu’elle serait si la police était Lucida; la police raster.)