PHP 学習者にとって、phpstorm は決して馴染みのあるものではありません。 phpstorm は、JetBrains が開発した商用 PHP 統合開発ツール (スマート PHP コード エディター) です。
優れたコード エディターを使用すると、プログラマー ユーザーの作業効率が向上し、大規模なプログラミングを迅速かつ簡単に行うことができます。そのため、初めてphpstormを使用する方にとっては、フォントサイズやスタイルなど、phpstormの基本的な設定が分からない可能性があります。
ここでは、phpstorm でフォント サイズとスタイルを設定および変更する方法 を紹介します。
1. コード編集領域でフォント (フォント サイズ、スタイル、行間隔) を設定します。
最初に設定setting オプションを開きます。 、 次のように。
editor->font 列オプションを見つけます。
以下に示すように、コード編集領域の size の数値を変更して フォント サイズ を変更します。以下のコードサンプル領域でプレビューできます。適切なサイズを選択した後、「OK」をクリックして適用します。
次に、editor->font オプションの [フォント スタイル] で Font の値を変更することで、 を置き換えることができます。 をクリックし、Line spacing の値を変更して行間隔を設定します。同様に、サンプル領域をプレビューし、適切なフォント スタイルと行間隔を選択して、「OK」をクリックします。
2. ツールバーのフォントを設定します。
設定を開いて次のオプションを選択します外観と動作- >外観。
次に、最初に 上の図の オプションをチェックし、次に size 値を設定してフォント サイズを変更します。ツールバー 。
PhpStorm ダウンロード アドレス:
PhpStorm Mac バージョン: http://www.php.cn/xiazai/gongju/510
PhpStorm 18.2.1 Win バージョン: http://www.php.cn/xiazai/gongju/122
この記事は phpstorm 設定 A についてですフォント サイズとスタイルの詳細な紹介、困っている友達のお役に立てれば幸いです。
以上がPhpstormのフォントサイズとスタイルを設定する方法の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。