- Timestamp:
- 2018-02-25T01:21:11+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java
r13447 r13457 18 18 import java.nio.charset.StandardCharsets; 19 19 import java.util.Locale; 20 import java.util.regex.Matcher; 21 import java.util.regex.Pattern; 20 22 21 23 import javax.swing.AbstractAction; … … 617 619 return null; 618 620 String s = (String) value; 619 if (s.matches("#.*")) 620 return s.substring(1); 621 Matcher m = Pattern.compile("(?:"+url+")?#(.+)").matcher(s); 622 if (m.matches()) 623 return m.group(1); 621 624 return null; 622 625 } … … 639 642 } else { 640 643 HelpAwareOptionPane.showOptionDialog( 641 Main.parent,644 instance, 642 645 tr("Failed to open help page. The target URL is empty."), 643 646 tr("Failed to open help page"),
Note:
See TracChangeset
for help on using the changeset viewer.