Changeset 1243 in josm


Ignore:
Timestamp:
2009-01-11T13:14:01+01:00 (13 years ago)
Author:
stoecker
Message:

restart-warn when changing mappaint colors

Location:
trunk/src/org/openstreetmap/josm
Files:
2 edited

Legend:

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

    r1224 r1243  
    230230        if(value != null && value.length() == 0)
    231231            value = null;
    232         if(!((oldvalue == null && value == null) || (value != null
    233         && oldvalue != null && oldvalue.equals(value))))
     232        if(!((oldvalue == null && (value == null || value.equals(defaults.get(key))))
     233        || (value != null && oldvalue != null && oldvalue.equals(value))))
    234234        {
    235235            if (value == null)
     
    237237            else
    238238                properties.put(key, value);
    239             String s = defaults.get(key);
    240239            save();
    241240            firePreferenceChanged(key, value);
  • trunk/src/org/openstreetmap/josm/gui/preferences/ColorPreference.java

    r1242 r1243  
    183183
    184184    public boolean ok() {
     185        Boolean ret = false;
    185186        for (int i = 0; i < colors.getRowCount(); ++i) {
    186             Main.pref.putColor((String)colors.getValueAt(i, 0), (Color)colors.getValueAt(i, 1));
     187            String key = (String)colors.getValueAt(i, 0);
     188            if(Main.pref.putColor(key, (Color)colors.getValueAt(i, 1)))
     189            {
     190                if(key.startsWith("mappaint."))
     191                    ret = true;
     192            }
    187193        }
    188194        org.openstreetmap.josm.gui.layer.OsmDataLayer.createHatchTexture();
    189         return false;
     195        return ret;
    190196    }
    191197}
Note: See TracChangeset for help on using the changeset viewer.