徒然なるままに

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