web-dev-qa-db-fra.com

La taille de la police de l'environnement est trop petite

J'ai donc choisi une police par

Paramètres système -> Apparence de l'application -> Polices

Et là, j'ai ajusté toutes les polices pour qu'elles soient de taille 14. Et aussi coché "Utiliser mes polices KDE ..." dans l'apparence Gtk +. J'ai aussi fait la même chose en utilisant

kdesudo systemsettings

Mais certaines polices sont minuscules! Ce n'est pas la 14ème taille!

enter image description here

Edit 2:

J'ai pensé qu'il pourrait s'agir d'un des paramètres de police Gnome. J'ai donc augmenté toutes les polices dans

gnome-Tweak-tool
Sudo gnome-Tweak-tool
gconf-editor
Sudo gconf-editor

Aucune aide!

Edit:

Ubuntu Tweak ne fournit également aucune aide (notez les minuscules polices!):

enter image description here

Edit:

On dirait que le problème vient de gtk3: lors de la compilation d’emacs 24.0.92 avec gtk3, j’obtiens de petites polices de menu. Quand je fais la même chose avec un gtk2 par défaut - tout va bien.

4
Adobe

Le problème est résolu en installant

gtk3-engines-oxygen-git
gtk2-engines-oxygen-git

de ici .

1
Adobe

Malheureusement, il s'agit d'un bogue connu dans KDE, dans lequel la taille de la police du dialogue d'arrêt n'est pas affectée par les paramètres système. S'il vous plaît voter pour le bogue sur le traqueur de bogues si vous souhaitez le réparer.

https://bugs.kde.org/show_bug.cgi?id=211501

2
scottl