Changeset 955 in josm for trunk

Timestamp:

2008-09-13T21:25:23+02:00 (16 years ago)

Author:

stoecker

Message:

increase virtual node size a bit again

Location:

trunk/src/org/openstreetmap/josm

Files:

• actions/mapmode/SelectAction.java (modified) (2 diffs)
• data/osm/visitor/SimplePaintVisitor.java (modified) (1 diff)
• gui/preferences/DrawingPreference.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/actions/mapmode/SelectAction.java

@@ -120 +120 @@
                 Main.map.mapView.addMouseMotionListener(this);
                 Main.map.mapView.enableVirtualNodes(
-                Main.pref.getInteger("mappaint.node.virtual-size", 6) != 0);
+                Main.pref.getInteger("mappaint.node.virtual-size", 8) != 0);
         }
 
@@ -239 +239 @@
                         {
                                 osm = nearestWaySeg.way;
-                                if(Main.pref.getInteger("mappaint.node.virtual-size", 6) > 0)
+                                if(Main.pref.getInteger("mappaint.node.virtual-size", 8) > 0)
                                 {
                                         Way w = (Way)osm;

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

@@ -108 +108 @@
                 fillSelectedNode = Main.pref.getBoolean("mappaint.node.fill-selected", true);
                 fillUnselectedNode = Main.pref.getBoolean("mappaint.node.fill-unselected", false);
-                virtualNodeSize = virtual ? Main.pref.getInteger("mappaint.node.virtual-size", 6) / 2 : 0;
+                virtualNodeSize = virtual ? Main.pref.getInteger("mappaint.node.virtual-size", 8) / 2 : 0;
                 virtualNodeSpace = Main.pref.getInteger("mappaint.node.virtual-space", 70);
                 segmentNumberSpace = Main.pref.getInteger("mappaint.segmentnumber.space", 40);

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

@@ -125 +125 @@
                 // virtual nodes
                 virtualNodes.setToolTipText(tr("Draw virtual nodes in select mode for easy way modification."));
-                virtualNodes.setSelected(Main.pref.getInteger("mappaint.node.virtual-size", 6) != 0);
+                virtualNodes.setSelected(Main.pref.getInteger("mappaint.node.virtual-size", 8) != 0);
                 gui.display.add(virtualNodes, GBC.eop().insets(20,0,0,0));
 
@@ -148 +148 @@
                 Main.pref.put("draw.data.inactive_color", inactive.isSelected());
                 Main.pref.put("mappaint.use-antialiasing", useAntialiasing.isSelected());
-                int vn = Main.pref.getInteger("mappaint.node.virtual-size", 6);
-                if(virtualNodes.isSelected()) { if (vn < 1) vn = 6; }
+                int vn = Main.pref.getInteger("mappaint.node.virtual-size", 8);
+                if(virtualNodes.isSelected()) { if (vn < 1) vn = 8; }
                 else { vn = 0; }
                 Main.pref.put("mappaint.node.virtual-size", Integer.toString(vn));