diff --git a/daemon/web/src/routes/+page.svelte b/daemon/web/src/routes/+page.svelte index 11af037..06d6b06 100644 --- a/daemon/web/src/routes/+page.svelte +++ b/daemon/web/src/routes/+page.svelte @@ -14,6 +14,7 @@ let manager: AnalysisManager = new AnalysisManager(); let loaded = $state(false); + let filter_threshold: boolean = $state(false); let entries: ManifestEntry[] = $state([]); let current_entry: ManifestEntry | undefined = $state(undefined); let system_stats: SystemStats | undefined = $state(undefined); @@ -30,7 +31,10 @@ await manager.update(); let new_manifest = await get_manifest(); await new_manifest.set_analysis_status(manager); - entries = new_manifest.entries; + entries = filter_threshold + ? new_manifest.entries.filter((e) => e.get_num_warnings()) + : new_manifest.entries; + current_entry = new_manifest.current_entry; system_stats = await get_system_stats(); @@ -226,7 +230,23 @@
- History +
+
History
+
+ + +
+