Changeset 12576 in osm

Timestamp:

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

Author:

stoecker

Message:

updated

Location:

applications/editors/josm/plugins/validator

Files:

• build.xml (modified) (1 diff)
• src/org/openstreetmap/josm/plugins/validator/PreferenceEditor.java (modified) (2 diffs)

applications/editors/josm/plugins/validator/build.xml

@@ -42 +42 @@
         <attribute name="Plugin-Description" value="A OSM data validator"/>
         <attribute name="Plugin-Version" value="${version.entry.commit.revision}"/>
-        <attribute name="Plugin-Mainversion" value="1065"/>
+        <attribute name="Plugin-Mainversion" value="1179"/>
         <attribute name="Plugin-Date" value="${version.entry.commit.date}"/>
         <attribute name="Author" value="Francisco R. Santos"/>

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;
         }
 }