public void setValue(Number value) {
		spinner.setValue(value);
		integerTextField.setValue(value.longValue());

		fireStateChanged();
	}
Sets the given value to both the spinner and the text field.

@param value the value to set.
Ghidra/Framework/Docking/src/main/java/docking/widgets/spinner/IntegerSpinner.java