いつも忘れるのでメモ。
「ウィンドウ」→「設定」を開いて、「一般」→「エディター」→「テキスト・エディター」の順に開いて、「色とフォント」を選択。

さらに「基本」→「テキストフォント」を選択して「編集」で、テキストについてデフォルトとなるフォントが設定できる。

いつも忘れるのでメモ。
「ウィンドウ」→「設定」を開いて、「一般」→「エディター」→「テキスト・エディター」の順に開いて、「色とフォント」を選択。
さらに「基本」→「テキストフォント」を選択して「編集」で、テキストについてデフォルトとなるフォントが設定できる。