PhpStormでフォントサイズを設定する方法

(*-*)浩
リリース: 2019-12-31 17:15:24
オリジナル
4901 人が閲覧しました

PhpStormでフォントサイズを設定する方法

PhpStorm は、JetBrains によって開発された商用 PHP 統合開発ツールです。ユーザーの効率を向上させるように設計されています。ユーザーのコーディングを深く理解し、インテリジェントなコード補完、高速なナビゲーション、およびリアルタイムを提供します。エラーチェック中。 (推奨学習: phpstorm)

多くの機能があります。ここでは、スマート PHP エディターの機能のみを紹介します。

#機能は次のとおりです。

PHP代码补全。
智能的重复编码检测器。
PHP重构。
支持Smarty和PHPDoc。
支持多语言混合。
ログイン後にコピー

優れたコード エディタは、プログラマの作業効率を向上させ、大規模なプログラミングを迅速かつ便利に実行できます。

そのため、初めてphpstormを使用する方にとっては、フォントサイズやスタイルなど、phpstormの基本的な設定が分からない可能性があります。

仕事中でも勉強中でも、インストール後に初めて開くと、フォントが非常に不快に見えます。フォント サイズの変更がファイル内にあることは誰もが知っていますが、それらはすべてファイル内にあります。知らないことがたくさんあるので、さらに難しくなります。

この PhpStorm ソフトウェアを中国語化すべきだと言う人もいますが、実際のところ、中国語化する必要はないと思います。中国語化された PhpStorm ソフトウェアの多くの機能は実装できません。多くのショートカット キー、設定、および一部の機能開けませんので、英語版をご利用ください。

以下では、phpstorm でフォントのサイズとスタイルを設定および変更する方法を紹介します。

1. コード編集領域のフォント (フォント サイズ、スタイル) を設定します

まず、ファイルを見つけて設定オプションを開きます 、図に示すように: (開いた後の外観は次のとおりです)

PhpStormでフォントサイズを設定する方法 2. エディター > フォント列オプションを見つけます。図に示すように (これは、見つけた後の外観です)

以下に示すように、PhpStormでフォントサイズを設定する方法サイズの数字を変更して、コード編集のフォント サイズを変更しますエリア。以下のコードサンプル領域でプレビューできます。適切なサイズを選択したら、「OK」をクリックします。 (明らかに、この図の「デフォルトに戻す」の下のフォント サイズは前の図とは異なります)

PhpStormでフォントサイズを設定する方法次に、エディターで [フォント] -> [フォント] オプションの値を変更して変更します。フォント スタイルを変更し、[行間隔] の値を変更して行間隔を設定します。

同様に、サンプル領域をプレビューし、適切なフォント スタイルと行間隔を選択して、[OK] をクリックします。

写真が示すように:

PhpStormでフォントサイズを設定する方法

以上がPhpStormでフォントサイズを設定する方法の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

関連ラベル:
ソース:php.cn
このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。
人気のチュートリアル
詳細>
最新のダウンロード
詳細>
ウェブエフェクト
公式サイト
サイト素材
フロントエンドテンプレート