Modifier la police et la taille dans phpstorm [Étapes image et texte]

La colonne tutorielle suivante de phpstorm vous présentera comment modifier la police et la taille de phpstorm. J'espère qu'elle sera utile aux amis qui en ont besoin !

phpstorm est multiplateforme et prend en charge l'utilisation sur les systèmes Windows, macOS et Linux. Il utilise le langage Java pour développer des outils de développement PHP. Souvent, pour diverses raisons, nous souhaitons modifier la police et la taille dans phpstorm.
phpstorm prend en charge la définition personnalisée des styles et des comportements des outils de développement, y compris la modification du thème, la modification du style de police, la modification de la taille de la police, la modification des touches de raccourci, la configuration du plug-in, etc.
Ce qui suit concerne la modification du style et de la taille de la police de phpstorm. La modification est divisée en deux parties. L'une est la modification des propres styles de menus, barres de navigation, barres d'outils et barres d'état de phpstorm. L'autre est la modification de la police et de la taille de l'éditeur de code, qui détermine la police et la taille de la police de l'affichage du code.

1. Modification des propres styles de phpstorm pour les menus, les barres de navigation, les barres d'outils et les barres d'état

1 Cliquez sur Fichier - Paramètres - Comportement d'apparence - Option d'apparence pour accéder à l'interface des paramètres. Toutes les sous-options sous Apparence Comportement sont des paramètres de personnalisation de phpstorm.
2. Dans l'option Utiliser une police personnalisée, remplacez-la simplement par la police que vous aimez. La taille (taille) suivante est la modification de la taille de la police, en pixels. Généralement, 14px et 16px conviennent.
Comme le montre l'image :


Le résultat modifié est :


Comme vous pouvez le voir, la barre de menu, la barre de navigation, et la barre d'outils sont affectées, la police de la barre d'état. La police du code dans la zone d'édition du code n'a pas changé.

2. Paramètres de police et de taille de police

1. Cliquez sur Fichier - Paramètres - Éditeur - Option Police.
Les sous-options sous la barre de l'éditeur sont tous les paramètres personnalisés liés au code tels que l'affichage du code, les invites de code, les modèles de code, etc.
2. Font (Font) est la police affichée par le code, Size (Size) est la taille de la police affichée par le code et Line Spacing (Line Spacing) est la distance entre chaque ligne de code. , plus les deux lignes de code sont éloignées.
Comme le montre la figure :


L'effet d'affichage est
Vous pouvez voir que les paramètres ici n'affectent que l'affichage du code et modifient le code police dans la zone de l'éditeur de code et taille de la police, etc. Un aperçu est également fourni lors de l'installation.

Les deux parties ci-dessus constituent la modification de la police et de la taille de la police de phpstorm, et modifient complètement le style et la taille de la police.

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!