sync: () -> ()
sync updates the persistent workspace file by saving the contents of the current workspace.
The SALIERI workspace is persistent, i.e., when a new session is started, it continues with the workspace contents as it was automatically saved at the end of the last session. However, when SALIERI is terminated abnormally, this mechanism doesn't work.
To minimze the amount of data lost in case of an abnormal termination, sync should be called regularly when working with SALIERI. In this case, when beginning a new session after an abnormal termination, the last workspace contents as saved by sync will be restored automatically.
Saving workspace to salieri.wsp ... Done
See also: load, save.