*/
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);
}
}