Ignore:
Timestamp:
2017-10-15T19:27:02+02:00 (7 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/ListProperty.java

    r12840 r13002  
    33
    44import java.util.List;
    5 
    6 import org.openstreetmap.josm.Main;
    75
    86/**
     
    1816    public ListProperty(String key, List<String> defaultValue) {
    1917        super(key, defaultValue);
    20         if (Main.pref != null) {
     18        if (getPreferences() != null) {
    2119            get();
    2220        }
Note: See TracChangeset for help on using the changeset viewer.