IntroURLParser parser = new IntroURLParser(url);
if (parser.hasIntroUrl()) {
// stop URL first.
event.doit = false;
// execute the action embedded in the IntroURL
IntroURL introURL = parser.getIntroURL();
introURL.execute();
// In the case of dynamic Intro, guard against extra Frame
// navigations. This can happen in the case of intro injected
// IFrames or Frames included through intro xml content.
// INTRO: user defined iframes in Intro pages are not properly
// supported here, only Help system injected iframes.
if (model.isDynamic()) {
if ((introURL.getParameter(IntroURL.KEY_EMBED_TARGET) != null)
&& introURL.getAction().equals(IntroURL.SHOW_PAGE))
flagStartOfNavigation();
}
return;
}