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

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

Hide file tree

Showing 2 changed files with 8 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,10 @@ 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,10 @@ 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() {