Changeset 5426 in josm for trunk/src/org/openstreetmap/josm/data/osm

Timestamp:

2012-08-11T20:57:23+02:00 (12 years ago)

Author:

stoecker

Message:

fix #7950 - broken build

File:

• trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/MapPaintSettings.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/MapPaintSettings.java

@@ -17 +17 @@
     /** Preference: should arrows for oneways be displayed */
     private boolean showOnewayArrow;
+    private int defaultSegmentWidth;
     /** Preference: should the segement numbers of ways be displayed */
     private boolean showOrderNumber;
@@ -66 +67 @@
         showOnewayArrow = Main.pref.getBoolean("draw.oneway", true);
         useRealWidth = Main.pref.getBoolean("mappaint.useRealWidth", false);
+        defaultSegmentWidth = Main.pref.getInteger("mappaint.segment.default-width", 2);
 
         selectedColor = PaintColors.SELECTED.get();
@@ -121 +123 @@
     }
 
+    public int getDefaultSegmentWidth() {
+        return defaultSegmentWidth;
+    }
+
     public Color getSelectedColor(int alpha) {
         return new Color(selectedColor.getRGB() & 0x00ffffff | (alpha << 24), true);