Ignore:
Timestamp:
2009-09-12T18:22:41+02:00 (15 years ago)
Author:
Gubaer
Message:

applied #3222: patch by sbrunner: better HDOP visualisation

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java

    r1742 r2105  
    4242    private JCheckBox forceRawGpsLines = new JCheckBox(tr("Force lines if no segments imported."));
    4343    private JCheckBox largeGpsPoints = new JCheckBox(tr("Draw large GPS points."));
     44    private JCheckBox hdopCircleGpsPoints = new JCheckBox(tr("Draw a circle form HDOP value."));
    4445    private ButtonGroup colorGroup;
    4546    private JRadioButton colorTypeVelocity = new JRadioButton(tr("Velocity (red = slow, green = fast)"));
     
    143144        panel.add(new JLabel(tr("Minimum distance (pixels)")), GBC.std().insets(60,0,0,0));
    144145        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));
    145151
    146152        // largeGpsPoints
     
    276282        int ccti=colorTypeVelocityTune.getSelectedIndex();
    277283        Main.pref.putInteger("draw.rawgps.colorTracksTune", ccti==2 ? 10 : (ccti==1 ? 20 : 45));
     284        Main.pref.put("draw.rawgps.hdopcircle", hdopCircleGpsPoints.isSelected());
    278285        Main.pref.put("draw.rawgps.large", largeGpsPoints.isSelected());
    279286        Main.pref.put("draw.segment.direction", directionHint.isSelected());
Note: See TracChangeset for help on using the changeset viewer.