Changeset 5938 in josm

Timestamp:

2013-05-07T14:01:42+02:00 (11 years ago)

Author:

Don-vip

Message:

see #8685 - fix fragments handling

File:

• trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java

@@ -584 +584 @@
             if (e.getEventType() != HyperlinkEvent.EventType.ACTIVATED)
                 return;
-            if (e.getURL() == null) {
+            if (e.getURL() == null || e.getURL().toString().startsWith(url+"#")) {
                 // Probably hyperlink event on a an A-element with a href consisting of
                 // a fragment only, i.e. "#ALocalFragment".