search

expln / metamath-lamp

Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
https://expln.github.io/lamp/latest/index.html
MIT License
12 stars 5 forks source link

Be able to load URL in non-TEMP mode #114

Open david-a-wheeler opened 1 year ago

david-a-wheeler commented 1 year ago

When loading a URL, it'd be nice to not be forced into TEMP mode.

One approach:

If loading from a URL, and there's already some content, ask the user "Do you want to load this into the main work area or TEMP mode? TEMP mode is a separate work area intended for review other work; edits in TEMP mode are thrown away when you leave its tab."

That would let people share a URL and then continue where that left off. It also lets me do my "reset trick" where I load an empty state to reset things.

It'd also be nice to be able move "current TEMP mode contents" into the main work area.

david-a-wheeler commented 1 year ago

Maybe say "regular mode or TEMP mode" to be consistent with other wording.