From 8143d8f2203656f1157ab04983b9bc045d2ed3e0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=85=AC=E6=98=8E?= <83812544+Ed1s0nZ@users.noreply.github.com> Date: Tue, 9 Jun 2026 17:53:37 +0800 Subject: [PATCH] Add files via upload --- web/static/css/style.css | 12 ------------ web/static/js/dashboard.js | 14 -------------- web/templates/index.html | 2 +- 3 files changed, 1 insertion(+), 27 deletions(-) diff --git a/web/static/css/style.css b/web/static/css/style.css index e7e96f48..d59f0b5c 100644 --- a/web/static/css/style.css +++ b/web/static/css/style.css @@ -16010,18 +16010,6 @@ tr.mcp-stats-tool-row[data-tool-name]:focus-visible { box-shadow: 0 1px 3px rgba(15, 23, 42, 0.08); } -.dashboard-feed-tab-badge { - margin-left: 4px; - font-size: 0.75rem; - font-weight: 600; - color: #64748b; - font-variant-numeric: tabular-nums; -} - -.dashboard-feed-tab.is-active .dashboard-feed-tab-badge { - color: #0066ff; -} - .dashboard-feed-tab:focus-visible { outline: 2px solid rgba(0, 102, 255, 0.45); outline-offset: 2px; diff --git a/web/static/js/dashboard.js b/web/static/js/dashboard.js index 96c6008d..457bc7a7 100644 --- a/web/static/js/dashboard.js +++ b/web/static/js/dashboard.js @@ -394,7 +394,6 @@ async function refreshDashboard() { renderRecentVulns(recentVulnsRes); dashboardState.lastProjectSummary = projectSummaryRes; renderRecentFacts(projectSummaryRes); - updateDashboardFeedTabBadge(projectSummaryRes); // External MCP 健康度(同时拿到 down 数喂给 alert banner / 推荐操作) var externalMcpDown = renderExternalMcpHealth(externalMcpStatsRes); @@ -1171,19 +1170,6 @@ function updateDashboardFeedViewAll(tab) { } } -function updateDashboardFeedTabBadge(summaryRes) { - var badge = document.getElementById('dashboard-feed-tab-facts-badge'); - if (!badge) return; - var facts = (summaryRes && Array.isArray(summaryRes.recent_facts)) ? summaryRes.recent_facts.length : 0; - if (facts > 0) { - badge.hidden = false; - badge.textContent = '(' + facts + ')'; - } else { - badge.hidden = true; - badge.textContent = ''; - } -} - function setRecentFactsLoading() { var wrap = document.getElementById('dashboard-recent-facts'); var empty = document.getElementById('dashboard-recent-facts-empty'); diff --git a/web/templates/index.html b/web/templates/index.html index 6c9e1070..0ad8bc4c 100644 --- a/web/templates/index.html +++ b/web/templates/index.html @@ -577,7 +577,7 @@