Method getRealOption

src/figtree/application/Arguments.java:446–449

Return the value of an real number option

(String label)

	 * Return the value of an real number option
	 */
	public double getRealOption(String label) {
		RealOption o = (RealOption)options[findOption(label)];
		return o.value;
	}

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