Closed chriskiefer closed 2 years ago
I agree. Will try adding this.
Added in upcoming PR. File format saves as "playground name - timeanddate.json" if playground doesn't have a name (ie user might not be logged in) simply saves as playground -timeanddate.json
added on develop branch.
the processes of downloading and unzipping is quite complicated. Why don't we simplify this and just download the .json file? The grammar and code txt files are useful but maybe overcomplicating the process - users can just copy and paste from the loaded file if needed.