/** * Sets the current URL. * The current ID changes if there is a matching ID for this URL * and HelpModelListners are notified. * * @param url The url to set the model to. A null URL is a valid url. */ public void setCurrentURL(URL url) { setCurrentURL(url, (String)null, (JHelpNavigator)null); }
/** * Displays this URL. * HelpVisitListeners are notified. * The currentID changes if there is a mathing ID for this URL * @param url The url to display. A null URL is a valid url. */ public void setCurrentURL(URL url) { model.setCurrentURL(url); }