Changeset 2760 in josm for trunk/src

Timestamp:

2010-01-07T19:55:30+01:00 (14 years ago)

Author:

mjulius

Message:

fixes #4308 - zoom undo buffer size limited to 50 by default

File:

• trunk/src/org/openstreetmap/josm/gui/NavigatableComponent.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/NavigatableComponent.java

@@ -387 +387 @@
     private void pushZoomUndo(EastNorth center, double scale) {
         Date now = new Date();
-        if ((now.getTime() - zoomTimestamp.getTime()) > (Main.pref.getDouble("zoom.delay", 1.0) * 1000)) {
+        if ((now.getTime() - zoomTimestamp.getTime()) > (Main.pref.getDouble("zoom.undo.delay", 1.0) * 1000)) {
             zoomUndoBuffer.push(new ZoomData(center, scale));
+            if (zoomUndoBuffer.size() > Main.pref.getInteger("zoom.undo.max", 50)) {
+                zoomUndoBuffer.poll();
+            }
             zoomRedoBuffer.clear();
         }