Comment définir la taille et le style de la police Phpstorm

Pour les apprenants PHP, phpstorm ne vous est certainement pas étranger. phpstorm est un outil de développement intégré PHP commercial (éditeur de code PHP intelligent) développé par JetBrains.

Un excellent éditeur de code peut améliorer l'efficacité du travail des utilisateurs programmeurs et permettre une programmation à grande échelle rapidement et facilement. Ainsi, pour ceux qui débutent avec phpstorm pour la première fois, ils ne connaissent peut-être pas les paramètres de base de phpstorm, tels que la taille et le style de la police.

Nous allons maintenant vous présenter comment définir et modifier la taille et le style de la police dans phpstorm.

1. Définissez la police (taille de police, style et espacement des lignes) dans la zone d'édition du code

Nous ouvrons d'abord l'option de réglage paramètre , comme suit.

Recherchez l'option de colonne editor->font.

Comme indiqué ci-dessous, modifiez le numéro dans taille pour changer la taille de la police dans la zone d'édition du code. Nous pouvons le prévisualiser dans la zone d’exemple de code ci-dessous. Après avoir sélectionné la taille appropriée, cliquez sur OK pour appliquer.

Ensuite on peut remplacer en modifiant la valeur de Font dans l'option éditeur->font Style de police et modifiez la valeur de Espacement des lignes pour définir l'espacement des lignes. De même, nous pouvons prévisualiser la zone d’échantillon, sélectionner le style de police et l’espacement des lignes appropriés, puis cliquer sur OK.

2. Définissez la police dans la barre d'outils

Ouvrez le paramètre et sélectionnez les options suivantesapparence et comportement- > ;apparence.

Ensuite, d'abord cochez l'option dans l'image ci-dessus, puis définissez la valeur size pour modifier la taille de la police à la barre d'outils .

Adresse de téléchargement de PhpStorm :

Version PhpStorm Mac : http://www.php.cn/xiazai/gongju/510

Version PhpStorm 18.2.1 Win : http://www.php.cn/xiazai/gongju/122

Cet article concerne les paramètres phpstorm A introduction détaillée à la taille et au style de police , j'espère que cela sera utile aux amis dans le besoin !

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!