diff --git a/public/main.js b/public/main.js index 98e35a90..2f11a7af 100644 --- a/public/main.js +++ b/public/main.js @@ -179,6 +179,14 @@ async function onSocketInitOrReload(event) { drillBreadcrumb.packages = cache.filter((pkg) => pkg.spec !== window.activePackage); searchview.cachedSpecs = cache; searchview.reset(); + + if (data.status === "RELOAD" && cache.length === 0) { + window.navigation.hideMenu("network--view"); + window.navigation.hideMenu("home--view"); + window.navigation.hideMenu("warnings--view"); + window.navigation.setNavByName("search--view"); + } + dispatchSearchCommandInit(); }