/** * Adds a listener for the TExtHelpModelEvent posted after the model has * changed. * * @param l - The listener to add. * @see javax.help.TextHelpModel#removeHelpModelListener */ public void addTextHelpModelListener(TextHelpModelListener l) { getModel().addTextHelpModelListener(l); }
/** * Removes a listener previously added with <tt>addTextHelpModelListener</tt> * * @param l - The listener to remove. * @see javax.help.TextHelpModel#addTextHelpModelListener */ public void removeHelpModelListener(TextHelpModelListener l) { getModel().removeTextHelpModelListener(l); }
/** * Removes a listener previously added with <tt>addHelpModelListener</tt> * * @param l - The listener to remove. * @see javax.help.HelpModel#addHelpModelListener */ public void removeHelpModelListener(HelpModelListener l) { getModel().removeHelpModelListener(l); }
/** * Adds a listener for the HelpModelEvent posted after the model has * changed. * * @param l - The listener to add. * @see javax.help.HelpModel#removeHelpModelListener */ public void addHelpModelListener(HelpModelListener l) { getModel().addHelpModelListener(l); }
/** * @return The URL to the HelpSet. */ public URL getHelpSetURL() { HelpSet hs = contentViewer.getModel().getHelpSet(); if (hs == null) { return null; } return hs.getHelpSetURL(); }
/** * Visits a given ID. Propagates down into the model. * * @param id The String to visit. Relative to the HS of the current model. * @exception BadIDException The ID is not valid for the HelpSet for the current model. */ public void setCurrentID(String id) throws BadIDException { try { model.setCurrentID(ID.create(id, getModel().getHelpSet())); } catch (InvalidHelpSetContextException ex) { // cannot happen } }
/** * Set the URL to the HelpSet. This forces the HelpSet to be reloaded. * * @param spec Where to locate the HelpSet. A null spec is valid */ public void setHelpSetSpec(String spec) { URL url; HelpSet hs; ClassLoader loader = this.getClass().getClassLoader(); try { url = new URL(spec); hs = new HelpSet(loader, url); } catch (Exception ex) { System.err.println("Trouble setting HelpSetSpec to spec |"+spec+"|"); System.err.println(" ex: "+ex); hs = null; } contentViewer.setModel(new DefaultHelpModel(hs)); setModel(contentViewer.getModel()); updateUI(); }
TextHelpModel model = theViewer.getModel(); model.setDocumentTitle(title);
public void uninstallUI(JComponent c) { debug("uninstallUI"); JHelpContentViewer viewer = (JHelpContentViewer) c; viewer.removePropertyChangeListener(this); /** * html future additions * remove all html listeners here - if we add any */ TextHelpModel model = viewer.getModel(); if (model != null) { model.removeHelpModelListener(this); model.removeTextHelpModelListener(this); } viewer.setLayout(null); viewer.removeAll(); }
TextHelpModel thm = ((JHelpContentViewer)c).getModel(); if (thm != null) { hs = thm.getHelpSet();
public void uninstallUI(JComponent c) { debug("uninstallUI"); JHelpContentViewer viewer = (JHelpContentViewer) c; viewer.removePropertyChangeListener(this); html.removePropertyChangeListener(this); TextHelpModel model = viewer.getModel(); if (model != null) { model.removeHelpModelListener(this); model.removeTextHelpModelListener(this); } viewer.setLayout(null); viewer.removeAll(); }
if (item != null && item.getID() != null) { try { getContentViewer().getModel().setCurrentID(item.getID(), item.getName(), navigator); } catch (InvalidHelpSetContextException ex) { System.err.println("BadID: "+item.getID());
TextHelpModel model = theViewer.getModel(); if (model != null) {
TextHelpModel model = theViewer.getModel(); if (model != null) {
public void idChanged(HelpModelEvent e) { ID id = e.getID(); URL url = e.getURL(); TextHelpModel model = theViewer.getModel(); debug("idChanged("+e+")"); debug(" = " + id + " " + url); debug(" my helpModel: "+model); model.setDocumentTitle(null); /** * html future additions * if we were doing any highlighting of the search text * code would be needed here remove all the highlights before * the new page is displayed */ html.setURL(url); debug("done with idChanged"); }
TextHelpModel model = theViewer.getModel(); model.setDocumentTitle(title); ID id = model.getHelpSet().getCombinedMap().getIDFromURL(url);
private void rebuild() { debug("rebuild"); TextHelpModel model = theViewer.getModel(); if (model == null) { debug("rebuild-end: model is null"); return; } /** * html future additions * if we were doing any highlighting the highlights would need * to be removed here */ HelpSet hs = model.getHelpSet(); // for glossary - not set homeID page - glossary is not synchronized if(theViewer.getSynch()){ try { Map.ID homeID = hs.getHomeID(); Locale locale = hs.getLocale(); String name = HelpUtilities.getString(locale, "history.homePage"); model.setCurrentID(homeID, name, (JHelpNavigator)null); html.setURL(model.getCurrentURL()); } catch (Exception e) { // ignore } } debug("rebuild-end"); }
private void rebuild() { debug("rebuild"); TextHelpModel model = theViewer.getModel(); if (model == null) { debug("rebuild-end: model is null"); return; } // The model has changed. I'll need to clear the HTML viewer and // put in the home page Highlighter h = html.getHighlighter(); debug("removeAllHighlights"); h.removeAllHighlights(); HelpSet hs = model.getHelpSet(); // for glossary - not set homeID page - glossary is not synchronized if(theViewer.getSynch()){ try { Map.ID homeID = hs.getHomeID(); Locale locale = hs.getLocale(); String name = HelpUtilities.getString(locale, "history.homePage"); model.setCurrentID(homeID, name, (JHelpNavigator)null); html.setPage(model.getCurrentURL()); } catch (Exception e) { // ignore } } debug("rebuild-end"); }
public void idChanged(HelpModelEvent e) { ID id = e.getID(); URL url = e.getURL(); TextHelpModel model = theViewer.getModel(); debug("idChanged("+e+")"); debug(" = " + id + " " + url);