Changeset 4235 in josm
- Timestamp:
- 2011-07-13T15:15:07+02:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java
r4230 r4235 219 219 220 220 waypointLabel.setSelectedIndex(Main.pref.getInteger("draw.rawgps.layer.wpt", 0 )); 221 colorTypeDilution.setToolTipText(tr("Allows to change the labelling of track waypoints."));222 221 panel.add(new JLabel(tr("Waypoint labelling")), GBC.std().insets(20,0,0,0)); 223 222 panel.add(waypointLabel, GBC.eol().fill(GBC.HORIZONTAL).insets(5,0,0,5));
Note:
See TracChangeset
for help on using the changeset viewer.