Changeset 3317 in josm for trunk/src/org/openstreetmap/josm/data
- Timestamp:
- 2010-06-08T15:42:33+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/osm/Filter.java
r3300 r3317 15 15 public Boolean inverted = false; 16 16 public Filter() { 17 super("", SearchMode.add, false, false); 17 super("", SearchMode.add, false, false, false); 18 18 } 19 public Filter(String text, SearchMode mode, boolean caseSensitive, boolean regexSearch) { 20 super(text, mode, caseSensitive, regexSearch); 19 public Filter(String text, SearchMode mode, boolean caseSensitive, 20 boolean regexSearch, boolean allElements) { 21 super(text, mode, caseSensitive, regexSearch, allElements); 21 22 } 22 23 23 24 public Filter(String prefText){ 24 super("", SearchMode.add, false, false); 25 super("", SearchMode.add, false, false, false); 25 26 String[] prfs = prefText.split(";"); 26 27 if(prfs.length != 10 && !prfs[0].equals(version))
Note:
See TracChangeset
for help on using the changeset viewer.