Ignore:
Timestamp:
2007-08-14T14:54:51+02:00 (17 years ago)
Author:
frsantos
Message:

Preferences prefix moved from "tests" to "validator".

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/util/Util.java

    r4026 r4122  
    1616import org.openstreetmap.josm.data.osm.Way;
    1717import org.openstreetmap.josm.plugins.*;
     18import org.openstreetmap.josm.plugins.validator.PreferenceEditor;
    1819import org.openstreetmap.josm.tools.ImageProvider;
    1920
     
    162163            return new File(url.toString() ) ;
    163164       
    164         String localPath = Main.pref.get("tests.mirror." + url);
     165        String localPath = Main.pref.get( PreferenceEditor.PREFIX + ".mirror." + url);
    165166        File oldFile = null;
    166167        if( localPath != null && localPath.length() > 0)
     
    225226        }
    226227       
    227         Main.pref.put("tests.mirror." + url, System.currentTimeMillis() + ";" + localPath);
     228        Main.pref.put( PreferenceEditor.PREFIX + ".mirror." + url, System.currentTimeMillis() + ";" + localPath);
    228229       
    229230        if( oldFile != null )
Note: See TracChangeset for help on using the changeset viewer.