Changeset 11563 in josm
- Timestamp:
- 2017-02-14T23:15:33+01:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java
r11339 r11563 492 492 List<String> toActivate = new ArrayList<>(); 493 493 List<String> notFound = new ArrayList<>(); 494 Pattern regex = Pattern.compile("^[-+\\s]*|\\s [\\(\\)\\d\\s]*");494 Pattern regex = Pattern.compile("^[-+\\s]*|\\s*\\(v?[\\d\\.]*\\)|[\\s]*$"); 495 495 for (String line : lines) { 496 496 String name = regex.matcher(line).replaceAll("");
Note:
See TracChangeset
for help on using the changeset viewer.