org.openstreetmap.josm.gui.help

Class HelpBrowser.HyperlinkHandler

java.lang.Object

org.openstreetmap.josm.gui.help.HelpBrowser.HyperlinkHandler

All Implemented Interfaces:

EventListener, HyperlinkListener

Enclosing class:

HelpBrowser

class HelpBrowser.HyperlinkHandler
extends Object
implements HyperlinkListener

Constructor Summary

Constructors

Constructor and Description
HyperlinkHandler()

Method Summary

Modifier and Type	Method and Description
protected String	getUrlFragment(HyperlinkEvent e) Checks whether the hyperlink event originated on a <a ...
void	hyperlinkUpdate(HyperlinkEvent e)
protected boolean	scrollToElementWithId(String id) Scrolls the help browser to the element with id id

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HyperlinkHandler

HyperlinkHandler()

Method Detail

scrollToElementWithId

protected boolean scrollToElementWithId(String id)

Scrolls the help browser to the element with id id

Parameters:

id - the id

Returns:

true, if an element with this id was found and scrolling was successful; false, otherwise

getUrlFragment

protected String getUrlFragment(HyperlinkEvent e)

Checks whether the hyperlink event originated on a <a ...> element with a relative href consisting of a URL fragment only, i.e. <a href="#thisIsALocalFragment">. If so, replies the fragment, i.e. "thisIsALocalFragment". Otherwise, replies null

Parameters:

e - the hyperlink event

Returns:

the local fragment or null

hyperlinkUpdate

public void hyperlinkUpdate(HyperlinkEvent e)

Specified by:

hyperlinkUpdate in interface HyperlinkListener