Bra*_*rad 10
我认为这是一个更简单的解决方案:
JSpinner.NumberEditor editor = new JSpinner.NumberEditor(mySpinner, "#");
mySpinner.setEditor(editor);
Run Code Online (Sandbox Code Playgroud)
| 归档时间: |
|
| 查看次数: |
3716 次 |
| 最近记录: |