From 32bdd70ed0e8392ed275f67f1ff4466e33a18f28 Mon Sep 17 00:00:00 2001
From: Nariman Jelveh <nj@puter.com>
Date: Sat, 2 Aug 2025 17:17:51 -0700
Subject: [PATCH] improve worker counting

---
 src/dev-center/css/style.css | 6 +++---
 src/dev-center/js/workers.js | 2 ++
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/dev-center/css/style.css b/src/dev-center/css/style.css
index eac0e6fc1..d56eb20d0 100644
--- a/src/dev-center/css/style.css
+++ b/src/dev-center/css/style.css
@@ -37,7 +37,7 @@ body{
     flex: 1;
 }
 
-h1 .app-count{
+h1 .app-count, h1 .worker-count{
     font-size: 20px;
     color: #6d767d;
     font-weight: 400;
@@ -499,7 +499,7 @@ label {
     background-color: #3273dc;
 }
 
-.sidebar-nav > li .app-count{
+.sidebar-nav > li .app-count, .sidebar-nav > li .worker-count {
     font-size: 14px;
     color: #6d767d;
     font-weight: 400;
@@ -507,7 +507,7 @@ label {
     float: right;
 }
 
-.tab-btn.active .app-count{
+.tab-btn.active .app-count, .tab-btn.active .worker-count{
     color: #f6f6f6;
 }
 
diff --git a/src/dev-center/js/workers.js b/src/dev-center/js/workers.js
index ed64f3402..072108ffe 100644
--- a/src/dev-center/js/workers.js
+++ b/src/dev-center/js/workers.js
@@ -29,6 +29,8 @@ window.refresh_worker_list = async (show_loading = false) => {
         $('#no-workers-notice').show();
         $('#worker-list').hide();
     }
+
+    count_workers();
 }