public boolean hasPage(String pageId) { return categoryPageBook.hasPage(pageId); }
private void pluginSelected(IPluginModelBase model, boolean checked) { TracingPropertySource source = getPropertySource(model); if (source == null) { fPageBook.showEmptyPage(); } else { PageBookKey key = new PageBookKey(model, checked); if (!fPageBook.hasPage(key) || source.isChanged()) { Composite parent = fPageBook.createPage(key); source.createContents(parent, checked); source.setChanged(false); } fPageBook.showPage(key); } }
private boolean showCachedPage(AbstractIntroPage page) { String formPageId = null; if (pageForm.hasPage(page.getId())) { pageForm.showPage(page, sharedStyleManager); formPageId = PageForm.PAGE_FORM_ID; } else if (pageFormWithNav.hasPage(page.getId())) { pageFormWithNav.showPage(page, sharedStyleManager); formPageId = PageFormWithNavigation.PAGE_FORM_WITH_NAVIGATION_ID; } else if (mainPageBook.hasPage(page.getId())) formPageId = page.getId(); else return false; mainPageBook.showPage(formPageId); return true; }
@Override public void run() { if (!pageBook.hasPage(key)) { Composite parent = pageBook.createPage(key); fpage.createContents(parent); parent.setData(fpage); } //commit the current page if (oldPage!=null && oldPage.isDirty()) oldPage.commit(false); //refresh the new page if (fpage.isStale()) fpage.refresh(); fpage.selectionChanged(masterPart, currentSelection); pageBook.showPage(key); } });
private void removeCachedPage(AbstractIntroPage page) { if (pageForm.hasPage(page.getId())) pageForm.removePage(page.getId()); else if (pageFormWithNav.hasPage(page.getId())) pageFormWithNav.removePage(page.getId()); else if (mainPageBook.hasPage(page.getId())) mainPageBook.removePage(page.getId()); else return; }
/** * Clear page cache for the page that contains this provider. Remove the * form from the correct pagebook that refers to the page we need to * refresh. This will force a call to createContents on all content * providers the next time this page needs to be displayed. * * @see org.eclipse.ui.intro.config.IIntroContentProviderSite#reflow(org.eclipse.ui.intro.config.IIntroContentProvider, * boolean) */ @Override public void reflow(IIntroContentProvider provider, boolean incremental) { AbstractIntroPage page = ContentProviderManager.getInst() .getContentProviderParentPage(provider); if (incremental) { if (pageForm.hasPage(page.getId())) pageForm.reflow(); else if (pageFormWithNav.hasPage(page.getId())) pageFormWithNav.reflow(); else if (mainPageBook.hasPage(page.getId())) mainPageBook.reflow(true); } else { removeCachedPage(page); showPage(model.getCurrentPage()); } }
SharedStyleManager sharedStyleManager) { if (!categoryPageBook.hasPage(page.getId())) {
final IDetailsPage fpage = page; BusyIndicator.showWhile(pageBook.getDisplay(), () -> { if (!pageBook.hasPage(key)) { Composite parent = pageBook.createPage(key); fpage.createContents(parent);
boolean pageHasNavigation = styleManager.showHomePageNavigation(); if (pageToShow != null) { if (pageBook.hasPage(pageToShow.getId()))