在osmdroid中设置多边形的缩放

import org.osmdroid.api.IMapController;
import org.osmdroid.util.GeoPoint;
import org.osmdroid.views.MapView;
import org.osmdroid.views.overlay.Polygon;
import org.osmdroid.views.overlay.PolygonOverlayWithHoles;

public class MainActivity extends AppCompatActivity {
    private MapView mapView;

    @Override
    protected void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.activity_main);

        // 获取MapView实例
        mapView = findViewById(R.id.mapView);
        mapView.setTileSource(TileSourceFactory.MAPNIK);

        // 创建多边形对象
        Polygon polygon = new Polygon();

        // 设置多边形的坐标点
        ArrayList<GeoPoint> points = new ArrayList<>();
        points.add(new GeoPoint(39.9, 116.4));
        points.add(new GeoPoint(39.9, 116.5));
        points.add(new GeoPoint(39.8, 116.5));
        points.add(new GeoPoint(39.8, 116.4));
        polygon.setPoints(points);

        // 设置多边形的样式
        polygon.setFillColor(Color.parseColor("#80FF0000")); // 填充颜色为红色，透明度为50%
        polygon.setStrokeColor(Color.RED); // 边框颜色为红色
        polygon.setStrokeWidth(2); // 边框宽度为2

        // 添加多边形到MapView
        mapView.getOverlayManager().add(polygon);

        // 设置地图的缩放级别
        IMapController mapController = mapView.getController();
        mapController.setZoom(10);
    }
}