Comment faire lorsque les icônes, les menus, les barres des fenêtres et autres éléments de Gnome sont trop grands ?
Il suffit de changer la résolution ! Attention, je ne parle pas de la résolution de l'écran, mais de la résolution du rendu des polices de Gnome. Pour changer ce paramètre, c'est dans Système|Préférences|Apparence puis l'ongle Polices. Un clic sur le bouton Détails... permet de changer la valeur du nombre de points par pouces.
Alors qu'elle était à 122, je l'ai passée à 96 et depuis, finis les textes écrits super gros, les menus qui prennent le quart de l'écran... Rien ne vaut une image pour illustrer ces propos:
On voit bien qu'il est possible d'afficher plus de texte, pour une même taille de fenêtre (en regardant le libellé points par pouce, par exemple ou alors le terminal). On remarque aussi que les textes de la barre des tableaux de bord (en haut et en bas) prennent moins de place.
Ainsi, tout en restant lisible, il est possible d'affiche plus de texte sans changer la résolution de l'écran. Ce qui est très appréciable sur un écran de 14"1 pouces.
Hop, hop, un élément gênant de moins. 😉