Changeset 11671 in josm


Ignore:
Timestamp:
2017-03-04T22:44:04+01:00 (9 months ago)
Author:
michael2402
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/StyledMapRenderer.java

    r11670 r11671  
    966966            MapViewPoint p = mapState.getPointFor(bbox.getCenter());
    967967            drawIcon(p, img, disabled, selected, member, theta, (g, r) -> {
     968                if (useStrokes) {
     969                    g.setStroke(new BasicStroke(2));
     970                }
    968971                // only draw a minor highlighting, so that users do not confuse this for a point.
    969972                Color color = getSelectionHintColor(disabled, selected);
     973                color = new Color(color.getRed(), color.getGreen(), color.getBlue(), (int) (color.getAlpha() * .2));
    970974                g.setColor(color);
    971975                g.draw(r);
Note: See TracChangeset for help on using the changeset viewer.