Changeset 10378 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement
- Timestamp:
- 2016-06-15T10:30:37+02:00 (9 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/LineElement.java
r10374 r10378 91 91 BasicStroke myLine = line, myDashLine = dashesLine; 92 92 if (realWidth > 0 && paintSettings.isUseRealWidth() && !showOrientation) { 93 float myWidth = (int) (100 / 93 float myWidth = (int) (100 / (float) (painter.getCircum() / realWidth)); 94 94 if (myWidth < line.getLineWidth()) { 95 95 myWidth = line.getLineWidth(); -
trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/MapImage.java
r9371 r10378 211 211 212 212 private boolean mustRescale(Image image) { 213 return autoRescale && width 213 return autoRescale && width == -1 && image.getWidth(null) > MAX_SIZE 214 214 && height == -1 && image.getHeight(null) > MAX_SIZE; 215 215 } -
trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/NodeElement.java
r10305 r10378 60 60 return false; 61 61 final Symbol other = (Symbol) obj; 62 return 62 return symbol == other.symbol && 63 63 size == other.size && 64 64 Objects.equals(stroke, other.stroke) &&
Note:
See TracChangeset
for help on using the changeset viewer.