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

Timestamp:

2010-01-01T12:54:04+01:00 (14 years ago)

Author:

stoecker

Message:

fixed #4278 - nagging warnings

Location:

trunk/src/org/openstreetmap/josm/data/osm/visitor/paint

Files:

• MapPaintSettings.java (modified) (1 diff)
• SimplePaintVisitor.java (modified) (1 diff)

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

@@ -55 +55 @@
         showIconsDistance = Main.pref.getInteger("mappaint.showicons", 10000000);
 
-        selectedNodeSize = Main.pref.getInteger("mappaint.node.selected-size", 4);
-        unselectedNodeSize = Main.pref.getInteger("mappaint.node.unselected-size", 2);
-        taggedNodeSize = Main.pref.getInteger("mappaint.node.tagged-size", 4);
+        selectedNodeSize = Main.pref.getInteger("mappaint.node.selected-size", 6);
+        unselectedNodeSize = Main.pref.getInteger("mappaint.node.unselected-size", 4);
+        taggedNodeSize = Main.pref.getInteger("mappaint.node.tagged-size", 6);
         fillSelectedNode = Main.pref.getBoolean("mappaint.node.fill-selected", true);
         fillUnselectedNode = Main.pref.getBoolean("mappaint.node.fill-unselected", false);

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

@@ -100 +100 @@
         showHeadArrowOnly = Main.pref.getBoolean("draw.segment.head_only", false);
         showOrderNumber = Main.pref.getBoolean("draw.segment.order_number", false);
-        selectedNodeRadius = Main.pref.getInteger("mappaint.node.selected-size", 5) / 2;
-        selectedNodeSize = selectedNodeRadius * 2;
-        unselectedNodeRadius = Main.pref.getInteger("mappaint.node.unselected-size", 3) / 2;
-        unselectedNodeSize = unselectedNodeRadius * 2;
-        taggedNodeRadius = Main.pref.getInteger("mappaint.node.tagged-size", 5) / 2;
-        taggedNodeSize = taggedNodeRadius * 2;
+        selectedNodeSize = Main.pref.getInteger("mappaint.node.selected-size", 6);
+        selectedNodeRadius = selectedNodeSize / 2;
+        unselectedNodeSize = Main.pref.getInteger("mappaint.node.unselected-size", 4);
+        unselectedNodeRadius = unselectedNodeSize / 2;
+        taggedNodeSize = Main.pref.getInteger("mappaint.node.tagged-size", 6);
+        taggedNodeRadius = taggedNodeSize / 2;
         defaultSegmentWidth = Main.pref.getInteger("mappaint.segment.default-width", 2);
         fillSelectedNode = Main.pref.getBoolean("mappaint.node.fill-selected", true);