*/
public class Main implements ActionListener, ListSelectionListener, WizardListener, NodeManagerListener, UpdateListener {
+ /** The logger. */
+ @SuppressWarnings("unused")
+ private static final Logger logger = Logger.getLogger(Main.class.getName());
+
/** The version. */
private static final Version VERSION = new Version(0, 7, 1);
} else if ("page.preferences".equals(pageName)) {
showPage(PageType.PAGE_PROJECTS);
optionsPreferencesAction.setEnabled(true);
+ String tempDirectory = ((PreferencesPage) pages.get(PageType.PAGE_PREFERENCES)).getTempDirectory();
+ ((ProjectInsertPage) pages.get(PageType.PAGE_INSERT_PROJECT)).setTempDirectory(tempDirectory);
}
}