Changeset 604 in josm for trunk/src/org/openstreetmap

Timestamp:

2008-04-12T11:48:54+02:00 (16 years ago)

Author:

ramack

Message:

• make gps-direction preference editable without einstein-mode (related to ticket #688)

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java (modified) (4 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java

@@ -18 +18 @@
         private JCheckBox largeGpsPoints = new JCheckBox(tr("Draw large GPS points."));
         private JCheckBox directionHint = new JCheckBox(tr("Draw Direction Arrows"));
+        private JCheckBox drawGpsArrows = new JCheckBox(tr("Draw Direction Arrows"));
         private JCheckBox interestingDirections = new JCheckBox(tr("Only interesting direction hints (e.g. with oneway tag)."));
         private JCheckBox segmentOrderNumber = new JCheckBox(tr("Draw segment order numbers"));
@@ -27 +28 @@
                 drawRawGpsLines.addActionListener(new ActionListener(){
                         public void actionPerformed(ActionEvent e) {
-                                if (!drawRawGpsLines.isSelected())
-                                        forceRawGpsLines.setSelected(false);
-                                forceRawGpsLines.setEnabled(drawRawGpsLines.isSelected());
+                            if (!drawRawGpsLines.isSelected()){
+                                forceRawGpsLines.setSelected(false);
+                                drawGpsArrows.setSelected(false);
+                            }
+                            forceRawGpsLines.setEnabled(drawRawGpsLines.isSelected());
+                            drawGpsArrows.setEnabled(drawRawGpsLines.isSelected());
                         }
                 });
@@ -41 +45 @@
                 forceRawGpsLines.setEnabled(drawRawGpsLines.isSelected());
                 gui.display.add(forceRawGpsLines, GBC.eop().insets(40,0,0,0));
+                
+                // drawGpsArrows
+                drawGpsArrows.setToolTipText(tr("Draw direction arrows for lines, connecting GPS points."));
+                drawGpsArrows.setSelected(Main.pref.getBoolean("draw.rawgps.direction"));
+                drawGpsArrows.setEnabled(drawRawGpsLines.isSelected());
+                gui.display.add(drawGpsArrows, GBC.eop().insets(40,0,0,0));
                 
                 // largeGpsPoints
@@ -87 +97 @@
                 Main.pref.put("draw.rawgps.lines", drawRawGpsLines.isSelected());
                 Main.pref.put("draw.rawgps.lines.force", forceRawGpsLines.isSelected());
+                Main.pref.put("draw.rawgps.direction", drawGpsArrows.isSelected());
                 Main.pref.put("draw.rawgps.large", largeGpsPoints.isSelected());
                 Main.pref.put("draw.segment.direction", directionHint.isSelected());