Changeset 3300 in josm for trunk/src/org/openstreetmap/josm/data/osm/Filter.java

Timestamp:

2010-06-03T09:19:19+02:00 (14 years ago)

Author:

bastiK

Message:

see #4998 - Impossible to select nodes with filter

File:

• trunk/src/org/openstreetmap/josm/data/osm/Filter.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/data/osm/Filter.java

@@ -12 +12 @@
 
     public Boolean enable = true;
-    public Boolean hide = false;
+    public Boolean hiding = false;
     public Boolean inverted = false;
-    public Boolean applyForChildren = true;
     public Filter() {
         super("", SearchMode.add, false, false);
@@ -43 +42 @@
         regexSearch = Boolean.parseBoolean(prfs[4]);
         enable = Boolean.parseBoolean(prfs[6]);
-        hide = Boolean.parseBoolean(prfs[7]);
+        hiding = Boolean.parseBoolean(prfs[7]);
         inverted = Boolean.parseBoolean(prfs[8]);
-        applyForChildren = Boolean.parseBoolean(prfs[9]);
-
     }
 
     public String getPrefString(){
         return version + ";" +
-        text + ";" + mode + ";" + caseSensitive + ";" + regexSearch + ";" +
-        "legacy" + ";" + enable + ";" + hide + ";" +
-        inverted + ";" + applyForChildren;
+            text + ";" + mode + ";" + caseSensitive + ";" + regexSearch + ";" +
+            "legacy" + ";" + enable + ";" + hiding + ";" +
+            inverted + ";" +
+            "false"; // last parameter is not used any more (was: applyForChildren)
     }
 }