Ignore:
Timestamp:
2017-10-15T19:27:02+02:00 (9 years ago)
Author:
bastiK
Message:

see #15229 - remove some uses of Main.pref

File:
1 edited

Legend:

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

    r9743 r13002  
    22package org.openstreetmap.josm.data.preferences;
    33
    4 import org.openstreetmap.josm.Main;
     4import org.openstreetmap.josm.spi.preferences.Config;
    55
    66/**
     
    2323        super(enumClass, defaultValue);
    2424        this.key = key;
    25         if (Main.pref != null) {
     25        if (Config.getPref() != null) {
    2626            get();
    2727        }
Note: See TracChangeset for help on using the changeset viewer.