JButton の縦方向のサイズを小さくしたいと思います。次のコードは K > 1 で問題なく動作しますが、サイズを縮小できないようです。助言がありますか?
JButton button = /* ... get button here ... */
Dimension d = button.getPreferredSize();
d.setSize(d.getWidth(), d.getHeight()*K);
button.setPreferredSize(d);
編集: JavaBuilders + MigLayout を使用しています。button.setMaxSize(d);
理由はわかりませんが、 setPreferredSize() の代わりにやらなければならないようです。