From 61f9f9ff14cb5475fdfbdd9d4ec8615eb018c71b Mon Sep 17 00:00:00 2001 From: Gabriel Gordon-Hall Date: Tue, 23 Sep 2025 09:39:59 +0100 Subject: [PATCH] tune down diff wait time to 3 seconds (#808) --- frontend/src/components/tasks/TaskDetails/DiffTab.tsx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/frontend/src/components/tasks/TaskDetails/DiffTab.tsx b/frontend/src/components/tasks/TaskDetails/DiffTab.tsx index 55544ce1..659b2953 100644 --- a/frontend/src/components/tasks/TaskDetails/DiffTab.tsx +++ b/frontend/src/components/tasks/TaskDetails/DiffTab.tsx @@ -35,14 +35,14 @@ function DiffTab({ selectedAttempt }: DiffTabProps) { } }, [diffs, loading]); - // If no diffs arrive within 7 seconds, stop showing the spinner + // If no diffs arrive within 3 seconds, stop showing the spinner useEffect(() => { if (!loading) return; const timer = setTimeout(() => { if (diffs.length === 0) { setLoading(false); } - }, 7000); + }, 3000); return () => clearTimeout(timer); }, [loading, diffs.length]);