Method setDivider

src/org/opensourcephysics/tools/Launcher.java:440–443

Sets the divider location. @param loc the divider location

(int loc)

	 * @param loc the divider location
	 */
	public void setDivider(int loc) {
		divider = loc;
		refreshGUI();
	}

	/**
	 * Reports visibility of the Launcher frame.