[UI] only allow editing existing model while "edit" button is active

LS-Lab / KeYmaeraX-release

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

http://keymaeraX.org/

GNU General Public License v2.0

76 stars 38 forks source link

[UI] only allow editing existing model while "edit" button is active #102

Closed rbohrer closed 2 years ago

rbohrer commented 2 years ago

Version: 4.9.8 Repro:

upload any archive
click the model name in the model list
click edit
edit it
click save
edit it again

Got: you can still edit it even after clicking save, at which point it has switched back to a UI state where it really looks like you shouldn't be able to edit anything

Expected: can't edit in this ui state.

Priority: mostly confusing but does come up quite often