internal/static: fix interaction between search bar and maximized plot

If a plot is maximized, minimize it first before handling typing in the
search bar.

Author: arl

internal/static/src/nav.js

@@ -95,6 +95,12 @@ export function initNav(onUpdate) {
 
   // Listen for search input changes
   searchInput.addEventListener("input", () => {
+    // If a plot is maximized, minimize it before applying search input filtering.
+    plotMgr.plots.forEach((p) => {
+      if (p.isMaximized()) {
+        p.minimize();
+      }
+    });
     updateVisibility();
     onUpdate(true);
   });