Changeset 15719 in josm for trunk/src/org/openstreetmap/josm/data/preferences
- Timestamp:
- 2020-01-18T14:14:04+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/preferences/sources/MapPaintPrefHelper.java
r15211 r15719 74 74 75 75 // XML style is not bundled anymore 76 list.remove(Utils.find(list, se -> "resource://styles/standard/elemstyles.xml".equals(se.url))); 76 list.stream() 77 .filter(se -> "resource://styles/standard/elemstyles.xml".equals(se.url)) 78 .findFirst() 79 .ifPresent(list::remove); 77 80 78 81 return changed;
Note:
See TracChangeset
for help on using the changeset viewer.