Support persisting filesystem

page/src/components/settings-menu.tsx

@@ -83,6 +83,17 @@ export class SettingsMenu extends React.Component<SettingsMenuProps, Settings> {
           />
           <Label htmlFor="settings-buffer">Buffer stdout</Label>
         </div>
+
+        <div className="flex gap-6">
+          <Checkbox
+            id="settings-persist"
+            checked={this.state.persist}
+            onCheckedChange={(checked: boolean) => {
+              this.setState({ persist: checked });
+            }}
+          />
+          <Label htmlFor="settings-persist">Persist filesystem</Label>
+        </div>
       </div>
     );
   }

page/src/emulator.ts

@@ -75,6 +75,7 @@ export class Emulator {
       data: {
         file,
         options: translateSettings(settings),
+        persist: settings.persist,
       },
     });
   }

page/src/playground.tsx

@@ -105,13 +105,25 @@ export class Playground extends React.Component<
     location.reload();
   }
 
-  initFilesys() {
-    if (this.state.filesystemPromise) {
+  _onEmulatorStateChanged(s: EmulationState, persistFs: boolean) {
+    if (s == EmulationState.Stopped && persistFs) {
+      this.setState({ filesystemPromise: null, filesystem: null });
+      this.initFilesys(true);
+    } else {
+      this.forceUpdate();
+    }
+  }
+
+  initFilesys(force: boolean = false) {
+    if (!force && this.state.filesystemPromise) {
       return this.state.filesystemPromise;
     }
 
     const promise = new Promise<Filesystem>((resolve) => {
-      this.logLine("Loading filesystem...");
+      if (!force) {
+        this.logLine("Loading filesystem...");
+      }
+
       setupFilesystem(
         (current, total, file) => {
           this.logLine(`Processing filesystem (${current}/${total}): ${file}`);
@@ -172,9 +184,11 @@ export class Playground extends React.Component<
       await this.state.filesystemPromise;
     }
 
+    const persistFs = this.state.settings.persist;
+
     const new_emulator = new Emulator(
       (l) => this.logLines(l),
-      (_) => this.forceUpdate(),
+      (s) => this._onEmulatorStateChanged(s, persistFs),
     );
     new_emulator.onTerminate().then(() => this.setState({ emulator: null }));
 

page/src/settings.ts

@@ -3,6 +3,7 @@ export interface Settings {
   concise: boolean;
   silent: boolean;
   bufferStdout: boolean;
+  persist: boolean;
 }
 
 export function createDefaultSettings(): Settings {
@@ -11,6 +12,7 @@ export function createDefaultSettings(): Settings {
     concise: false,
     silent: false,
     bufferStdout: true,
+    persist: false,
   };
 }