As for the general question, it seems a bit problematic that there is no one-to-one correspondence between format and path-extension. What I mean is that:
- there is no
format="pdf" (I assume because displaying PDFs in something like Jupyter notebooks seems problematic)
- there are two formats for extension ".html", namely "widget", and "html".
Without knowing the internals it seems weird that
Plot.plot({}, format="png", path="out.svg") => ok
Plot.plot({}, format="widget", path="out.svg") => error.
I first thought that it would be best to completely decouple format and path: format dictates the display format, path dictates the export format. But this does not account for the html case...
Originally posted by @wirhabenzeit in #32 (comment)
Originally posted by @wirhabenzeit in #32 (comment)