日期:2014-05-20 浏览次数:20653 次
JSpinner spinner = new JSpinner(); JSpinner.NumberEditor editor = new JSpinner.NumberEditor(spinner, "¤#,##0"); spinner.setEditor(editor);