0

有没有一种简单的方法来编辑 JSpinner 箭头的宽度?

4

1 回答 1

0

您可以使用setPreferredSize()

    Dimension d = spinner.getPreferredSize();  
    d.width = 50;  
    spinner.setPreferredSize(d);

小心 LayoutManager,如果它超出范围,它可以修改这个首选大小。

于 2012-07-26T07:35:19.070 回答