Additional libraries

[amcdawes]

Is there now, or will there be a way to enable additional draw.io libraries? I suspect this is in the works already, just opening an issue so I can keep up with updates. This is an awesome addition to jupyterlab, thanks for your work on it!

[SylvainCorlay]

What do you mean by additional libraries specifically?

[amcdawes]

Using draw.io outside of jupyterhub (i.e. at the main web page) I see the option to choose "more shapes". The draw.io docs refer to these as shape libraries. Users can create their own as well.

There are many useful libraries such as electronic schematics (and others).

I suspect this is something that could be enabled, but I don't know much about the draw.io settings. I'll continue to poke around though.

[wolfv]

these shapes can indeed be loaded from xml files. we need to figure out how we want to ship them (ie. something that can be additionally installed, or enabled in the settings..?)

[Belisarith]

@wolfv How can you load the additional shapes from xml files?