Changeset 12987 in josm for trunk/src/org/openstreetmap/josm/gui/MapScaler.java
- Timestamp:
- 2017-10-12T16:02:15+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapScaler.java
r11534 r12987 15 15 import javax.swing.JComponent; 16 16 17 import org.openstreetmap.josm.data.preferences. ColorProperty;17 import org.openstreetmap.josm.data.preferences.NamedColorProperty; 18 18 import org.openstreetmap.josm.gui.help.Helpful; 19 19 … … 29 29 private static final int PADDING_RIGHT = 50; 30 30 31 private static final ColorProperty SCALER_COLOR = newColorProperty(marktr("scale"), Color.WHITE);31 private static final NamedColorProperty SCALER_COLOR = new NamedColorProperty(marktr("scale"), Color.WHITE); 32 32 33 33 /**
Note:
See TracChangeset
for help on using the changeset viewer.