fix: cast this.get_options to support @types/leaflet@1.9.9

jupyter-widgets · Apr 11, 2024 · 77e7670 · 77e7670
1 parent 32e94db
commit 77e7670
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/python/jupyter_leaflet/src/layers/Circle.ts b/python/jupyter_leaflet/src/layers/Circle.ts
@@ -22,7 +22,7 @@ export class LeafletCircleView extends LeafletCircleMarkerView {
   obj: Circle;
 
   create_obj() {
-    this.obj = L.circle(this.model.get('location'), this.get_options());
+    this.obj = L.circle(this.model.get('location'), this.get_options() as L.CircleOptions);
   }
 
   model_events() {

diff --git a/python/jupyter_leaflet/src/layers/CircleMarker.ts b/python/jupyter_leaflet/src/layers/CircleMarker.ts
@@ -22,7 +22,7 @@ export class LeafletCircleMarkerView extends LeafletPathView {
   obj: CircleMarker;
 
   create_obj() {
-    this.obj = L.circleMarker(this.model.get('location'), this.get_options());
+    this.obj = L.circleMarker(this.model.get('location'), this.get_options() as L.CircleMarkerOptions);
   }
 
   model_events() {