Hmm, ce nouvel écran a une densité de pixels bien plus grande — tout est trop petit!
Effectivement, passer d’un écran HD (1920×1080) de 24’ à un écran QHD (2560×1440) de 25’ rends le texte plus petit et moins agréable à lire. D’après DPI / PPI Calculator, le nombre de Point Par Pouce passe de 91 à 117, soit une augmentation de 1.29.
On va regarder ici comment modifier les tailles par défaut de l’écran pour obtenir une plus confortable.
HiDPI
La fonctionnalité HiDPI de GNOME redimensionner l’intégralité d’une interface graphique (police, icônes, boutons, etc.). Malheureusement, dans GNOME Shell, seuls les facteurs entiers sont supportés. C’est compréhensible car il n’y a pas d’interpolation compliqué à faire dans ce cas; il n’y a qu’à dupliquer les pixels. En tout cas ce n’est pas satisfaisant car le rendu est soit trop petit, soit trop gros.
Il existe des contournements, que je ne vais pas appliquer. Pour plus d’information voir:
https://wiki.archlinux.org/index.php/HiDPI#Fractional_Scaling
Pour mémoire, le paramètre HiDPI est accessible via:
$ gsettings set org.gnome.desktop.interface scaling-factor <int>
Taille des polices dans l’interface
Une autre voie consiste à se contenter de changer la taille du texte. Puisque les fontes sont, à la base, vectorielles, ça ne devrait pas trop faire souffrir GNOME Shell. Voici comment faire:
$ gsettings set org.gnome.desktop.interface text-scaling-factor 1.2
Ça marche dans l’interface (barres de titre des fenêtres, etc.) ainsi que dans certaines applications, comme GNOME Terminal, bien que dans ce dernier j’utilise une police bitmap (Terminus).
Par contre, ça n’a pas d’effet dans d’autres applications telles que Firefox et Thunderbird.
Cas de Firefox
Danse about:config, il existe un « HiDPI » local réglable via et l’entrée layout.css.devPixelsPerPx. Toute l’interface y est redimensionné. Dans les pages web, j’utilise allègrement Ctrl+Mouse_Wheel pour ajuster la taille à ma convenance.
Problème ultime
Évidemment, j’ai deux écrans, et le deuxième n’a pas la même densité de pixels que le premier. Il n’a pas l’air possible de régler le text-scaling-factor pour chaque écran.