FlashDevelopのフォントが変えられない?続報
こちらで紹介したFlashDevelop、
エディタのフォントの指定ができない?
と書きましたが、半分解決しました。
原因はFlashDevelopの設定ファイルである「ScintillaNET.xml」ファイルのエンコードがShift-JISだったことが原因のようです。このエンコードをUTF-8に変換してやると無事フォントを変えることができました。めでたし。
しかし問題はまだ残っています。
フォントを変えることはできたのですが、編集するソースファイルのエンコードがShift-JISの場合は指定したフォントで表示されますが、UTF-8に指定して開きなおした場合、再びフォントが元にもどってしまいます。なんでか。
コードアシストの日本語を化けさせることを覚悟して好きなフォントを使うか、フォントの指定を諦めるか、選択する必要があるのかもしれません。
しかし『納得』できませんなぁ。