necesitaba un widget para seleccionar un puerto TCP/UDP, así que escribí lo siguiente:Desactivación dígitos agrupar en un JSpinner
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
?
((-: Que, con números de puerto era exactamente mi problema también –