Désactiver HiDPI dans Firefox 22
28 juin 2013
La version 22 du navigateur Open Source de la fondation Mozilla embarque avec elle le HiDPI. L’objectif est d’adapter la taille des polices de caractères à la résolution de votre système Windows. Cela part sans doute d’un bon sentiment. Mais c’est particulièrement pénible. Les pages et les images s’en trouvent déformées et fâcheusement pixelisées. Pour désactiver le mode HiDPI, vous devez, à partir du configurateur accessible sous Firefox à l’adresse about:config, passer la valeur de l’option layout.css.devPixelsPerPx à la valeur 1.0 à la place de -1.0.
Changer la police de caractères
Si certains utilisent le Zoom accessible à partir du menu Affichage ou au travers des raccourcis de touche Ctrl +, Ctrl – ou Ctrl 0, je préfère changer la taille des polices dans les options du navigateur :
- Outils -> Options, sous Windows
- Edition -> Préférences sous Linux
Cliquez sur Contenu. Vous pouvez alors changer la police par défaut ainsi que sa taille.
En cliquant sur le bouton Avancé, vous pouvez affiner vos choix.
