Unsaved changes to a machine that were previously made in the ProB2-UI Editor are discarded without any warning when the machine is reloaded. The old version of the machine will be loaded. Before reloading, there should be a prompt asking whether the changes should be saved.
Unsaved changes to a machine that were previously made in the ProB2-UI Editor are discarded without any warning when the machine is reloaded. The old version of the machine will be loaded. Before reloading, there should be a prompt asking whether the changes should be saved.