Method trim

ij/src/main/java/ij/gui/GenericDialog.java:1338–1344

(String value)

	}

	private String trim(String value) {
		if (value.endsWith(".0"))
			value = value.substring(0, value.length()-2);
		if (value.endsWith(".00"))
			value = value.substring(0, value.length()-3);
		return value;
	}

	private void recordOption(Object component, String value) {
		if (labels==null)