Changeset 1180 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java

Timestamp:

2008-12-25T18:58:04+01:00 (15 years ago)

Author:

stoecker

Message:

fixed bug #1871, removed all deprecations

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java (modified) (2 diffs)

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

@@ -166 +166 @@
     }
 
-    public void ok() {
+    public boolean ok() {
         Main.pref.put("draw.rawgps.lines", drawRawGpsLines.isSelected());
         Main.pref.put("draw.rawgps.max-line-length", drawRawGpsMaxLineLength.getText());
@@ -184 +184 @@
         if(virtualNodes.isSelected()) { if (vn < 1) vn = 8; }
         else { vn = 0; }
-        Main.pref.put("mappaint.node.virtual-size", Integer.toString(vn));
+        Main.pref.putInteger("mappaint.node.virtual-size", vn);
+        return false;
     }
 }