quick fix for #586. A more durable solution is inbound

src/ide.ts

@@ -2130,6 +2130,14 @@ export class IDE {
 
     let md = this.editor.toMarkdown();
 
+    // @NOTE: We sync this here to prevent a terrible reload bug that occurs when saving to the file system.
+    // This isn't really the right fix, but it's a quick one that helps prevent lost work in trivial cases
+    // like navigating the workspace.
+    // @TODO: This logic needs ripped out entirely and replaced with a saner abstraction that keeps the
+    // file system and workspace in sync.
+    // @TODO: localStorage also needs to get synced and cleared lest it permanently overrule other sources of truth.
+    this._fileCache[this.documentId] = md;
+
     // if we're not local, we notify the outside world that we're trying
     // to save
     if(!this.local) {