Add a new JSpinner component for the int style element.

Author: tinevez

src/main/java/fiji/plugin/trackmate/gui/displaysettings/StyleElements.java

@@ -58,6 +58,7 @@
 import javax.swing.JSpinner.DefaultEditor;
 import javax.swing.ListCellRenderer;
 import javax.swing.SpinnerListModel;
+import javax.swing.SpinnerNumberModel;
 import javax.swing.SwingConstants;
 import javax.swing.WindowConstants;
 import javax.swing.border.EmptyBorder;
@@ -918,6 +919,16 @@ public static SliderPanel linkedSliderPanel( final IntElement element, final int
 		return slider;
 	}
 
+	public static JSpinner linkedSpinner( final IntElement element )
+	{
+		final BoundedValue value = element.getValue();
+		final SpinnerNumberModel model = new SpinnerNumberModel( element.get(), value.getRangeMin(), value.getRangeMax(), 1 );
+		final JSpinner spinner = new JSpinner( model );
+		spinner.setMaximumSize( new Dimension( 80, spinner.getMaximumSize().height ) );
+		model.addChangeListener( e -> element.set( ( ( Number ) model.getValue() ).intValue() ) );
+		return spinner;
+	}
+
 	public static SliderPanelDouble linkedSliderPanel( final BoundedDoubleElement element, final int tfCols )
 	{
 		return linkedSliderPanel( element, tfCols, 1. );