更改多边形编辑点大小-传单

Question

在编辑模式下如何更改多边形编辑点的大小。这就是我尝试过的。

gst-launch-1.0 -e -v tcpclientsrc host=192.168.43.7 port=6002 ! gdpdepay ! queue ! rtph264depay ! tee name =t ! avdec_h264 ! videoconvert ! autovideosink sync=false t. ! queue ! h264parse ! mp4mux ! filesink location=file.mp4

---

this.polyOptions = {
  allowIntersection: false,
  repeatMode: false,
  drawError: {
    color: '#b00b00',
    timeout: 2500
  },
  icon: new L.DivIcon({
    iconSize: new L.Point(10, 10),
    className: 'leaflet-div-icon leaflet-editing-icon'
  }),
  touchIcon: new L.DivIcon({
    iconSize: new L.Point(10, 10),
    className: 'leaflet-div-icon leaflet-editing-icon leaflet-touch-icon'
  }),
  guidelineDistance: 20,
  maxGuideLineLength: 4000,
  shapeOptions: {
    stroke: true,
    color: '#7EE6D1',
    weight: 4,
    opacity: 0.8,
    fill: true,
    clickable: true
  },
  metric: false, // Whether to use the metric measurement system or imperial
  feet: false, // When not metric, to use feet instead of yards for display.
  showLength: false, // Whether to display distance in the tooltip
  zIndexOffset: 2000 // This should be > than the highest z-index any map layers
};

我已附上屏幕截图