diff options
| author | Peter Stone <thepeterstone@gmail.com> | 2026-03-15 21:10:05 +0000 |
|---|---|---|
| committer | Peter Stone <thepeterstone@gmail.com> | 2026-03-15 21:10:05 +0000 |
| commit | 52f6bdee9297b48938242d3ac843cc054d7dbcaa (patch) | |
| tree | 24d021106b851766e6374ee5362e8fba04898f31 /web/index.html | |
| parent | 5fccaa636cd400cd7809a1d2e4f254c3fff58218 (diff) | |
feat: overhaul auto-refresh system with intelligent polling and differential updates
Diffstat (limited to 'web/index.html')
| -rw-r--r-- | web/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/index.html b/web/index.html index 59bc56e..1746baf 100644 --- a/web/index.html +++ b/web/index.html @@ -26,7 +26,7 @@ <button class="tab" data-tab="interrupted" title="Interrupted">⚠️<span class="tab-count-badge" hidden></span></button> <button class="tab" data-tab="ready" title="Ready">✅<span class="tab-count-badge" hidden></span></button> <button class="tab" data-tab="running" title="Running">▶️<span class="tab-count-badge" hidden></span></button> - <button class="tab" data-tab="all" title="All">☰</button> + <button class="tab" data-tab="all" title="All">☰<span class="tab-count-badge" hidden></span></button> <button class="tab" data-tab="stats" title="Stats">📊</button> <button class="tab" data-tab="settings" title="Settings">⚙️</button> </nav> |