private static final Logger logger = Logger.getLogger(Main.class.getName());
/** The version. */
- private static final Version VERSION = new Version(0, 7, 1);
+ private static final Version VERSION = new Version(0, 8);
/** The configuration. */
private Configuration configuration;
projectInsertPage.setTempDirectory(tempDirectory);
projectInsertPage.startInsert();
nodeMenu.setEnabled(false);
+ optionsPreferencesAction.setEnabled(false);
} else if ("page.project.insert".equals(pageName)) {
showPage(PageType.PAGE_PROJECTS);
nodeMenu.setEnabled(true);
+ optionsPreferencesAction.setEnabled(true);
} else if ("page.preferences".equals(pageName)) {
showPage(PageType.PAGE_PROJECTS);
optionsPreferencesAction.setEnabled(true);