public class HyperlinkHandler extends java.lang.Object implements javax.swing.event.HyperlinkListener
HelpBrowser.| Modifier and Type | Field and Description |
|---|---|
private IHelpBrowser |
browser |
private JosmEditorPane |
help |
| Constructor and Description |
|---|
HyperlinkHandler(IHelpBrowser browser,
JosmEditorPane help)
Constructs a new
HyperlinkHandler. |
| Modifier and Type | Method and Description |
|---|---|
protected java.lang.String |
getUrlFragment(javax.swing.event.HyperlinkEvent e)
Checks whether the hyperlink event originated on a <a ...> element with
a relative href consisting of a URL fragment only, i.e.
|
void |
hyperlinkUpdate(javax.swing.event.HyperlinkEvent e) |
protected boolean |
scrollToElementWithId(java.lang.String id)
Scrolls the help browser to the element with id
id |
private final IHelpBrowser browser
private final JosmEditorPane help
public HyperlinkHandler(IHelpBrowser browser, JosmEditorPane help)
HyperlinkHandler.browser - help browserhelp - inner help paneprotected boolean scrollToElementWithId(java.lang.String id)
idid - the idprotected java.lang.String getUrlFragment(javax.swing.event.HyperlinkEvent e)
nulle - the hyperlink eventnullpublic void hyperlinkUpdate(javax.swing.event.HyperlinkEvent e)
hyperlinkUpdate in interface javax.swing.event.HyperlinkListener