J'ai un petit écran de 13 pouces avec une résolution de 3200x1800px. Je peux maintenant modifier la taille de la police par défaut avec l'addon NoSquint mais les icônes dans Firefox sont toujours minuscules.
Comment modifier la taille de l'icône ?
Réponse
Trop de publicités?
Une astuce intéressante consiste à jouer avec le dpi de GTK :
-
Facteur de double ppp :
gsettings set org.gnome.desktop.interface text-scaling-factor 2.0 -
Lancer Firefox
-
Modifiez le facteur ppp arrière, afin que cela n'affecte pas les autres applications :
gsettings set org.gnome.desktop.interface text-scaling-factor 1.0
Vous pouvez créer un script pour cela ou un lanceur de bureau. (Vous pouvez utiliser n'importe quel nombre flottant comme 1,5, 3,5...)
Référence : ArchLinux : Applications et environnements de bureau : Gnome3 et DPI
