Community
Participate
Working Groups
Created attachment 218161 [details] Git-patch: Remove default auto save in WorkspaceManager The WorkspaceManager sets the auto save behaviour as default value to true. This supresses the ability to avoid complete no saving behaviour by setting it to false, because it is to late after the initWorkspace-method. This patch removes this call.
Thank you for your contribution!
Patch has been applied. The default to enable auto-save is now handled by initializing the static autoSave field with true.