Questions marquées «fonts»

24
Comment augmenter la taille de la police du terminal sur OSX?

Je pensais que cela serait extrêmement facile. J'ai fait tellement de recherches dans Google pour savoir comment faire, mais rien ne se présente. J'ai recherché "augmenter la taille du terminal osx" mais aucun des sites Web ne correspond. Comment augmenter la taille de police du terminal?...

23
Comment changer les polices par défaut dans Windows 10

J'ai lu les entrées des autres versions du système d'exploitation. La modification des entrées MS Shell Dlg (2) dans la clé de registre FontSubstitues ne semble pas fonctionner (sous Windows 10), ou elle fonctionne à deux endroits mineurs. Je n'ai pas accès à Windows 95/98 / etc. machine, la...

19
Les polices de Chrome semblent fausses

Donc, depuis peut-être une semaine environ, les polices de certains sites Web semblent plutôt éteintes ... Elles sont dentelées et souvent plus grandes qu'elles ne l'étaient. À titre d'exemple, voici la même page dans Chrome et Firefox (remarque: la page Chrome ressemblait à la page Firefox):...

19
Emplacement des polices TrueType

Je voudrais créer un petit script qui installe quelques polices TrueType sur le système de l'utilisateur. Sur ma machine Ubuntu, les polices TrueType sont situées à /usr/share/fonts/truetype. Cependant, je ne sais pas si cet emplacement est le même sur toutes les machines. Existe-t-il un moyen de...