Clear undo history after opening file (#463)

SleipnirGroup · Apr 24, 2024 · 6ce3fb4 · 6ce3fb4
1 parent 4de6fb8
commit 6ce3fb4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/document/DocumentManager.ts b/src/document/DocumentManager.ts
@@ -481,6 +481,8 @@ export class DocumentManager {
     const validationError = validate(parsed);
     if (validationError.length == 0) {
       this.model.fromSavedDocument(parsed);
+      // if we got this far, clear the undo history
+      this.model.document.history.clear();
     } else {
       throw `Invalid Document JSON: ${validationError}`;
     }