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

92

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

intellij-idea

— Eugène
source

105

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

Remplacement de la police de l'interface utilisateur

— CrazyCoder
source

2

Je peux voir la police

— remplacée

4

@mirelon, je pense que la réponse est pour une version antérieure. Le changement de police fait la bonne chose dans 14.

— James Moore

Ce serait génial si la réponse était mise à jour pour le bien des futurs lecteurs (cela change la police partout, y compris le projet vies / arbres).

— SlavaSt

La mise à jour des polices @CrazyCoder fonctionne maintenant pour toute l'interface utilisateur (2018.1). Vous devriez mettre à jour votre réponse.

— Hawkeye Parker

1

@ TheGeeko61 jetbrains.com/help/idea/accessing-settings.html , jetbrains.com/help/idea/settings-appearance.html

— CrazyCoder

55

Suivez ces trois étapes pour modifier toutes les polices dans l'EDI (y compris l'arborescence du projet et la console):

1)

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

entrez la description de l'image ici

2)

entrez la description de l'image ici

3)

entrez la description de l'image ici

— Saeed Zarinfam
source

Excellent, cela modifie également l'arborescence du projet et la console.

— dorien

12

Depuis mai 2018, l'interface utilisateur ressemble à ceci:

Appuyez sur Ctrl+ Alt+S
Réglages:

— Gerrit Sedlaczek
source

3

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

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

— Sean_Syue
source

2

Cela semble avoir une réponse à une question similaire: est-il possible de changer la taille de la police du panneau du projet?

Vous pouvez également essayer de changer la police de votre système et voir si Intellij le prend. Cela pourrait ne fonctionner que pour les menus et si vous utilisez le thème système comme GTK + sous Linux.

— Yunchi
source

0

Le plus simple est:

Appuyez sur Ctrl + Maj + A.
Dans le cadre contextuel, tapez Augmenter la taille de la police ou Réduire la taille de la police, puis cliquez sur Entrée.

Doc

— Volodymyr Yasinskyi
source

2

Cela change simplement la police de l'éditeur. La question concerne tous les autres éléments de l'interface utilisateur dans Intellij, car la taille de police par défaut est absurdement petite.

— James Moore

Cela change aussi que la taille de la police de l' éditeur de la classe actuelle, pas de toutes les classes ouvertes

— janvier

Cela ne répond pas à la question du PO.

— TheGeeko61