Changeset 13002 in josm for trunk/src/org/openstreetmap


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

see #15229 - remove some uses of Main.pref

Location:
trunk/src/org/openstreetmap/josm/data/preferences
Files:
4 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        }
  • 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        }
  • trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java

    r10824 r13002  
    11// License: GPL. For details, see LICENSE file.
    22package org.openstreetmap.josm.data.preferences;
    3 
    4 import org.openstreetmap.josm.Main;
    53
    64/**
     
    1715    public IntegerProperty(String key, int defaultValue) {
    1816        super(key, defaultValue);
    19         if (Main.pref != null) {
     17        if (getPreferences() != null) {
    2018            get();
    2119        }
  • 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.