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/CollectionProperty.java

    r12999 r13002  
    44import java.util.ArrayList;
    55import java.util.Collection;
    6 
    7 import org.openstreetmap.josm.Main;
    86
    97/**
     
    2119    public CollectionProperty(String key, Collection<String> defaultValue) {
    2220        super(key, defaultValue);
    23         if (Main.pref != null) {
     21        if (getPreferences() != null) {
    2422            get();
    2523        }
Note: See TracChangeset for help on using the changeset viewer.