Changeset 11671 in josm for trunk/src/org/openstreetmap

Timestamp:

2017-03-04T22:44:04+01:00 (8 years ago)

Author:

michael2402

Message:

See #10176: Nicer stroke for icons of selected areas.

File:

• trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/StyledMapRenderer.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/StyledMapRenderer.java

@@ -966 +966 @@
             MapViewPoint p = mapState.getPointFor(bbox.getCenter());
             drawIcon(p, img, disabled, selected, member, theta, (g, r) -> {
+                if (useStrokes) {
+                    g.setStroke(new BasicStroke(2));
+                }
                 // only draw a minor highlighting, so that users do not confuse this for a point.
                 Color color = getSelectionHintColor(disabled, selected);
+                color = new Color(color.getRed(), color.getGreen(), color.getBlue(), (int) (color.getAlpha() * .2));
                 g.setColor(color);
                 g.draw(r);