From 3f9ecd92759eb03fdb9be578955da69c39cd0f74 Mon Sep 17 00:00:00 2001
From: Matthias Wirth <matthias.wirth@gmail.com>
Date: Tue, 21 Oct 2025 10:39:46 +0000
Subject: [PATCH] make sure we refresh the display when switching to historic
 view

---
 html/script.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/html/script.js b/html/script.js
index 315e52c..5ac8637 100644
--- a/html/script.js
+++ b/html/script.js
@@ -6608,6 +6608,7 @@ function toggleShowTrace() {
         showTraceWasIsolation = onlySelected;
         toggleIsolation("on", "noRefresh");
         shiftTrace();
+        refreshFilter();
     } else {
         jQuery("#selected_showTrace_hide").show();