Changeset 181 in josm for src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java

Timestamp:

2006-12-31T16:36:27+01:00 (19 years ago)

Author:

imi

Message:

• added select all / unselect all actions
• added option to display the segment order number of a segment
• fixed freeze when holding down middle button and moving mouse too fast
• added warning when user deletes a layer

File:

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

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

@@ -17 +17 @@
         private JCheckBox largeGpsPoints = new JCheckBox(tr("Draw large GPS points."));
         private JCheckBox directionHint = new JCheckBox(tr("Draw Direction Arrows"));
+        private JCheckBox segmentOrderNumber = new JCheckBox(tr("Draw segment order numbers"));
 
         public void addGui(PreferenceDialog gui) {
@@ -46 +47 @@
                 directionHint.setSelected(Main.pref.getBoolean("draw.segment.direction"));
                 gui.display.add(directionHint, GBC.eop().insets(20,0,0,0));
+                
+                // segment order number
+                segmentOrderNumber.setToolTipText(tr("Draw the order numbers of all segments within their way."));
+                segmentOrderNumber.setSelected(Main.pref.getBoolean("draw.segment.order_number"));
+                gui.display.add(segmentOrderNumber, GBC.eop().insets(20,0,0,0));
         }
 
@@ -53 +59 @@
                 Main.pref.put("draw.rawgps.large", largeGpsPoints.isSelected());
                 Main.pref.put("draw.segment.direction", directionHint.isSelected());
+                Main.pref.put("draw.segment.order_number", segmentOrderNumber.isSelected());
     }
 }