Signal counts kept current on the page: after a read, and when Jev picks something out (#258)

The page fetched the Signals' unread counts only with the feed list, so reading an item, here or
in its own feed, left its Signal's badge as it was, and so did Jev adding one. The Apple Signal said
2 unread over a page with none. The page now fetches them again after a read or unread lands, and
on a new signal_hits event, which the judge sends once a pass for each person it found items for.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

web/src/events.ts

@@ -50,6 +50,12 @@ function connect(){
       if(bar) bar.classList.remove('live');
       toast('Download failed: '+ev.msg,true); refreshEntries();
     }
+    // Jev picked items out for someone's Signals: theirs are fetched again, and the one open.
+    else if(ev.ev==='signal_hits'){
+      if(!S.signals.length) return;
+      refreshSignals();
+      if(signalOf(S.feed)) refreshEntries();
+    }
     // A spinner on the feed's row while it is checked, in place of a toast per feed (issue #37).
     else if(ev.ev==='feed_start') setScanning(ev.feed,true);
     else if(ev.ev==='feed_skip') setScanning(ev.feed,false);

web/src/items.ts

@@ -275,7 +275,7 @@ function setRead(e: Entry,read: boolean){
   const w: {read: boolean, done?: number}={read}; readWrites.set(readKey(e),w);
   return api(`/api/entries/${encodeURIComponent(e.feed_id)}/${encodeURIComponent(e.guid)}/flags`,
       {method:'POST',body:JSON.stringify({read})})
-    .then(row=>{ w.done=performance.now(); if(row) patchFeed(row); });
+    .then(row=>{ w.done=performance.now(); if(row) patchFeed(row); if(S.signals.length) refreshSignals(); });
 }
 
 /// Opening an item is reading it. The row is redrawn where it stands rather than the list

web/src/signals.ts

@@ -2,6 +2,12 @@
 /// Signals (#254): feeds you make from your own subscriptions, holding the items TypeSafe's Jev
 /// says are about the keywords you gave. A Signal is a place in the sidebar, `:signal:<id>`.
 
+/// The Signals' counts again, which nothing else brings: reading an item, here or in its feed,
+/// and Jev picking one out both change them (#258). Once a burst has passed.
+const refreshSignals=(()=>{ let t: number; return ()=>{ clearTimeout(t); t=setTimeout(()=>{
+  api('/api/signals').then((r: Signal[])=>{ S.signals=r; renderFeeds(); }).catch(()=>{});
+},400); }; })();
+
 /// The Signal's id in a place's id, or null for anything else.
 function signalId(view: string|null){
   const m=/^:signal:(\d+)$/.exec(view||'');