*/
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);
*/
private void optionsPreferences() {
showPage(PageType.PAGE_PREFERENCES);
+ optionsPreferencesAction.setEnabled(false);
+ wizard.setNextEnabled(true);
}
/**
} else if ("page.project.insert".equals(pageName)) {
showPage(PageType.PAGE_PROJECTS);
nodeMenu.setEnabled(true);
+ } 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);
}
}