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

Timestamp:

2010-01-01T15:18:45+01:00 (15 years ago)

Author:

stoecker

Message:

close #4279 - use previous node size defaults

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", 6);
-        unselectedNodeSize = Main.pref.getInteger("mappaint.node.unselected-size", 4);
-        taggedNodeSize = Main.pref.getInteger("mappaint.node.tagged-size", 6);
+        selectedNodeSize = Main.pref.getInteger("mappaint.node.selected-size", 5);
+        unselectedNodeSize = Main.pref.getInteger("mappaint.node.unselected-size", 3);
+        taggedNodeSize = Main.pref.getInteger("mappaint.node.tagged-size", 5);
         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);
-        selectedNodeSize = Main.pref.getInteger("mappaint.node.selected-size", 6);
+        selectedNodeSize = Main.pref.getInteger("mappaint.node.selected-size", 5);
         selectedNodeRadius = selectedNodeSize / 2;
-        unselectedNodeSize = Main.pref.getInteger("mappaint.node.unselected-size", 4);
+        unselectedNodeSize = Main.pref.getInteger("mappaint.node.unselected-size", 3);
         unselectedNodeRadius = unselectedNodeSize / 2;
-        taggedNodeSize = Main.pref.getInteger("mappaint.node.tagged-size", 6);
+        taggedNodeSize = Main.pref.getInteger("mappaint.node.tagged-size", 5);
         taggedNodeRadius = taggedNodeSize / 2;
         defaultSegmentWidth = Main.pref.getInteger("mappaint.segment.default-width", 2);