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)
id
id
- the idprotected java.lang.String getUrlFragment(javax.swing.event.HyperlinkEvent e)
null
e
- the hyperlink eventnull
public void hyperlinkUpdate(javax.swing.event.HyperlinkEvent e)
hyperlinkUpdate
in interface javax.swing.event.HyperlinkListener