デフォルトのテキスト・エディターのフォントの変更

「デフォルト・テキスト・エディター (Default Text Editor)」設定ページ (「ウィンドウ (Window)」>「設定 (Preferences)」>「ワークベンチ (Workbench)」>「デフォルト・テキスト・エディター (Default Text Editor)」) では、デフォルトのテキスト・エディターのフォントを変更することができます。