Changeset 955 in josm
- Timestamp:
- 2008-09-13T21:25:23+02:00 (16 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/mapmode/SelectAction.java
r950 r955 120 120 Main.map.mapView.addMouseMotionListener(this); 121 121 Main.map.mapView.enableVirtualNodes( 122 Main.pref.getInteger("mappaint.node.virtual-size", 6) != 0);122 Main.pref.getInteger("mappaint.node.virtual-size", 8) != 0); 123 123 } 124 124 … … 239 239 { 240 240 osm = nearestWaySeg.way; 241 if(Main.pref.getInteger("mappaint.node.virtual-size", 6) > 0)241 if(Main.pref.getInteger("mappaint.node.virtual-size", 8) > 0) 242 242 { 243 243 Way w = (Way)osm; -
trunk/src/org/openstreetmap/josm/data/osm/visitor/SimplePaintVisitor.java
r950 r955 108 108 fillSelectedNode = Main.pref.getBoolean("mappaint.node.fill-selected", true); 109 109 fillUnselectedNode = Main.pref.getBoolean("mappaint.node.fill-unselected", false); 110 virtualNodeSize = virtual ? Main.pref.getInteger("mappaint.node.virtual-size", 6) / 2 : 0;110 virtualNodeSize = virtual ? Main.pref.getInteger("mappaint.node.virtual-size", 8) / 2 : 0; 111 111 virtualNodeSpace = Main.pref.getInteger("mappaint.node.virtual-space", 70); 112 112 segmentNumberSpace = Main.pref.getInteger("mappaint.segmentnumber.space", 40); -
trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java
r953 r955 125 125 // virtual nodes 126 126 virtualNodes.setToolTipText(tr("Draw virtual nodes in select mode for easy way modification.")); 127 virtualNodes.setSelected(Main.pref.getInteger("mappaint.node.virtual-size", 6) != 0);127 virtualNodes.setSelected(Main.pref.getInteger("mappaint.node.virtual-size", 8) != 0); 128 128 gui.display.add(virtualNodes, GBC.eop().insets(20,0,0,0)); 129 129 … … 148 148 Main.pref.put("draw.data.inactive_color", inactive.isSelected()); 149 149 Main.pref.put("mappaint.use-antialiasing", useAntialiasing.isSelected()); 150 int vn = Main.pref.getInteger("mappaint.node.virtual-size", 6);151 if(virtualNodes.isSelected()) { if (vn < 1) vn = 6; }150 int vn = Main.pref.getInteger("mappaint.node.virtual-size", 8); 151 if(virtualNodes.isSelected()) { if (vn < 1) vn = 8; } 152 152 else { vn = 0; } 153 153 Main.pref.put("mappaint.node.virtual-size", Integer.toString(vn));
Note:
See TracChangeset
for help on using the changeset viewer.