Questions marquées «fonts»

33
Comment changer un nom de police TTF?

Comment puis-je changer un nom de police (pas le nom de fichier ttf, mais le nom réel de la police)? Par exemple, je veux renommer "Tahoma" en "Tahoma7". Mon objectif est de renommer la police Tahoma installée sur Windows 7 et de l'installer sur Windows XP sous un nom différent, donc j'aurai les...

31
Augmenter / Diminuer la taille de la police dans iTerm2

Problème: j'utilise un ordinateur portable en déplacement et je me connecte à un moniteur externe au bureau. Étant donné que le moniteur externe est très grand, j'ai besoin d'augmenter les polices dans la iTerm2fenêtre existante (généralement une) et tous les onglets. Solution: j'élargis les...

27
Modifier la taille de la police système

Je souhaite augmenter la taille de la police utilisée dans explorer.exe(alias Poste de travail) pour répertorier les fichiers / dossiers. Je ne souhaite pas augmenter / diminuer le DPI global de l'écran. Je voudrais juste changer la police d'interface utilisateur système utilisée par Windows 10. Je...

26
Comment configurer PuTTY pour afficher ces caractères?

☢ ☍ ⌘ ✰ ⣿ ⚡ ☯ ⚑ ↺ ⤴ ⤵ blabla J'ai besoin d'afficher les symboles ci-dessus dans Windows 7 en utilisant des polices proportionnelles. Cependant, certains symboles ne s'affichent pas correctement. Cet exemple particulier utilise Courier New. J'ai l'anglais (US) défini dans mes paramètres régionaux....