Changeset 13143 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2017-11-22T02:27:11+01:00 (6 years ago)

Author:

Don-vip

Message:

fix #13883 - statusbar is not updated when the map is moved with keyboard (ctrl + arrow keys)

Location:

trunk/src/org/openstreetmap/josm/gui

Files:

• MapView.java (modified) (1 diff)
• NavigatableComponent.java (modified) (1 diff)

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

@@ -910 +910 @@
     }
 
+    @Override
+    protected void refreshMouse() {
+        if (lastMEvent.getWhen() > 0) {
+            // This fake movement allows to keep consistent state between mouse position and hilighted primitives, status bar, etc.
+            // When the map is not moved by mouse (for example with keyboard shortcuts)
+            dispatchEvent(new MouseEvent(this, MouseEvent.MOUSE_MOVED, System.currentTimeMillis(), 0,
+                    lastMEvent.getX(), lastMEvent.getY(), 0, false));
+        }
+    }
+
     /**
      * Returns the layer manager.

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

@@ -697 +697 @@
         if (!initial) {
             repaint();
+            refreshMouse();
             fireZoomChanged();
         }
+    }
+
+    protected void refreshMouse() {
+        // To be overriden by subclasses handling mouse events
     }