Errors when `@jupyterlab/geojson-extension` and `jupyter-leaflet` are both enabled

[Kirill888]

Not sure where to report this issue as it is an interaction between

@jupyterlab/geojson-extension v0.18.1
jupyter-leaflet v0.10.1

using:

jupyter-lab --version is 0.35.4

Individually both extensions work so long as the other one is disabled (I'm disabling at user level), but if both are enabled none work. They break with different error messages to the javascript console.

I'm not trying to use both in one notebook, separate notebooks

• Test notebook for GeoJSON

from IPython.display import GeoJSON
GeoJSON({
    "type": "Feature",
    "geometry": {
        "type": "Point",
        "coordinates": [-118.4563712, 34.0163116]
    }
})

• Test notebook for ipyleaflet

from ipyleaflet import Map
Map(zoom=2)

Looks like some sort of vendor package clashing issue.

Links:

• https://github.com/jupyter-widgets/ipyleaflet
• https://github.com/jupyterlab/jupyter-renderers/tree/master/packages/geojson-extension

[Kirill888]

Problem is with the other lib, so I'm gonna close this one.