Ticket #13174: patch-mapview-extract-imagery-mark-deprecation.patch

File patch-mapview-extract-imagery-mark-deprecation.patch, 4.7 KB (added by michael2402, 7 years ago)
  • src/org/openstreetmap/josm/gui/layer/AbstractTileSourceLayer.java

    diff --git a/src/org/openstreetmap/josm/gui/layer/AbstractTileSourceLayer.java b/src/org/openstreetmap/josm/gui/layer/AbstractTileSourceLayer.java
    index a3a5a10..3b389ec 100644
    a b implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    199199
    200200    @Override
    201201    public void filterChanged() {
    202         redraw();
     202        invalidate();
    203203    }
    204204
    205205    protected abstract TileLoaderFactory getTileLoaderFactory();
    implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    282282     *
    283283     * @see Main#map
    284284     * @see MapFrame#repaint()
     285     * @see #invalidate() To trigger a repaint of all places where the layer is displayed.
    285286     */
    286287    protected void redraw() {
    287288        needRedraw = true;
    implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    289290    }
    290291
    291292    @Override
     293    public void invalidate() {
     294        needRedraw = true;
     295        super.invalidate();
     296    }
     297
     298    @Override
     299    @Deprecated
    292300    public double getDx() {
    293301        return getDisplaySettings().getDx();
    294302    }
    295303
    296304    @Override
     305    @Deprecated
    297306    public double getDy() {
    298307        return getDisplaySettings().getDy();
    299308    }
    300309
    301310    @Override
     311    @Deprecated
    302312    public void displace(double dx, double dy) {
    303313        getDisplaySettings().addDisplacement(new EastNorth(dx, dy));
    304314    }
    305315
    306     /**
    307      * Marks layer as needing redraw on offset change
    308      */
    309316    @Override
     317    @Deprecated
    310318    public void setOffset(double dx, double dy) {
    311319        getDisplaySettings().setDisplacement(new EastNorth(dx, dy));
    312320    }
    implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    445453            Tile clickedTile = clickedTileHolder.getTile();
    446454            if (clickedTile != null) {
    447455                loadTile(clickedTile, true);
    448                 redraw();
     456                invalidate();
    449457            }
    450458        }
    451459    }
    implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    527535        @Override
    528536        public void actionPerformed(ActionEvent ae) {
    529537            loadAllTiles(true);
    530             redraw();
    531538        }
    532539    }
    533540
    implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    539546        @Override
    540547        public void actionPerformed(ActionEvent ae) {
    541548            loadAllErrorTiles(true);
    542             redraw();
    543549        }
    544550    }
    545551
    implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    565571        @Override
    566572        public void actionPerformed(ActionEvent ae) {
    567573            setZoomLevel(getBestZoom());
    568             redraw();
    569574        }
    570575    }
    571576
    implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    578583        @Override
    579584        public void actionPerformed(ActionEvent ae) {
    580585            increaseZoomLevel();
    581             redraw();
    582586        }
    583587    }
    584588
    implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    591595        @Override
    592596        public void actionPerformed(ActionEvent ae) {
    593597            decreaseZoomLevel();
    594             redraw();
    595598        }
    596599    }
    597600
    implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    746749        case TileSourceDisplaySettings.AUTO_ZOOM:
    747750            if (getDisplaySettings().isAutoZoom() && getBestZoom() != currentZoomLevel) {
    748751                setZoomLevel(getBestZoom());
    749                 redraw();
     752                invalidate();
    750753            }
    751754            break;
    752755        case TileSourceDisplaySettings.AUTO_LOAD:
    753756            if (getDisplaySettings().isAutoLoad()) {
    754                 redraw();
     757                invalidate();
    755758            }
    756759            break;
    757760        default:
    758761            // trigger a redraw just to be sure.
    759             redraw();
     762            invalidate();
    760763        }
    761764    }
    762765
    implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    842845        if (tileLoader instanceof TMSCachedTileLoader) {
    843846            ((TMSCachedTileLoader) tileLoader).cancelOutstandingTasks();
    844847        }
    845         needRedraw = true;
     848        invalidate();
    846849    }
    847850
    848851    protected int getMaxZoomLvl() {
    implements ImageObserver, TileLoaderListener, ZoomChangeListener, FilterChangeLi 
    10061009            return;
    10071010        }
    10081011        ts.loadAllTiles(force);
     1012        invalidate();
    10091013    }
    10101014
    10111015    protected void loadAllErrorTiles(boolean force) {
    10121016        TileSet ts = getVisibleTileSet();
    10131017        ts.loadAllErrorTiles(force);
     1018
     1019        invalidate();
    10141020    }
    10151021
    10161022    @Override