Comment puis-je réduire la taille de la police sur les onglets dans Chrome dans Ubuntu?

Les onglets d'Ubuntu (Xubuntu 14.04) ont une police plus grande que Firefox. Voir comparaison dans l'image ci-jointe. Comment puis-je réduire cette taille?

En tant qu'utilisateur Mint (utilisant les mêmes packages Ubuntu), j'ai trouvé que tout allait bien dans Chromium jusqu'au 41.0.2272.76-0ubuntu0.14.04.1.1076. Depuis lors, les polices dans les onglets, les menus et les signets ont augmenté d'environ 2 points selon les captures d'écran.

Chrome lui-même s'affiche toujours correctement avec la taille de police plus petite. J'ai installé google-chrome-stable 41.0.2272.89-1.

Cliquez avec le bouton droit de la souris sur le raccourci Chrome et "Propriétés".

Utilisez ceci: chrome-browser --force-device-scale-factor = 0.5

Maintenant, vous pouvez mettre à l'échelle ce que vous voulez, encore plus gros facteur comme la merde = 2: D

À partir d'ici: https://productforums.google.com/forum/#!topic/chrome/GCd_JxQ33cU

J'ai trouvé une solution de contournement pour mon propre système. Vous connaissez probablement votre ~/.Xdefaultsfichier. Eh bien, il s'avère qu'il existe une valeur par défaut qui vous aide. Modifiez le fichier et rechargez à l'aide de la commande xrdb -load ~/.Xdefaults. Redémarrez ensuite le navigateur Chrome et, - le tour est joué - la police de l'onglet est devenue plus grande. Les lignes que j'ai ajoutées sont les suivantes:

!! Xft settings help the problem with small font in google chromium tabs! 
!! Xft.dpi: 96  is the setting that makes the tab font larger 
Xft.dpi: 96 
Xft.antialias: true 
Xft.rgba: rgb 
Xft.hinting: true 
Xft.hintstyle: hintslight 

J'ai trouvé ce qui précède dans un fil de discussion où les gens parlaient d'améliorer l'apparence des polices dans Chrome sous Linux, et j'ai découvert que le paramètre 96 dpi a pour effet secondaire d'augmenter la taille de la police sur les onglets. Je dois dire que je ne suis PAS un expert en polices, donc je ne peux pas garantir que cela fonctionnera sur n'importe quel système (possible selon les polices que vous avez installées?), Mais je dirais que c'est rapide et vaut la peine d'être essayé.

Pour les gestionnaires de fenêtres qui ne gèrent pas correctement les paramètres de police, vous pouvez utiliser votre ~/.Xdefaultsfichier. Définissez Xft.dpipar exemple 96:

Xft.dpi: 96

Et lancez la commande xrdb -merge ~/.Xdefaults. Redémarrez ensuite votre navigateur pour voir les effets des paramètres. Ajustez la dpivaleur jusqu'à ce que vous soyez satisfait.

Ce n'est peut-être pas exactement ce que vous attendez, mais le thème Ambiance pour Chrome (Maverick) ajuste la police à une taille acceptable.

Installez l'outil de modification de Ubuntu Unity. En apparence, cliquez sur les polices et définissez le facteur de mise à l'échelle des polices selon votre volonté.