Ticket #14003: 14003.patch

src/org/openstreetmap/josm/actions/mapmode/SelectAction.java

@@ -466 +466 @@
             mouseDragged(e);
             return;
         }
+        boolean tooFast = false;
+        if (oldEvent != null) {
+            double dp = oldEvent.getPoint().distance(e.getX(), e.getY());
+            long dt = e.getWhen() - oldEvent.getWhen();
+            if (dp > 100 || dt > 100 || (dt > 0 && dp / dt > 1)) {
+                tooFast = true;
+                Logging.error("no redraw for fast mouse move: {0} {1}", dt, dp);
+            }
+        }
         oldEvent = e;
-        if (giveUserFeedback(e)) {
+        if (!tooFast && giveUserFeedback(e)) {
             mv.repaint();
         }
     }
@@ -540 +549 @@
             int dp = (int) lastMousePos.distance(e.getX(), e.getY());
             if (dp < initialMoveThreshold)
                 return; // ignore small drags
-            initialMoveThresholdExceeded = true; //no more ingnoring uintil nex mouse press
+            initialMoveThresholdExceeded = true; //no more ignoring until next mouse press
         }
         if (e.getPoint().equals(lastMousePos))
             return;
@@ -566 +575 @@
         if (removeHighlighting()) {
             mv.repaint();
         }
+        oldEvent = null;
     }
 
     @Override