如何使用 JSpinner 格式化初始值？

Question

我想更改 JSpinner 的默认小数格式，指定小数位数，但保留其他特定的格式设置。

但是，如果我按照我在 Sun 示例代码中发现的那样执行此操作

@Test public void fails() {
    JSpinner spinner = new JSpinner();
    NumberEditor editor = new JSpinner.NumberEditor(spinner);
    editor.getFormat().setMinimumFractionDigits(3);
    spinner.setEditor(editor);
    assertEquals(0, spinner.getValue());
    assertEquals("0.000", ((NumberEditor) spinner.getEditor()).getTextField().getText());
        // FAIL HERE with "0"

    spinner.setValue(0.01);
    assertEquals("0.010", ((NumberEditor) spinner.getEditor()).getTextField().getText());
}

，则初始格式化值为“0”，因为尚未检测到格式的更改。

我可以明确设置格式图片

@Test public void delMe() {
    JSpinner spinner = new JSpinner();
    spinner.setEditor(new JSpinner.NumberEditor(spinner, "0.000"));
    assertEquals(0, spinner.getValue());
    assertEquals("0.000", ((NumberEditor) spinner.getEditor()).getTextField().getText());
}

，但这不尊重逗号等的区域设置。