From 23daf48589147993155a04ab1b6b09d3a315c8af Mon Sep 17 00:00:00 2001 From: Michael Panchenko Date: Fri, 31 Oct 2025 17:18:16 +0100 Subject: [PATCH] Improved button styles --- src/serena/resources/dashboard/dashboard.css | 13 +++++++++---- src/serena/resources/dashboard/dashboard.js | 4 ++-- 2 files changed, 11 insertions(+), 6 deletions(-) diff --git a/src/serena/resources/dashboard/dashboard.css b/src/serena/resources/dashboard/dashboard.css index e751ef89..91c34590 100644 --- a/src/serena/resources/dashboard/dashboard.css +++ b/src/serena/resources/dashboard/dashboard.css @@ -920,15 +920,20 @@ body { } .memory-add-btn { - padding: 6px 12px; - font-size: 13px; - font-weight: 500; - border-radius: 6px; + display: inline-flex; + align-items: center; + padding: 8px 12px; + margin: 5px; + border-radius: 4px; border: 1px dashed var(--border-color); background: var(--bg-secondary); color: var(--text-primary); cursor: pointer; transition: all 0.2s; + font-family: inherit; + font-size: inherit; + font-weight: inherit; + line-height: inherit; } .memory-add-btn:hover { diff --git a/src/serena/resources/dashboard/dashboard.js b/src/serena/resources/dashboard/dashboard.js index 0a80680f..e76e665b 100644 --- a/src/serena/resources/dashboard/dashboard.js +++ b/src/serena/resources/dashboard/dashboard.js @@ -370,7 +370,7 @@ class Dashboard { } startConfigPolling() { - this.configPollInterval = setInterval(this.loadConfigOverview.bind(this), 100000); + this.configPollInterval = setInterval(this.loadConfigOverview.bind(this), 1000); } startExecutionsPolling() { @@ -491,7 +491,7 @@ class Dashboard { }); } // Add Create Memory button - html += ''; + html += ''; html += ''; html += ''; }