La taille de police de l'interface utilisateur dans Firefox, Opera, Chromium et Thunderbird ne tient pas compte des paramètres système
Je ne sais pas pourquoi, mais les 4 applications ne suivent pas la taille de police définie dans les paramètres système. Des indices?
J? ai compris. Le paramètre à modifier se trouve sous:
Paramètres système> Style d'application> Style d'application GNOME (GTK)
J'avais besoin d'augmenter la taille de la police de 10 à 12 pour qu'elle corresponde à celle que j'avais choisie:
Paramètres système> Police> Polices
Voici l'effet avant et après:
Firefox utilise la police 10 et Opera est la police 12.
Le problème pourrait être avec ces programmes ayant eux-mêmes un remplacement de police. Je sais que dans Firefox, il existe des options de police et des tailles que vous pouvez modifier qui ne sont pas contrôlées par le système, à moins que des couleurs à contraste élevé ne soient utilisées. Pour Firefox, il se trouve sous Préférences> Contenu et aller dans "avancé" dans cette page permettra de peaufiner davantage. Pas sûr que ce soit la même chose pour les autres mais je ne serais pas surpris.
J'ai eu un problème similaire, mais les onglets et les menus étaient minuscules. La solution que j'ai trouvée (pour Kubuntu 16.04 de toute façon) était dans les paramètres système> polices> et au bas de la page se trouve l'option "Forcer les polices DPI:" avec une option pour augmenter ou diminuer le nombre (valeur par défaut 72 ou 96). ) J'ai augmenté le mien jusqu'à 168 pour que les polices de 16 points aient un aspect normal sur un écran avec une résolution de 2560 x 1440.