InteractiveShell
InteractiveShell copied to clipboard
Downloading files
Currently there is only one method, dealing with images and files alike, handleUserGeneratedFile
in the specialUrlEmitter.js
. Should we maybe serve images as popups instead, just like the viewHelp
in M2 and help
in Singular? Should we distinguish between jpg and other files in this method?
Can you still download the graphs of they are pop ups?
You could 'save as'. Or right click + 'save image'.