// set the current page id in the model. This will triger appropriate
// listener event to the UI. If setting the page in the model fails (ie:
// the page was not found in the current model, look for it in loaded
// models. return false if failed.
// avoid flicker.
CustomizableIntroPart currentIntroPart = (CustomizableIntroPart) IntroPlugin
.getIntro();
currentIntroPart.getControl().setRedraw(false);
IntroModelRoot modelRoot = IntroPlugin.getDefault().getIntroModelRoot();
boolean success = modelRoot.setCurrentPageId(pageId);
if (!success)
success = includePageToShow(modelRoot, pageId);
// we turned drawing off. Turn it on again.
currentIntroPart.getControl().setRedraw(true);
if (success) {
// found page. Set the history
modelRoot.getPresentation().updateHistory(
modelRoot.getCurrentPage());