Changeset 14150 in josm

Timestamp:

2018-08-12T17:26:01+02:00 (6 years ago)

Author:

Don-vip

Message:

see #15229 - make sure Main.pref has the correct global value

File:

• trunk/src/org/openstreetmap/josm/Main.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/Main.java

@@ -10 +10 @@
 import org.openstreetmap.josm.data.UndoRedoHandler;
 import org.openstreetmap.josm.data.osm.IOsmDataManager;
-import org.openstreetmap.josm.data.preferences.JosmBaseDirectories;
 import org.openstreetmap.josm.data.projection.Projection;
 import org.openstreetmap.josm.data.projection.ProjectionChangeListener;
@@ -46 +45 @@
      */
     @Deprecated
-    public static final Preferences pref = new Preferences(JosmBaseDirectories.getInstance());
+    public static final Preferences pref = Preferences.main();
 
     /**