blechmusikの日記

いろいろなことを書いています。

DvorakJ の設定ウィンドウの幅を広げよう

そろそろ公開する DvorakJ では設定ウィンドウの左側にツリービューを置くので、設定ウィンドウの幅を以前よりも広げなければならない。幅をあまりにも広げすぎると、モニターが小さい環境で、DvorakJ を設定しづらくなってしまうかもしれない。必要な限りにおいて、設定ウィンドウの横幅を広げよう。