Desactivación dígitos agrupar en un JSpinner

Question

necesitaba un widget para seleccionar un puerto TCP/UDP, así que escribí lo siguiente:

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

... Monospaced y DefaultPort siendo constantes estáticas.

Me gustaría eliminar los caracteres de agrupación de dígitos de la pantalla resultante. Por ejemplo, el valor predeterminado de 55024 se muestra como "55,024", donde me gustaría que fuera "55024". Sé que NumberFormat directamente, como podría usar con JFormattedTextField, tiene un método setGroupingUsed(boolean) para este propósito. ¿Hay algo como esto para JSpinner? ¿Debo incluir la subclase SpinnerNumberModel?

Answer 1

establecer el formato del editor de números en su spinner:

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

o para ser más explícita:

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