/** * A HomeID is found. */ public void processHomeID(HelpSet hs, String value) { ID homeID = hs.getHomeID(); if ((homeID == null) || homeID.equals("")) { //parsingError("helpset.wrongHomeID", value, homeID.id); hs.setHomeID(value); }else{ parsingError("helpset.wrongHomeID", value, homeID.id); } }
private void validateID() { if (id != null) { helpBroker.setCurrentID(id); } else if (helpBroker.getCurrentID() == null && helpBroker.getCurrentURL() == null) { try { helpBroker.setCurrentID(helpBroker.getHelpSet().getHomeID()); } catch (InvalidHelpSetContextException e) { // ignore } } } }
ident = helpset.getHomeID();
public void actionPerformed(java.awt.event.ActionEvent event) { try { JHelp help = (JHelp)getControl(); HelpSet hs = help.getModel().getHelpSet(); Map.ID homeID = hs.getHomeID(); Locale locale = hs.getLocale(); String string = HelpUtilities.getString(locale, "history.homePage"); help.setCurrentID(homeID, string, help.getCurrentNavigator()); } catch (Exception e) { } } }
ID id = ID.create(helpID, objHS); if (id == null) { id = objHS.getHomeID();
private void rebuild() { HelpModel hm = getModel(); if (hm == null) { return; } //hm.addHelpModelListener(changeListener); // Discard any history HelpHistoryModel historyModel = getHistoryModel(); if(historyModel != null) historyModel.discard(); try { Map.ID currentID = hm.getCurrentID(); if (currentID == null) { HelpSet hs = hm.getHelpSet(); Map.ID homeID = hs.getHomeID(); Locale locale = hs.getLocale(); String string = HelpUtilities.getString(locale, "history.homePage"); hm.setCurrentID(homeID, string, null); } } catch (Exception e) { // For example, a null HelpSet! return; } }
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"); }