Method getIntegerOption

src/figtree/application/Arguments.java:430–433

Return the value of an integer option

(String label)

	 * Return the value of an integer option
	 */
	public int getIntegerOption(String label) {
		IntegerOption o = (IntegerOption)options[findOption(label)];
		return o.value;
	}

	/**
	 * Return the value of an integer array option