Ah et puisque tout le monde a l'air très intéressé par quels émulateurs rendent correctement les polices, je tiens à dire que PuTTY sait faire. Bon ok, il triche, il laisse Windows faire le rendu, et comme Windows le fait bien c'est cool. (et de 3 trolls sous le même billet, je peux aller me coucher)
J'utilise surtout Source Code Pro c'est beau c'est cool, et la hauteur intermédiaires des chiffres est juste lisible et belle (même si certains regretterons que seuls les 10 premiers chiffres aient cette taille, mais pas les 6 suivants).
[^] # Re: PuTTY
Posté par DerekSagan . En réponse au sondage Quel terminal utilisez-vous ?. Évalué à 2.
Ah et puisque tout le monde a l'air très intéressé par quels émulateurs rendent correctement les polices, je tiens à dire que PuTTY sait faire. Bon ok, il triche, il laisse Windows faire le rendu, et comme Windows le fait bien c'est cool. (et de 3 trolls sous le même billet, je peux aller me coucher)
J'utilise surtout Source Code Pro c'est beau c'est cool, et la hauteur intermédiaires des chiffres est juste lisible et belle (même si certains regretterons que seuls les 10 premiers chiffres aient cette taille, mais pas les 6 suivants).