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
la source

Réponses:

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
la 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
la source
Excellent, cela modifie également l'arborescence du projet et la console.
dorien
12

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

  1. Appuyez sur Ctrl+ Alt+S
  2. Réglages: Paramètres IntelliJ: 2018
Gerrit Sedlaczek
la source
3

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

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

entrez la description de l'image ici

Sean_Syue
la source
0

Le plus simple est:

  1. Appuyez sur Ctrl + Maj + A.
  2. 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
la 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