Ticket #3222: 2.diff

File 2.diff, 4.7 KB (added by sbrunner, 16 years ago)

Just a little change (readd space !)

  • src/org/openstreetmap/josm/gui/layer/GpxLayer.java

     
    439439        }
    440440        // paint large dots for points
    441441        boolean large = Main.pref.getBoolean("draw.rawgps.large");
     442        boolean hdopcircle = Main.pref.getBoolean("draw.rawgps.hdopcircle", true);
    442443        // color the lines
    443444        colorModes colored = colorModes.none;
    444445        try {
     
    631632            } // end for trk
    632633        } // end if lines
    633634
     635
    634636        /****************************************************************
    635          ********** STEP 3d - DRAW LARGE POINTS *************************
     637         ********** STEP 3d - DRAW LARGE POINTS AND HDOP CIRCLE *********
    636638         ****************************************************************/
    637         if (large) {
     639        if (large || hdopcircle) {
    638640            g.setColor(neutralColor);
    639641            for (GpxTrack trk : data.tracks) {
    640642                for (Collection<WayPoint> segment : trk.trackSegs) {
     
    645647                        }
    646648                        Point screen = mv.getPoint(trkPnt.getEastNorth());
    647649                        g.setColor(trkPnt.customColoring);
    648                         g.fillRect(screen.x - 1, screen.y - 1, 3, 3);
     650                        if (hdopcircle && trkPnt.attr.get("hdop") != null) {
     651                            // hdop value
     652                            float hdop = ((Float)trkPnt.attr.get("hdop")).floatValue();
     653                            if (hdop < 0) {
     654                                hdop = 0;
     655                            }
     656                            // hdop pixels
     657                            int hdopp = mv.getPoint(new LatLon(trkPnt.getCoor().lat(), trkPnt.getCoor().lon() + 2*6*hdop*360/40000000)).x - screen.x;
     658                            g.drawArc(screen.x-hdopp/2, screen.y-hdopp/2, hdopp, hdopp, 0, 360);
     659                        }
     660                        if (large) {
     661                            g.fillRect(screen.x-1, screen.y-1, 3, 3);
     662                        }
    649663                    } // end for trkpnt
    650664                } // end for segment
    651665            } // end for trk
    652         } // end if large
     666        } // end if large || hdopcircle
    653667
    654668        /****************************************************************
    655669         ********** STEP 3e - DRAW SMALL POINTS FOR LINES ***************
  • src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java

     
    4141    private JTextField drawRawGpsMaxLineLengthLocal = new JTextField(8);
    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)"));
    4647    private JRadioButton colorTypeDilution = new JRadioButton(tr("Dilution of Position (red = high, green = low, if available)"));
     
    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));
    145146
     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));
     151
    146152        // largeGpsPoints
    147153        largeGpsPoints.setSelected(Main.pref.getBoolean("draw.rawgps.large", false));
    148154        largeGpsPoints.setToolTipText(tr("Draw larger dots for the GPS points."));
     
    275281            Main.pref.putInteger("draw.rawgps.colors", 0);
    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());
    280287        Main.pref.put("draw.segment.relevant_directions_only", interestingDirections.isSelected());