buildsystem, ide, ecere, ecs; (#906) added runtime option to ecere's memory manager...

[sdk] / ide / src / project / Workspace.ec

diff --git a/ide/src/project/Workspace.ec b/ide/src/project/Workspace.ec
index 98f9174..9e67fe6 100644 (file)
--- a/ide/src/project/Workspace.ec
+++ b/ide/src/project/Workspace.ec
@@ -208,6 +208,7 @@ private:
    int vgRedzoneSize;
 
    vgRedzoneSize = -1;
+   vgLeakCheck = summary;
 
 public:
    void Save()