9

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と一緒に使用できるStraight には、この目的のためJFormattedTextFieldのメソッドがあることを知っています。setGroupingUsed(boolean)このようなものはありJSpinnerますか？サブクラス化する必要がありSpinnerNumberModelますか?

4

1 に答える 1

16

スピナーの数値エディターの形式を設定します。

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

またはより明確にするために：

JSpinner.NumberEditor editor = new JSpinner.NumberEditor(spinner);
editor.getFormat().setGroupingUsed(false);
spinner.setEditor(editor);
于 2011-06-01T08:20:53.170 に答える