java - JSpinner の矢印の幅を変更するには?

Question

JSpinner の矢印の幅を編集する簡単な方法はありますか?

Answer 1

あなたが使用することができますsetPreferredSize()：

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

LayoutManagerに注意してください。これは、範囲外の場合にこの優先サイズを変更する可能性があります。