Est-il possible de modifier la taille de la police du panneau de projet ?

Question

Je peux voir où il est possible de changer les polices de l'éditeur, mais la police du panneau de projet semble déraisonnablement grande. Remplacer les polices par défaut ne modifie que la barre de chemin supérieure et certains autres éléments.

Answer 1

Cela a fonctionné pour moi dans IntelliJ 14.0.3 Community Edition à Ubuntu :

File | Settings | Appearance & Behavior | Appearance

Puis cochez sur :

[ ] Override default fonts by (not recommended)

    Name: Ubuntu       Size: 14

Ici, vous pouvez choisir la police et la taille de tout : menus, panneau de projet, éditeur, etc... Pour moi, sous Linux, il est bon de le mettre à 15 (par défaut est 14), puis ajuster la police de l'éditeur seul sous :

Editor | General

Mouse
  [ ] Change font size (Zoom) with Ctrl+Mouse Wheel

Answer 2

Cela peut se faire depuis Fichier | Paramètres | Apparence. Modifiez les champs Nom et Taille sous l'en-tête Police selon les besoins.

Vous devrez peut-être redémarrer l'IDE pour que cela prenne effet.

Answer 3

J'ai récemment eu le problème aussi ; soudain, la police dans le panneau de projet était plus grande que les autres. Cependant, j'ai trouvé une option cachée dans les paramètres d'IntelliJ qui désactive ce comportement étrange :

• Ouvrir le fichier ~\.IdeaIC2018.1\config\options\ide.general.xml
• Définissez l'entrée avec la clé bigger.font.in.project.view sur false

Voici à quoi ressemble maintenant le fichier pour moi :

<application>
  <component name="GeneralSettings">
    <option name="confirmExit" value="false" />
    <option name="processCloseConfirmation" value="TERMINATE" />
    <option name="searchInBackground" value="true" />
  </component>
  <component name="Registry">
    <entry key="ide.tooltip.initialDelay" value="604" />
    <entry key="tabs.alphabetical" value="true" />
    <entry key="SBT.system.in.process" value="true" />
    <entry key="bigger.font.in.project.view" value="false" />
  </component>
</application>

Je n'ai pas trouvé cette option dans l'interface graphique.

Answer 4

Enregistrer le schéma par défaut avec un nouveau nom de schéma, il vous permettra de modifier la police.