Modifier la taille de la police dans l'arborescence des fichiers du projet dans PHPStorm


12

J'ai pu modifier le reste des polices de l'EDI (c'est-à-dire les menus, les boîtes de dialogue, etc.) en utilisant les champs "remplacer les polices par défaut" dans l'écran Paramètres / Apparence IDE de la boîte de dialogue Paramètres. Mais cela ne semble pas affecter la taille de la police de l'arborescence des dossiers / fichiers dans la barre de navigation de gauche. La police par défaut est si petite que je peux à peine la lire. Comment puis-je changer cette police?

MISE À JOUR: Je ne peux apparemment pas non plus changer la police dans l'éditeur. entrez la description de l'image ici

Réponses:


13

La police dans l'arborescence n'était pas configurable dans les anciennes versions . Dans les versions récentes, cela devrait fonctionner en utilisant la configuration dans Settings | Appearance.

Pour modifier la police de l'éditeur, utilisez le bouton Enregistrer sous ... car vous ne pouvez pas modifier le schéma par défaut.


Merci, mais comme je l'ai dit, j'ai essayé d'utiliser l'onglet Paramètres / Apparence. Il modifie la police dans les menus et les boîtes de dialogue, mais pas l'arborescence des fichiers. J'utilise 6.0, qui est la dernière version disponible pour Windows. Mais vos instructions m'ont permis de changer la police de l'éditeur, alors merci pour cela.
EmmyS

Mettez à jour vers 6.0.2 et redémarrez PhpStorm après avoir changé la police.
CrazyCoder

Selon ce lien, 6.0.2 dispose d'une licence limitée de 30 jours.
EmmyS

Ne vous inquiétez pas, la version de sortie ou un nouvel EAP deviendra disponible avant cela, vous pouvez également toujours revenir à la dernière version de la version si l'EAP expire.
CrazyCoder

6

Pour les versions 2017/2018 de PHPStorm, c'est sous l'élément de menu PHPStorm> Préférences> Apparence et comportement> Apparence> Remplacer les polices par défaut par . Ici, vous pouvez modifier la police et la taille de la police.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.