Rechercher dans l’assistance

Évitez les escroqueries à l’assistance. Nous ne vous demanderons jamais d’appeler ou d’envoyer un SMS à un numéro de téléphone ou de partager des informations personnelles. Veuillez signaler toute activité suspecte en utilisant l’option « Signaler un abus ».

En savoir plus

How can I change UI font?

  • 2 réponses
  • 1 a ce problème
  • 1 vue
  • Dernière réponse par Matt

more options

I'm trying to use Thunderbird on Linux, and the UI font is huge. Fonts in both KDE and GTK apps looks sensibly small, but the thunderbird font is ~ twice the size.

Where/how can I change it?

Font is similarly huge in Firefox, so it could be related.

I'm trying to use Thunderbird on Linux, and the UI font is huge. Fonts in both KDE and GTK apps looks sensibly small, but the thunderbird font is ~ twice the size. Where/how can I change it? Font is similarly huge in Firefox, so it could be related.
Captures d’écran jointes

Solution choisie

very few things on linux are user friendly. This is exacerbated by fonts that are not consistent across distributions and generally fonts that in the past have been of very poor quality using bitmaps instead of vectors. Supporting Linux is in many ways supporting many many operating systems as each windows manager and GUI has it's own issues and quirks. "Open source" drivers are rarely as good as their closed source equivalents. If the issue was caused by Thunderbird/Firefox you would not be able to fix it using Linux commands. Which is what you have done. Although the mozilla platform does have scaling settings.

See https://winaero.com/blog/enable-hidpi-scaling-firefox/

Lire cette réponse dans son contexte 👍 0

Toutes les réponses (2)

more options

Based on some random talk on IRC, I got it to work better by doing:

echo "Xft.dpi: 75" >> ~/.Xresources ; xrdb -merge ~/.Xresources

But that doesn't strike me as particularly user-friendly solution.

Modifié le par depesz1

more options

Solution choisie

very few things on linux are user friendly. This is exacerbated by fonts that are not consistent across distributions and generally fonts that in the past have been of very poor quality using bitmaps instead of vectors. Supporting Linux is in many ways supporting many many operating systems as each windows manager and GUI has it's own issues and quirks. "Open source" drivers are rarely as good as their closed source equivalents. If the issue was caused by Thunderbird/Firefox you would not be able to fix it using Linux commands. Which is what you have done. Although the mozilla platform does have scaling settings.

See https://winaero.com/blog/enable-hidpi-scaling-firefox/