Doublon possible :
Comment changer la police de la console Windows ?
Premièrement : J’ai essayé la boîte de dialogue d’options (celle que Windows affiche) et je ne veux pas de cela.
La boîte de dialogue d’options par défaut de Windows ne permet que deux polices : “Raster” (Fixedsys) et Lucida Console. Cependant, je veux utiliser Consolas (qui est une police vraiment élégante). J’ai essayé de modifier les options de registre pour l’utilisateur actuel “HKEY_CURRENT_USER\Console” mais cela ne semble pas fonctionner. Toute aide est appréciée.