エディタオプション - フォント/サイズ

エディタオプションの「フォント/サイズ」項目についてポイントをしぼって説明します。

フォント名
使用するフォントをリストから選択することができます。
選択可能なフォントはシステムにインストールされているフォンとのうち、固定ピッチフォントのみです。
いまのところ、プロポーショナルフォントには対応していません。


サイズ
使用するフォントのサイズをリストから選択することができます。