Java エディター (Java Editor)

以下の設定は、このページで行えます。

Java エディターの設定

オプション

説明

デフォルト

テキスト・フォント (Text Font)

変更 (Change)」ボタンをクリックすると、Java エディターのフォントが 変更されます。

Courier 標準 10 ポイント