fix: cast this.get_options to support @types/[email protected] (#1186)

Author: iisakkirotko

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() {

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() {