在 JSpinner 中禁用数字分组

Question

我需要一个小部件来选择 TCP/UDP 端口，因此我编写了以下内容：

public static JSpinner makePortSpinner()
{
    final JSpinner spinner = new JSpinner(
            new SpinnerNumberModel( DefaultPort, 1024, 65535, 1 ) );
    spinner.setFont( Monospaced );
    return spinner;
}

...Monospaced 和 DefaultPort 是静态常量。

我想从结果显示中删除数字分组字符。例如，默认值 55024 显示为“55,024”，我希望它为“55024”。我知道直接的 NumberFormat（正如我可能与 JFormattedTextField 一起使用的那样）有一个用于此目的的 setGroupingUsed(boolean) 方法。 JSpinner 有类似的东西吗？我应该子类化SpinnerNumberModel吗？

Answer 1

在微调器上设置数字编辑器的格式：

spinner.setEditor(new JSpinner.NumberEditor(spinner,"#"));

或者更明确：

JSpinner.NumberEditor editor = new JSpinner.NumberEditor(spinner);
editor.getFormat().setGroupingUsed(false);
spinner.setEditor(editor);