C'est un problème trivial, mais cela m'ennuie de ne pas pouvoir en venir à bout :
J'utilise Windows 8, Powershell version 3.0. En cliquant avec le bouton droit de la souris sur la barre de titre, je peux aller dans les propriétés et modifier la police, la taille, la couleur de fond, etc. sans aucun problème.
Après avoir fermé et redémarré Powershell, tous les changements que j'ai faits restent sauf que si j'ai réglé la police sur Lucida Console, à la réouverture, j'obtiens la police Raster.
(Notez que tout ce qui précède s'applique lorsque j'exécute Powershell en tant qu'administrateur).
Donc :
- Si je règle la police sur Lucida, elle passe à Lucida pour le reste de la session.
- Si je règle la police sur autre chose que Lucida, elle reste telle quelle après fermeture et réouverture.
- Si je modifie la taille des fenêtres, la couleur du texte ou quoi que ce soit d'autre, les changements persistent après la réouverture.
- En seulement Ce qui ne va pas, c'est que si je règle la police sur Lucida, elle passe en "polices matricielles" lorsque je la rouvre.
- Mais cmd et powershell ISE n'ont pas ce problème - seulement la console powershell.
Quelqu'un peut-il suggérer ce qui ne va pas ?
(Une observation que j'ai faite est que lors de la réouverture de Powershell après avoir défini la police à Lucida, au début la largeur de la fenêtre est ce qu'elle serait si la police était Lucida, mais après une seconde, elle s'élargit légèrement pour s'adapter à la police matricielle).
