Method findOption

src/figtree/application/Arguments.java:525–533

(String label)

	}

	private int findOption(String label) {
		for (int i = 0; i < options.length; i++) {
			String l = options[i].label;
			if ((!caseSensitive && label.equalsIgnoreCase(l)) || label.equals(l)) {
				return i;
			}
		}
		return -1;
	}

	private Option[] options = null;