From 01e52f72d260965d689654d69b0eb63c779f7024 Mon Sep 17 00:00:00 2001
From: Simon Knott <info@simonknott.de>
Date: Mon, 4 Nov 2024 17:27:28 +0100
Subject: [PATCH] reintroduce useful rerender state

---
 packages/trace-viewer/src/ui/uiModeTraceView.tsx | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/packages/trace-viewer/src/ui/uiModeTraceView.tsx b/packages/trace-viewer/src/ui/uiModeTraceView.tsx
index 8c41c0e434..70d80fadba 100644
--- a/packages/trace-viewer/src/ui/uiModeTraceView.tsx
+++ b/packages/trace-viewer/src/ui/uiModeTraceView.tsx
@@ -33,6 +33,7 @@ export const TraceView: React.FC<{
   pathSeparator: string,
 }> = ({ item, rootDir, onOpenExternally, revealSource, pathSeparator }) => {
   const [model, setModel] = React.useState<{ model: MultiTraceModel, isLive: boolean } | undefined>();
+  const [rerender, setRerender] = React.useState(0);
   const pollTimer = React.useRef<NodeJS.Timeout | null>(null);
 
   const { outputDir } = React.useMemo(() => {
@@ -79,13 +80,15 @@ export const TraceView: React.FC<{
           setModel({ model, isLive: true });
       } catch {
         setModel(undefined);
+      } finally {
+        setRerender(rerender + 1);
       }
     }, 500);
     return () => {
       if (pollTimer.current)
         clearTimeout(pollTimer.current);
     };
-  }, [outputDir, item, setModel, pathSeparator]);
+  }, [outputDir, item, setModel, rerender, setRerender, pathSeparator]);
 
   return <Workbench
     key='workbench'