Class LaunchSet

src/org/opensourcephysics/tools/Launcher.java:3031–3249

A class to save and load a set of launch tabs and Launcher static fields.

	 * A class to save and load a set of launch tabs and Launcher static fields.
	 */
	public class LaunchSet implements XML.ObjectLoader {
		private Launcher launcher;
		private String name;
		boolean failedToLoad = false;
		@SuppressWarnings("javadoc")
		public boolean showHiddenNodes = true;

		/**
		 * Constructor LaunchSet
		 */
		public LaunchSet() {
			launcher = Launcher.this;
		}

		protected LaunchSet(Launcher launcher, String path) {
			this.launcher = launcher;
			name = XML.getName(XML.forwardSlash(path));
		}

		@Override
		public void saveObject(XMLControl control, Object obj) {
			LaunchSet tabset = (LaunchSet) obj;
			Launcher launcher = tabset.launcher;
			control.setValue("classpath", classPath); //$NON-NLS-1$
			control.setValue("title", launcher.title); //$NON-NLS-1$
			// save dimensions and split pane divider location
			Dimension dim = launcher.getSize();
			control.setValue("width", dim.width); //$NON-NLS-1$
			control.setValue("height", dim.height); //$NON-NLS-1$
			control.setValue("divider", launcher.divider); //$NON-NLS-1$
			control.setValue("look_and_feel", launcher.lookAndFeel); //$NON-NLS-1$
			control.setValue("editor_enabled", launcher.editorEnabled); //$NON-NLS-1$
			if (saveState) {
				// save currently selected node
				LaunchNode node = launcher.getSelectedNode();
				control.setValue("selected_node", node.getPathString()); //$NON-NLS-1$
				// save array of expanded node collections (one for each tab)
				int n = launcher.tabbedPane.getTabCount();
				Collection<?>[] expansions = new Collection[n];
				for (int i = 0; i < n; i++) {
					LaunchPanel tab = launcher.getTab(i);
					expansions[i] = tab.getExpandedNodes();
				}
				control.setValue("expanded", expansions); //$NON-NLS-1$
			}
			// save collection of tab root nodes
			Collection<Object> nodes = new ArrayList<Object>();
			for (int i = 0; i < launcher.tabs.size(); i++) {
				LaunchNode root = ((LaunchPanel) launcher.tabs.get(i)).getRootNode();
				if (root.isHiddenInLauncher() && !tabset.showHiddenNodes) {
					continue;
				}
				// initialize selfContained, previewing and saveHiddenNodes properties
				root.parentSelfContained = false;
				root.previewing = false;
				root.saveHiddenNodes = tabset.showHiddenNodes;
				if (launcher.selfContained) {
					// save tab root