Arduino IDEをHiDPIのディスプレイで動かす

きっかけ

Macbook Pro(retina)でVMWare Fusion上の仮想Windows10を動かし、その中でArduinoを使おうと思ったら画面がめちゃくちゃ小さい。
これでは使えないので起動時の設定を変えられないか調べた。

やりたいこと

• デフォルトのウインドウサイズを大きくしたい
• エディタのフォントも大きくしたい。

手順

環境設定画面によると、以下に設定ファイルが格納されているらしい。
C:\Users\Windows8\AppData\Roaming\Arduino15\preferences.txt
以下の値に変更。

• editor.font=Monospaced,plain,28
• editor.window.height.default=1200
• editor.window.height.min=580
• editor.window.width.default=1000
• editor.window.width.min=800

結果

設定後

行番号や、タブの文字など一部の文字はサイズ変更できなかった。

補足

IDEが使っているSwing自体がHiDPIをうまくサポートできていないとの情報あり。
Arduino IDE window really small on High DPI Dispay?
http://forum.arduino.cc/index.php?topic=263838.0