-
由 Benjamin Pasero 提交于
The rationale is that the file system maybe in-memory and saving a workspace into such a file system will mean that after window reload we have to open an empty workspace because the workspace may not be persisted anymore.
47625a0c