From 8a10f0a916df44e90925600f8a130a8fbaf1c26f Mon Sep 17 00:00:00 2001
From: momo5502 <mauriceheumann@gmail.com>
Date: Wed, 30 Apr 2025 20:33:18 +0200
Subject: [PATCH] Reload page on filesystem reset

---
 page/src/playground.tsx | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/page/src/playground.tsx b/page/src/playground.tsx
index d796d795..85336df8 100644
--- a/page/src/playground.tsx
+++ b/page/src/playground.tsx
@@ -79,6 +79,8 @@ export class Playground extends React.Component<
     });
 
     this.output.current?.clear();
+
+    location.reload();
   }
 
   initFilesys() {