Apriori, Xorg calcul le bon DPI: DisplaySize de 885×498 et résolution de 1360×768, ça fait bien 39 de dpi. Mais du coup les polices ne sont pas de la bonne taille. Il faut changer le DisplaySize pour corriger: 457×258. Ce qui donne 75 dpi. Hop hop hop!
Uncategorized
fonts, X
Je ne sais pas d’ou vient ce probleme, mais les polices de gtk sont beaucoup trop petites (voir minuscules) avec des résolutions d’écrans un peu batardes (1360*800 par exemple). Apparemment un mauvais calcul du DPI par X. J’ai eu beau essayer de lui spécifer d’autre valeur via le .Xresources (Xft.dpi), rien n’y fait.
La seule solution est de spécifier un font plus grosse pour gtk. Tout simplement dans le fichier .gtkrc-2.0:
gtk-font-name = "Verdana 16"
Malheureusement, firefox fait un calcul différent pour le DPI et m’affiche des fonts énorme. Du coup, il faut ajouter dans le fichier .mozilla/firefox/<random>/chrome/userChrome.css:
* {
font-size: 8pt !important;
}
Uncategorized
firefox, fonts, gtk+