/** * Hides/Shows view. */ public void setViewDisplayed(boolean displayed) { debug ("setViewDisplayed"); if (jhelp != null) { jhelp.setNavigatorDisplayed(displayed); } viewDisplayed = displayed; }
private synchronized void createJHelp() { debug ("createJHelp"); if (jhelp == null) { jhelp = new JHelp(getHelpModel(), null, getHelpSetPresentation()); Font font = super.getFont(); if (font != null) { jhelp.setFont(font); } Locale locale = getLocale(); if (locale != null) { jhelp.setLocale(locale); } jhelp.setToolbarDisplayed(toolbarDisplayed); jhelp.setNavigatorDisplayed(viewDisplayed); if (currentView != null) { JHelpNavigator nav = getNavigatorByName(currentView); if (nav != null) { jhelp.setCurrentNavigator(nav); } } if (titleFromDocument) { jhelp.getContentViewer(). addPropertyChangeListener("page", propertyChangeListener); } } }