rrose1 / jsonesharp

A browser-based implementation of the 1# text register machine
GNU General Public License v2.0
6 stars 6 forks source link

Save button in the Program Editor #8

Open lmoss opened 9 years ago

lmoss commented 9 years ago

The Program Editor should have a "save" button, or some other means to save work from the Program Editor into the Library.

Here is how the "save" button should work. If one entered a program in the editor using copy/paste, he program editor should remember the name of that program. When the user then presses the $\savee$ button, a modal should appear to make sure that they really want this version to overwrite what was in the library before they edited it. If the user approves, then what is saved is not only the vernacular version of the program but also the compiled version.

If one worked on a new program, then the user would have to name the program. Again, what is saved is not only the vernacular version of the program but also the compiled version.