J'ai fait installer mes polices d'environnement d'une certaine manière au cours de la dernière année ou deux pour être beaucoup plus petites et plus faciles à lire (pour moi) avec un tas d'autres réglages de l'interface utilisateur. J'ai oublié beaucoup de choses que j'ai faites pour le refaire.
La nuit dernière, après une mise à jour logicielle de certaines applications, la police de beaucoup de choses, mais pas de tout, a changé de taille. La seule chose liée à la police qui a synaptic
été mise à jour était fontconfig
, fontconfig-config
et les bibliothèques associées.
Fondamentalement, où les applications obtiennent-elles leurs paramètres de police par défaut et comment puis-je les configurer?
Bien que je n'aie pas de DE ou ne gnome-settings-daemon
fonctionne pas, j'ai essayé de définir les options dans gnome-tweak-tool
, en supposant que c'est un paramètre pour les applications GNOME / gtk, mais cela n'a toujours pas fonctionné. J'ai essayé de rechercher des paramètres liés aux polices dans dconf-editor
et gconf-editor
aussi.
Je suis presque sûr d'avoir raté quelque chose car j'ai oublié beaucoup de ce que j'ai fait pour tout configurer en premier lieu. Par exemple, j'ai vérifié mes paramètres gtk2 et gtk3 pour autant que je me souvienne comment ils sont définis, mais les paramètres indiquent toujours la police et la taille de police que j'ai définies depuis.
Voici une liste de certaines des applications que j'ai vues qui ont augmenté la taille de la police:
gvim
- Je n'ai jamais défini que la police et non la taille.vimrc
, la taille a juste augmenté par rapport à ce qu'elle était.i3
- Comme gvim ci-dessus, je n'ai défini que la police.i3/config
, donci3bar
la barre de titre de la fenêtre avait la police correcte, mais s'est agrandie après la mise à jour.evince
- Je l'ai d'abord remarqué ici. Je lisais des fichiers PDF en mode présentation et j'ai remarqué que la ligne "Fin de la présentation. Cliquez pour quitter" était plus grande qu'elle ne l'était normalement. Comme d'habitude, la police était toujours la bonne.dunst
- La police de notification s'est agrandie. Je ne me souviens pas avoir défini la police manuellement pour ce programme, mais il y avait longtemps que j'avais la police et la taille correctes pour le système sans avoir à définir manuellement l'option de police spécifique à l'application pourdunst
.leafpad
- La police d'affichage est devenue plus grande. Bizarre parce que je me souviens l'avoir utilisé avec la bonne taille la semaine précédente.dmenu
- Encore une fois, la police est la même que celle que j'ai définie il y a longtemps. C'est juste plus gros maintenant.transmission-gtk
- La liste des fichiers affichée avec Clic droit> Propriétés montre que chaque ligne a une police mal mise à l'échelle. Heureusement, la plupart du reste de l'application a toujours la police et la taille de police voulues.gnome-calculator
- La police dans la zone de texte ("l'écran" de la calculatrice) est plus grande que la normale.
Toute information sur la façon dont l'une de ces applications définit leurs polices de la manière indiquée serait utile . Certains d'entre eux partagent un fil conducteur clair (les applications GTK / Gnome), mais je pense que plus haut, quelque chose de commun les a tous affectés de la même manière.
Le fait que certaines de ces applications n'ont jamais eu leur police définie, mais pas leur taille de police, me dit que la seule chose qui a probablement changé est le paramètre que j'ai changé il y a longtemps pour définir la police comme "plus petite que la valeur par défaut" "a été remplacé par une valeur supérieure. Encore une fois, je ne me souviens plus ou je ne sais pas où cela se passe.
EDIT: Malheureusement, je n'ai peut-être pas été clair. Les polices elles-mêmes ne sont pas le problème, mais la taille dans laquelle elles sont affichées par différentes applications. J'ai trouvé la solution, à laquelle j'ai répondu ci-dessous.
:set guifont?
voyez maintenant quelque chose de différent de ce qu'il était auparavant? Sinon, je pense que vous avez en quelque sorte augmenté le paramètre dpi de l'écran. Que xrandr
dit-on?