今回も基本的に「Ver.4.19が動いているヒトには関係のない」アップデートです。 @ikunyaのお陰で「awt.useSystemAAFontSettings」に設定する値が間違っていたことが判明。ばっちりアンチエイリアスが効くようになりましたよ! linuxのボタンサイズ調整はUbunt…