Changeset 10721 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement
- Timestamp:
- 2016-08-03T17:54:36+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/NodeElement.java
r10680 r10721 7 7 import java.awt.Stroke; 8 8 import java.util.Objects; 9 import java.util.stream.IntStream; 9 10 10 11 import org.openstreetmap.josm.Main; … … 324 325 } 325 326 326 final int size = Utils.max(selected ? settings.getSelectedNodeSize() : 0, 327 final int size = max( 328 selected ? settings.getSelectedNodeSize() : 0, 327 329 n.isTagged() ? settings.getTaggedNodeSize() : 0, 328 330 isConnection ? settings.getConnectionNodeSize() : 0, … … 350 352 // This is only executed once, so no performance concerns. 351 353 // However, it would be better, if the settings could be changed at runtime. 352 int size = Utils.max(354 int size = max( 353 355 Main.pref.getInteger("mappaint.node.selected-size", 5), 354 356 Main.pref.getInteger("mappaint.node.unselected-size", 3), … … 358 360 return new SimpleBoxProvider(new Rectangle(-size/2, -size/2, size, size)); 359 361 } 362 } 363 364 private static int max(int... elements) { 365 return IntStream.of(elements).max().orElseThrow(IllegalStateException::new); 360 366 } 361 367
Note:
See TracChangeset
for help on using the changeset viewer.
