LS-Lab/KeYmaeraX-release

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

rbohrer opened this issue · 0 comments

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