Changeset 15481 in josm

Timestamp:

2019-10-29T14:44:30+01:00 (5 years ago)

Author:

stoecker

Message:

prevent overlong scroll sessions

File:

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

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

@@ -739 +739 @@
      */
     public void smoothScrollTo(EastNorth newCenter) {
-        // FIXME make these configurable.
-        final int fps = 20;     // animation frames per second
-        final int speed = 1500; // milliseconds for full-screen-width pan
         final EastNorth oldCenter = getCenter();
         if (!newCenter.equals(oldCenter)) {
+            final int fps = Config.getPref().getInt("smooth.scroll.fps", 20);     // animation frames per second
+            final int speed = Config.getPref().getInt("smooth.scroll.speed", 1500); // milliseconds for full-screen-width pan
+            final int maxtime = Config.getPref().getInt("smooth.scroll.maxtime", 5000); // milliseconds maximum scroll time
             final double distance = newCenter.distance(oldCenter) / getScale();
             final double milliseconds = distance / getWidth() * speed;
+            if (milliseconds > maxtime) { // prevent overlong scroll time, speed up if necessary
+                milliseconds = maxtime;
+            }
             final double frames = milliseconds * fps / 1000;
             final EastNorth finalNewCenter = newCenter;
@@ -753 +756 @@
                 public void run() {
                     for (int i = 0; i < frames; i++) {
-                        // FIXME - not use zoom history here
+                        // FIXME - do not use zoom history here
                         zoomTo(oldCenter.interpolate(finalNewCenter, (i+1) / frames));
                         try {