Get a file does not work in Safari

[iBobik]

When used Get a file it will show: "Got boot.py, 160 bytes" but file will not be downloaded.

In console it will print this warning:
Non user-triggered activations of anchors that have a download attribute are ignored.

Safari Technology Preview Release 16 (Safari 10.1, WebKit 12603.1.10)

[dpgeorge]

WebREPL is using FileSaver.js to save files https://github.com/eligrey/FileSaver.js. It seems that Safari support has some issues: eligrey/FileSaver.js#12 . Maybe you can try the latest version of FileSaver.js to see if anything improves? Otherwise it's not really possible for me to fix this because I don't have access to Safari.

[steve-ng]

I'm facing this problem as well currently. It has to do with Safari instead of FileSaver. see eligrey/FileSaver.js#282