fixes #49, save workspace to the open workspace file on exit