J'ai un écran avec une densité de pixels élevée, donc le paramètre DPI est défini à 125% dans Windows, ce qui rend les icônes plus grandes mais plus floues. Je souhaite baisser le DPI de l'interface utilisateur pour pouvoir augmenter la taille de la police avec Theme Font & Size Changer, ce qui me laisse une interface utilisateur plus petite (plus d'espace vertical :) et des icônes croustillantes. Le réglage layout.css.devPixelsPerPx(ce que j’ai essayé jusqu’à présent) rend également les pages Web plus petites. Comment puis-je faire ceci?
EDIT: J'utilise Windows 8.1 64-bit professionnel
Pourquoi ne pas simplement zoomer sur firefox?
—
Raystafarian
@Raystafarian J'avais l'habitude de faire cela, mais le zoom constant sur les pages Web n'est pas une bonne solution non plus - cela dérange le formatage et
—
rend les
Si j'ai bien compris, le DPI est un paramètre de moniteur qui doit être défini globalement pour l’ensemble de l’écran, sans tenir compte des considérations relatives à la couche d’application.
—
Frank Thomas
@ FrankThomas va et change la valeur de
—
0x539
layout.css.devPixelsPerPx. Vous verrez ce que je veux dire
Peut-être une copie de stackoverflow.com/questions/23099849/…
—
Julian Knight