ArduinoIDEのフォントが汚い

Ubuntu上でArduino開発していて

どうもIDEのフォントが汚い。フォントサイズは変更できるのだけれど、アンチエイリアスが設定できない。
javaで動いているから、設定ファイルを書き換えてやろうと、調べてみた。
コマンドarduinoで起動するので、この中身を書き換えてみる。

java -Dawt.useSystemAAFontSettings=on SampleApp

ファイルの最後で実行している部分があるので、上のようにアンチエイリアスをonにしてみる。

う〜む、上手くいかない。

ホームに.arduino/preference.txtという個別の設定ファイルが、生成されているのでこいつを編集。

editor.antialias=true

これだけで、うまくいった。

フォントもこの設定ファイルで変更できそうだ。
よく見ると、editor.fontというエントリがあるので、フォントの変更もこれでOK。

サイズはここで設定してもいいが、設定画面から変更可能なので、サイズだけならこのファイルを編集する必要はない。

14ポイント程度にしておくと、見やすい感じ。アンチエイリアスも効いていて読みやすいですな。

ついでにMac版も

Mac用のArduinoIDEもフォントが汚いので、直してみる。
あれ？
ホームに.arduinoというディレクトリはない。

お作法が違うようだ。
調べてみると$HOME/Library/Arduino/prefference.txtらしい。
中身は一緒なので、同じエントリーを探して書き換えるだけで、アンチエイリアスがきれいに掛かって嬉しい〜。

じゃっかん、使用しているフォントが異なるので、見え方に差はあるものの、これなら疲れずに作業できそうだ。

ちなみにWindowsでは作業しないことにしているので、情報なしです。
知りたい人はググってくださいww