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

Il est possible de modifier la police et la taille de l'interface utilisateur ici (la police de l'éditeur est configurée ailleurs) :

Answer 2

Suivez ces trois étapes pour changer toutes les polices de l'IDE (y compris l'arborescence du projet et la console) :

1)

Effectuer une recherche basée sur les polices dans le menu des paramètres :

2)

3)

Answer 3

Depuis la version 2020.3, l'interface utilisateur se présente comme suit :

1. Presse Ctrl + Alt + S
2. Paramètres :

Answer 4

J'utilise maintenant Intellij 2019.12.3, et la réponse devrait être :

Preferences -> Appearance & Behaviors -> Appearance -> Use custom font

Answer 5

Ce document semble apporter une réponse à une question similaire : Est-il possible de modifier la taille de la police du panneau de projet ?

Vous pouvez également essayer de changer la police de caractères de votre système et voir si Intellij s'en aperçoit. Cela ne fonctionnera que pour les menus et si vous utilisez le thème du système comme GTK+ sous Linux.