在 JSpinner 中禁用數字分組

Question

我需要一個小部件到 select 一個 TCP/UDP 端口，所以我寫了以下內容：

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

... Monospaced和DefaultPort是 static 常量。

我想從結果顯示中刪除數字分組字符。 例如，默認值 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);