Changeset 2105 in josm for trunk/src/org/openstreetmap/josm/gui/preferences
- Timestamp:
- 2009-09-12T18:22:41+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java
r1742 r2105 42 42 private JCheckBox forceRawGpsLines = new JCheckBox(tr("Force lines if no segments imported.")); 43 43 private JCheckBox largeGpsPoints = new JCheckBox(tr("Draw large GPS points.")); 44 private JCheckBox hdopCircleGpsPoints = new JCheckBox(tr("Draw a circle form HDOP value.")); 44 45 private ButtonGroup colorGroup; 45 46 private JRadioButton colorTypeVelocity = new JRadioButton(tr("Velocity (red = slow, green = fast)")); … … 143 144 panel.add(new JLabel(tr("Minimum distance (pixels)")), GBC.std().insets(60,0,0,0)); 144 145 panel.add(drawGpsArrowsMinDist, GBC.eol().fill(GBC.HORIZONTAL).insets(5,0,0,5)); 146 147 // hdopCircleGpsPoints 148 hdopCircleGpsPoints.setSelected(Main.pref.getBoolean("draw.rawgps.hdopcircle", true)); 149 hdopCircleGpsPoints.setToolTipText(tr("Draw a circle form HDOP value.")); 150 panel.add(hdopCircleGpsPoints, GBC.eop().insets(20,0,0,0)); 145 151 146 152 // largeGpsPoints … … 276 282 int ccti=colorTypeVelocityTune.getSelectedIndex(); 277 283 Main.pref.putInteger("draw.rawgps.colorTracksTune", ccti==2 ? 10 : (ccti==1 ? 20 : 45)); 284 Main.pref.put("draw.rawgps.hdopcircle", hdopCircleGpsPoints.isSelected()); 278 285 Main.pref.put("draw.rawgps.large", largeGpsPoints.isSelected()); 279 286 Main.pref.put("draw.segment.direction", directionHint.isSelected());
Note:
See TracChangeset
for help on using the changeset viewer.