Interroger pour fontsize dans la fenêtre des Paramètres utilisateur ne donne que des réglages pour :
- les volets de l'éditeur
- le widget de suggestion
- l'aperçu markdown
- le terminal intégré
comme vous pouvez le voir ci-dessous :
Faire de même pour sidebar donne encore de plus mauvais résultats :
Avoir des polices de différentes tailles dans les volets de l'éditeur et dans la barre latérale semble... disons : pas très joli. Ai-je juste découvert la plus grande omission de cet outil génial ?
