コミュニティ 学ぶ ツールライブラリ レジャー
検索
日本語
ホームページ > 開発ツール > PHPstorm > phpstormでフォントを設定する方法

phpstormでフォントを設定する方法

爱喝马黛茶的安东尼
リリース： 2019-08-08 09:58:11
オリジナル
4823 人が閲覧しました

phpstormでフォントを設定する方法

まず、メニュー バーの [ファイル] をクリックし、ドロップダウン メニューで [設定] を選択します。

phpstormでフォントを設定する方法

関連する推奨事項:「PhpStorm 使用法チュートリアル 」

設定を入力した後、「外観」を選択します。 「Size」の値を設定してインターフェース上のフォントを設定します。

phpstormでフォントを設定する方法

次に、エディターのコンテンツのフォントとサイズを設定します。 「色とフォント」を選択し、「サイズ」の値を設定します。

phpstormでフォントを設定する方法

効果は次のとおりです:

phpstormでフォントを設定する方法

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

関連ラベル：
phpstorm フォント 設定
ソース：php.cn
前の記事：phpstorm で中国語を設定する方法 次の記事：phpstorm の有効期限が切れたときにアクティブ化する方法
このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。
著者別の最新記事
最新の問題
function_exists() はカスタム関数を決定できません Function test () {return true;} if (function_exists ('test')) {echo "テストは関数です";
から 2024-04-29 11:01:01
0
3
2052
Google Chromeのモバイル版を表示する方法 こんにちは、先生、Google Chrome をモバイル版に変更するにはどうすればよいですか?
から 2024-04-23 00:22:19
0
11
2205
子ウィンドウは親ウィンドウを操作しますが、出力は応答しません。 最初の 2 つの文は実行可能ですが、最後の文は実装できません。
から 2024-04-19 15:37:47
0
1
1862
親ウィンドウには出力がありません document.onclick = function(){ window.opener.document.write('私は子ウィンドウの出力です');
から 2024-04-18 23:52:34
0
1
1749
CSS マインド マッピングに関するコースウェアはどこにありますか? コースウェア
から 2024-04-16 10:10:18
0
0
1771
関連トピック
詳細>
人気のおすすめ
人気のチュートリアル
詳細>
関連するチュートリアル
人気のおすすめ
最新のコース
最新のダウンロード
詳細>
ウェブエフェクト
公式サイト
サイト素材
フロントエンドテンプレート