Tiles Scaled To Dpi on high DPI sources

In current implementation if we have high DPI sources with 512px tiles

private void updateTileSizeForDensity(final ITileSource aTileSource) {
	float density = isTilesScaledToDpi() ? getResources().getDisplayMetrics().density : 1;
	TileSystem.setTileSize((int) (aTileSource.getTileSizePixels() * density));
}

produce wrong value for tile size. For devices with 3x density tile size become 1536 (512 *3) my solution is this

private void updateTileSizeForDensity(final ITileSource aTileSource) {
        int tile_size = aTileSource.getTileSizePixels();
        float density =  getResources().getDisplayMetrics().density * 256 / tile_size ;
        int size = (int) ( tile_size * (isTilesScaledToDpi() ? density : 1));
        TileSystem.setTileSize(size);
}

[wolojoli]

This is even shorter ’ private void updateTileSizeForDensity(final ITileSource aTileSource) { int size = (int) ( isTilesScaledToDpi() ? getResources().getDisplayMetrics().density * 256 :aTileSource.getTileSizePixels()); TileSystem.setTileSize(size); } ’

[sandman7920]

But if isTilesScaledToDpi() returns false aTileSource.getTileSizePixels() must be used