/** * Tests if the page is active by asking the parent editor if this page is * the currently active page. * * @return <code>true</code> if the page is currently active, * <code>false</code> otherwise. */ @Override public boolean isActive() { return this.equals(editor.getActivePageInstance()); } /**
/** * Tests if the page is active by asking the parent editor if this page is * the currently active page. * * @return <code>true</code> if the page is currently active, * <code>false</code> otherwise. */ @Override public boolean isActive() { return this.equals(editor.getActivePageInstance()); } /**
return; IFormPage activePage = multiEditor.getActivePageInstance(); if (activePage == null) return;
/** * @param previousFeatureSelected */ private void revertConfigurationPage(boolean previousFeatureSelected) { // Compare selection from before and after the refresh boolean currentFeatureSelected = fFeatureButton.getSelection(); if (previousFeatureSelected == currentFeatureSelected) { // No update required return; } // The configuration page needs to be updated IFormPage currentPage = getPage().getEditor().getActivePageInstance(); // If the current page is the configuration page, switch to the // overview page before doing the update; otherwise, widget disposed // errors may result if (currentPage instanceof DependenciesPage) { getPage().getEditor().setActivePage(OverviewPage.PAGE_ID); } ((ProductEditor) getPage().getEditor()).updateConfigurationPage(); }