I have made some changes to a machine in the ProB2-UI editor and switched to one of its included machines using the dropdown menu in the editor view (without loading a new machine). When I switch back to the edited machine, all unsaved changes are lost.
iTitus
commented
1 month ago
I have made some changes to a machine in the ProB2-UI editor and switched to one of its included machines using the dropdown menu in the editor view (without loading a new machine). When I switch back to the edited machine, all unsaved changes are lost.