Arduino,Ardublock でアンダースコアが表示されない on Ubuntu Linux

ワークショップ用のPCを用意したい。WindowsだとメンテナンスコストがかかりすぎるのでLinuxで運用したいが、ちょっと問題が。

Ubuntu 16.04で確認した現象。

これは、「under_score」という変数名であるが、アンダースコアが表示されていない。

Ardublockについても同様だ。

これの直し方。

ArduinoIDE

「ファイル」→「環境設定」で、「エディタの文字の大きさ」が標準では12になっているのを変更する。

13にしたところ、表示されるようになった。

しかしながら、20とかだと表示されない。フォントサイズ0-25の範囲で調べてみたら、

0-1,6-12,16-20 ×
2,5,13,14,15,21-25 ◯

だった。

なお、フォント名を変更するには、
ファイル→環境設定
で、
「以下のファイルを直接編集すれば、より多くの設定を行うことができます。
/home/(username)/.arduino15/preferences.txt」
とある。
ポータブル環境などでは、こうなる。

該当箇所をエディタで開き、
editor.font=Monospaced,plain,12
となっているのを変更する。

Ardublock

これは設定ファイルなどは見つけられなかったので、コードを修正する。
コンパイルについては、こちらの通り。
https://qiita.com/nanbuwks/items/dde4270eade41f8b75ec

このうち、
OpenBlocksの

./src/main/java/edu/mit/blocks/renderable/BlockLabel.java

中、

    public final static Font blockFontSmall_Bold = new Font("Monospaced", Font.BOLD, 7);
    public final static Font blockFontMedium_Bold = new Font("Monospaced", Font.BOLD, 10);
    public final static Font blockFontLarge_Bold = new Font("Monospaced", Font.BOLD, 12);
    public final static Font blockFontSmall_Plain = new Font("Monospaced", Font.PLAIN, 7);
    public final static Font blockFontMedium_Plain = new Font("Monospaced", Font.PLAIN, 10);
    public final static Font blockFontLarge_Plain = new Font("Monospaced", Font.PLAIN, 12);
    private LabelWidget widget;

blockFontLarge_Bold
blockFontLarge_Plain
これをそれぞれ13にして、コンパイルし直し。

表示されるようになった。

解決していない問題

単体で実行時には問題ないのだが、ArduinoからArdublockを呼び出した場合編集中にボックスがホワイトアウトしてしまう。