String title = (String)doc.getProperty(Document.TitleProperty); TextHelpModel model = theViewer.getModel(); model.setDocumentTitle(title);
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"); }
title = title + "-" + anchor; TextHelpModel model = theViewer.getModel(); model.setDocumentTitle(title); ID id = model.getHelpSet().getCombinedMap().getIDFromURL(url); if (id != null) {
debug(" my helpModel: "+model); model.setDocumentTitle(null);