Method refresh

src/org/opensourcephysics/tools/LaunchSaver.java:170–188

Refreshes the GUI.

()

	 * Refreshes the GUI.
	 */
	private void refresh() {
		inspectButton.setEnabled(getSelectedNode() != null);
		String path = null;
		if (!Launcher.tabSetBasePath.equals("")) { //$NON-NLS-1$
			path = Launcher.tabSetBasePath;
		} else if (builder.jarBasePath != null) {
			path = builder.jarBasePath;
		} else {
			path = XML.forwardSlash(XML.getUserDirectory());
		}
		if (path.indexOf("javaws") > -1) { //$NON-NLS-1$
			path = XML.forwardSlash(OSPRuntime.getUserHome());
			Launcher.tabSetBasePath = path;
		}
		pathField.setText(path + "/"); //$NON-NLS-1$
		pathField.setBackground(Color.white);
		treeModel.nodeChanged(root);
		tree.repaint();
	}

	/**
	 * Displays the properties of the selected node in an xml inspector.