Ignore:
Timestamp:
2010-12-16T18:20:22+01:00 (13 years ago)
Author:
bastiK
Message:

improve migration when remotecontrol plugin is removed (set remotecontol.enabled=yes) (see also #5748)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/data/preferences/StringProperty.java

    r3720 r3730  
    44import org.openstreetmap.josm.Main;
    55
    6 public class StringProperty {
     6public class StringProperty extends AbstractProperty {
    77
    8     private final String key;
    9     private final String defaultValue;
     8    protected final String defaultValue;
    109
    1110    public StringProperty(String key, String defaultValue) {
    12         this.key = key;
     11        super(key);
    1312        this.defaultValue = defaultValue;
    1413    }
     
    2221    }
    2322
    24     public String getKey() {
    25         return key;
    26     }
    27 
    2823    public String getDefaultValue() {
    2924        return defaultValue;
Note: See TracChangeset for help on using the changeset viewer.