Les paramètres de police ne fonctionnent pas dans le plug-in du panneau de disposition de clavier Xfce dans 16.06
Il y a ce bogue (la taille de la police de la disposition du texte ne change pas) : dans xfce4-xkb-plugin, l'applet du panneau affichant les dispositions de clavier, les paramètres de taille de la police ne sont pas suivis (si 'text' est sélectionné au lieu de 'drapeau').
Le type/famille de police et le style peuvent être modifiés, mais le nom de la langue du clavier (us, fr, etc.) est affiché beaucoup plus gros que prévu.
Cela peut-il être réparé d'une manière ou d'une autre?
En guise de solution de contournement, changer le type de police (famille) et le style au lieu de la taille de la police peut améliorer l'apparence: certaines polices peuvent sembler plus belles, car elles sont (et/ou apparaissent) plus petites ou plus fines que d'autres.
Par exemple, DejaVu Sans Extralight
montre comme ça:
J'ai résolu ceci sur mon installation 64 bits en écrasant le /usr/lib/x86_64-linux-gnu/xfce4/panel-plugins/xfce4-xkb-plugin avec le version de trusty , et en créant un lien symbolique @ libxfce4util.so.6 pointant vers @ libxfce4util.so.7 comme ceci:
Sudo ln -s /usr/lib/x86_64-linux-gnu/libxfce4util.so.7 /usr/lib/x86_64-linux-gnu/libxfce4util.so.6
Résolu dans Xfce plus tard - testé dans Mint 19.1 avec xfce4-panel 4.12.2 (Xfce 4.12) - où l'applet du panneau de clavier a un nouveau paramètre appelé "taille du widget" qui n'a plus rien à voir avec les polices.
