Changeset 12846 in josm for trunk/src/org/openstreetmap/josm/data/UndoRedoHandler.java

Timestamp:

2017-09-13T23:24:50+02:00 (7 years ago)

Author:

bastiK

Message:

see #15229 - use Config.getPref() wherever possible

File:

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

trunk/src/org/openstreetmap/josm/data/UndoRedoHandler.java

@@ -11 +11 @@
 import org.openstreetmap.josm.data.osm.DataSet;
 import org.openstreetmap.josm.data.osm.OsmPrimitive;
+import org.openstreetmap.josm.spi.preferences.Config;
 import org.openstreetmap.josm.tools.CheckParameterUtil;
 
@@ -74 +75 @@
         // Currently you have to undo the commands one by one. If
         // this changes, a higher default value may be reasonable.
-        if (commands.size() > Main.pref.getInt("undo.max", 1000)) {
+        if (commands.size() > Config.getPref().getInt("undo.max", 1000)) {
             commands.removeFirst();
         }