Integrate export/save as options with JupyterLab?

[krassowski]

The editor works really great here (including the save option).

I wonder if it would would be possible to add save as/export options so that the file can be saved to the current JupyterLab directory. Currently export to disk (this is download) does not work for me. Choosing:

and then:

Leads to:

Download is disallowed. The frame initiating or instantiating the download is sandboxed, but the flag ‘allow-downloads’ is not set. See https://www.chromestatus.com/feature/5706745674465280 for more details.

[bollwyvl]

Somehow this had passed under my radar!

Anyhow, I guess I'm slightly missing some context (and I should make some .github templates!). Is this with:

• a .dio(.svg|.png) Diagram document
• a MimeRenderer/rich display
• a Jupyter Widget

In a nutshell: it's found it hard to properly take away things from the drawio UI, and there is of course a lot of duplication between the Lab File Stuff and the Drawio File Stuff. There are a bunch of command palette commands for file actions for the Diagram... but none of these work for the other activities (like the Jupyter Widget).

Anyhow, I'll tag this as part of the 1.0.0 release plan (in the next week or so TBD), if you can fill in some of what you're looking for!

[bollwyvl]

Still no headway on actually hiding that option (in a future-compatible way), but at least did add allow-downloads over on #22...