Changeset 12576 in osm for applications/editors/josm/plugins/validator/src/org

Timestamp:

2008-12-25T14:26:40+01:00 (16 years ago)

Author:

stoecker

Message:

updated

File:

• applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/PreferenceEditor.java (modified) (2 diffs)

applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/PreferenceEditor.java

@@ -98 +98 @@
         }
 
-        public void ok()
+        public boolean ok()
         {
                 StringBuilder tests = new StringBuilder();
@@ -120 +120 @@
                 Main.pref.put( PREF_USE_IGNORE, prefUseIgnore.isSelected());
                 Main.pref.put( PREF_LAYER, prefUseLayer.isSelected());
+                return false;
         }
 }