ProB2-UI: CTRL+Z does not work properly (and can be dangerous to use)

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)

6 stars 0 forks source link

ProB2-UI: CTRL+Z does not work properly (and can be dangerous to use) #363

Open cobizobi opened 2 months ago

cobizobi commented 2 months ago

I pressed CTRL+Z in ProB2-UI to undo a recent change. This change was not in the current loaded machine file (in the editor). The effect was that the currently open machine remained unchanged, but the selected machine in the drop-down list changed. I then accidentally saved the machine. This completely overwrote my original file (with the last change) with the text of the open machine in the editor. Dangerous behaviour!

iTitus commented 2 months ago

I am not sure about this. Could this be caused by automatic reload?