Comment augmenter les polices dans tous les éléments de l'interface utilisateur dans IntelliJ IDEA ?

Question

Est-il possible d'augmenter/diminuer la taille de la police dans tous les éléments de l'interface utilisateur dans IntelliJ IDEA ?

Answer 1

Pour IntelliJ 2022.2, c'est assez simple :

Pour la zone de l'éditeur

Réglages->Éditeur->Général

sous le changement de taille de police avec Ctrl+Molette de la souris, vous pouvez régler "Tous les éditeurs"

Pour la zone de l'interface utilisateur

Réglages->Apparence & Comportement->Apparence

Vous pouvez y modifier directement la police et la taille.

Éditeur UI

Answer 2

La plus simple est la suivante :

1. Appuyez sur Ctrl+Shift+A.
2. Dans le cadre contextuel, tapez Augmenter la taille de la police ou Diminuer la taille de la police, puis cliquez sur Entrée.

Doc