So legen Sie PHPstorm-Schriftgröße und -Stil fest

Für PHP-Lernende ist PHPstorm definitiv kein Unbekannter. phpstorm ist ein kommerzielles integriertes PHP-Entwicklungstool (intelligenter PHP-Code-Editor), das von JetBrains entwickelt wurde.

Ein ausgezeichneter Code-Editor kann die Arbeitseffizienz von Programmierbenutzern verbessern und umfangreiche Programmierung schnell und bequem ermöglichen. Wenn Sie also zum ersten Mal mit phpstorm vertraut sind, kennen Sie möglicherweise die Grundeinstellungen von phpstorm, wie etwa Schriftgröße und -stil, nicht.

Jetzt stellen wir Ihnen vor, wie Sie die Schriftgröße und den Schriftstil in phpstorm festlegen und ändern.

1. Stellen Sie die Schriftart (Schriftgröße, Stil und Zeilenabstand) im Codebearbeitungsbereich ein

Zuerst öffnen wir die Einstellungsoption Einstellung , wie folgt.

Suchen Sie die Spaltenoption editor->font.

Ändern Sie wie unten gezeigt die Zahl in Größe, um die Schriftgröße im Codebearbeitungsbereich zu ändern. Wir können es im Codebeispielbereich unten in der Vorschau anzeigen. Nachdem Sie die entsprechende Größe ausgewählt haben, klicken Sie zum Übernehmen auf „OK“.

Dann können wir ersetzen, indem wir den Wert von Font in der Option editor->font Schriftartstil ändern und ändern Sie den Wert von Zeilenabstand, um den Zeilenabstand festzulegen. Ebenso können wir eine Vorschau des Beispielbereichs anzeigen, den entsprechenden Schriftstil und Zeilenabstand auswählen und auf „OK“ klicken.

2. Legen Sie die Schriftart in der Symbolleiste fest

Öffnen Sie die Einstellung und wählen Sie die folgenden Optionen aus:Aussehen & Verhalten- > ;Aussehen.

Dann aktivieren Sie zunächst die Option im Bild oben und legen Sie dann den Wert Größe fest, um die Schriftgröße zu ändern Symbolleiste.

PhpStorm-Download-Adresse:

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

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

In diesem Artikel geht es um phpstorm-Einstellungen A Detaillierte Einführung in Schriftgröße und -stil , ich hoffe, es wird Freunden in Not helfen!

Das obige ist der detaillierte Inhalt vonSo legen Sie PHPstorm-Schriftgröße und -Stil fest. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!