Avoid exporting all trajectories on every autosave.

SleipnirGroup · Jan 9, 2024 · 86a2eb2 · 86a2eb2
1 parent f55e0f0
commit 86a2eb2
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/document/DocumentManager.ts b/src/document/DocumentManager.ts
@@ -68,7 +68,7 @@ export class DocumentManager {
           this.model.uiState.setSaveFileName(saveName);
           this.model.uiState.setSaveFileDir(saveDir);
           this.model.uiState.setIsGradleProject(adjacent_gradle);
-        });
+        }).then(()=>this.exportAllTrajectories());
     }
   }
 
@@ -486,9 +486,8 @@ export class DocumentManager {
     if (newIsGradleProject !== undefined) {
       if (newIsGradleProject !== prevIsGradleProject) {
         this.model.uiState.setIsGradleProject(newIsGradleProject);
+        await this.exportAllTrajectories();
       }
-
-      await this.exportAllTrajectories();
     }
   }