Hoe verander ik het lettertype en de grootte van de letters?

Algemeen

Picard is een Qt-applicatie, dus wat voor andere Qt-applicaties werkt, werkt ook voor Picard.

Voor Linux

De grootte/schaal kan op twee manieren worden gewijzigd:

1. Desktop Settings

   De gebruikelijke manier is om de schaalinstellingen van de bureaubladomgeving te gebruiken. In Gnome doe je dat bij de schermconfiguratie. Meestal werkt dit, dus dit zou je als eerste moeten proberen.

2. Environment Settings

   Je kan ook de omgevingsvariabele QT_SCALE_FACTOR instellen om de lettertypen in Qt-applicaties te schalen. Dit kan handig zijn voor 4K-beeldschermen. Vervolgens kan je vanuit de terminal QT_SCALE_FACTOR=2.0 picard uitvoeren om Picard te starten, een alias in je shell maken of de variabele in je shell voor alle Qt-applicaties instellen.

To change both the size/scaling and the font, use qt5ct to set the new font and/or size. Note that these changes will apply to all Qt applications, not just Picard.

The official documentation on high DPI could be a useful read as well.