Changeset 391 in josm


Ignore:
Timestamp:
2007-10-15T19:16:10+02:00 (14 years ago)
Author:
gebner
Message:

Fix build for JDK 1.5.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/MapMover.java

    r382 r391  
    9393         * If the right (and only the right) mouse button is pressed, move the map
    9494         */
    95         @Override public void mouseDragged(MouseEvent e) {
     95        public void mouseDragged(MouseEvent e) {
    9696                int offMask = MouseEvent.BUTTON1_DOWN_MASK | MouseEvent.BUTTON2_DOWN_MASK;
    9797                if ((e.getModifiersEx() & (MouseEvent.BUTTON3_DOWN_MASK | offMask)) == MouseEvent.BUTTON3_DOWN_MASK) {
     
    158158         * @param e The wheel event.
    159159         */
    160         @Override public void mouseWheelMoved(MouseWheelEvent e) {
     160        public void mouseWheelMoved(MouseWheelEvent e) {
    161161                int w = nc.getWidth();
    162162                int h = nc.getHeight();
     
    177177         * Does nothing. Only to satisfy MouseMotionListener
    178178         */
    179         @Override public void mouseMoved(MouseEvent e) {}
     179        public void mouseMoved(MouseEvent e) {}
    180180}
Note: See TracChangeset for help on using the changeset viewer.