Ignore:
Timestamp:
2017-09-13T23:24:50+02:00 (2 years ago)
Author:
bastiK
Message:

see #15229 - use Config.getPref() wherever possible

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/util/WindowGeometry.java

    r12678 r12846  
    2020
    2121import org.openstreetmap.josm.Main;
     22import org.openstreetmap.josm.spi.preferences.Config;
    2223import org.openstreetmap.josm.tools.CheckParameterUtil;
    2324import org.openstreetmap.josm.tools.JosmRuntimeException;
     
    206207
    207208    protected final void initFromPreferences(String preferenceKey) throws WindowGeometryException {
    208         String value = Main.pref.get(preferenceKey);
     209        String value = Config.getPref().get(preferenceKey);
    209210        if (value.isEmpty())
    210211            throw new WindowGeometryException(
     
    275276        value.append("x=").append(topLeft.x).append(",y=").append(topLeft.y)
    276277             .append(",width=").append(extent.width).append(",height=").append(extent.height);
    277         Main.pref.put(preferenceKey, value.toString());
     278        Config.getPref().put(preferenceKey, value.toString());
    278279    }
    279280
Note: See TracChangeset for help on using the changeset viewer.