public void actionPerformed(java.awt.event.ActionEvent event) { JHelp help = (JHelp)getControl(); JHelpContentViewer viewer = help.getContentViewer(); viewer.reload(); } }
debug("Font change"); Font newFont = (Font)event.getNewValue(); help.getContentViewer().setFont(newFont); help.getContentViewer().invalidate(); Enumeration entries = help.getHelpNavigators(); while (entries.hasMoreElements()) { help.add("Center", help.getContentViewer());
/** * Set the title from the Document. * @param b if true will set the title form the document, otherwise will * set the title from the HelpSet. */ public void setTitleFromDocument(boolean b) { debug("setTitleFromDocument"); if (titleFromDocument != b) { titleFromDocument = b; if (titleFromDocument) { propertyChangeListener = new WindowPropertyChangeListener(); if (jhelp != null) { jhelp.getContentViewer(). addPropertyChangeListener("page", propertyChangeListener); } } else { if (jhelp != null) { jhelp.getContentViewer(). removePropertyChangeListener("page", propertyChangeListener); } } } }
public String getTitle() { debug("getTitle"); // if the title comes from the document use that first if // jhelp exists if (titleFromDocument && jhelp != null) { String docTitle = jhelp.getContentViewer().getDocumentTitle(); if (docTitle != null) { return docTitle; } } // otherwise use the title that has been set... if (title != null) { return title; } else { // Unless there wasn't a title set and then use the HelpSet // title HelpSet hs = getHelpSet(); if (hs != null) { title = hs.getTitle(); } } return title; }
false, tabbedPane, help.getContentViewer());
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); } } }