Changeset 5938 in josm for trunk


Ignore:
Timestamp:
2013-05-07T14:01:42+02:00 (7 years ago)
Author:
Don-vip
Message:

see #8685 - fix fragments handling

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java

    r5923 r5938  
    584584            if (e.getEventType() != HyperlinkEvent.EventType.ACTIVATED)
    585585                return;
    586             if (e.getURL() == null) {
     586            if (e.getURL() == null || e.getURL().toString().startsWith(url+"#")) {
    587587                // Probably hyperlink event on a an A-element with a href consisting of
    588588                // a fragment only, i.e. "#ALocalFragment".
Note: See TracChangeset for help on using the changeset viewer.