@cplieger/web-terminal-ui 8.6.0-dev.1 → 8.6.0-dev.10

package/src/kernel/types.ts

@@ -240,6 +240,12 @@ export interface AttentionReporter {
   /** Render `state`. Idempotent: a state equal to the last one reported touches
    *  nothing, so a status sweep may call it every tick. */
   report(state: AttentionState): void;
+  /** Write the latest reported count to the app badge again on the next task,
+   *  changed or not; a `report` that writes the badge before then satisfies it.
+   *  The page cannot read the badge back and a platform may drop a write
+   *  silently, so a caller resyncs wherever the two may have diverged, ahead of
+   *  the report that follows. A no-op before the first report. */
+  resync(): void;
 }
 
 /** The notification a session status event carries (OSC 9 `<message>`). Both
@@ -276,7 +282,10 @@ export interface Notifier {
   arm(): void;
   /** Note a user gesture: the ONLY moment a permission prompt may be raised. */
   gesture(): void;
-  /** Drop a closed session's dedupe state. */
+  /** Close the notification delivered for `id`, if one is still up: the user has
+   *  seen that session, so the banner no longer reports anything unread. */
+  retract(id: string): void;
+  /** Drop a closed session's dedupe state and retract its notification. */
   forget(id: string): void;
 }
 

package/src/predict.ts

@@ -86,7 +86,7 @@ export function createPredictor(): Predictor {
           if (predCol > 0) {
             predCol--;
           } else if (predRow > 0) {
-            // kiro-cli's prompt wraps a Backspace at col 0 to the previous row.
+            // A line editor wraps a Backspace at col 0 to the previous row.
             predRow--;
             predCol = cols - 1;
           }

package/src/presets/agent-tabbed.ts

@@ -10,14 +10,12 @@ import { type TabbedPresetOptions, buildTabbed } from "./tabbed.js";
 /** Tabbed UI for an agent shell. Same features as presetTabbed, tuned for
  *  sessions that ARE agents:
  *  - `presumeReports`: every session's program is an agent that WILL report
- *    OSC 9;4 progress, so the idle activity dot shows from tab creation
- *    instead of popping in seconds later when the agent has booted far enough
- *    to first report; the server's sticky reportsActivity flag then merely
- *    confirms. (presetTabbed keeps the evidence-driven reveal instead: a
- *    plain shell never grows a meaningless dot.)
- *  One agent-vs-generic distinction lives SERVER-side rather than here: the
- *  status classifier that maps OSC 9 notifications to done/needs-input. Tab
- *  names are server-side too but are not agent-specific — see buildTabbed. */
+ *    activity (OSC 7501 status, OSC 9;4 progress or a classified OSC 9
+ *    notification), so the idle activity dot
+ *    shows from tab creation instead of popping in when the agent first
+ *    reports; the server's sticky reportsActivity flag then merely confirms.
+ *    (presetTabbed keeps the evidence-driven reveal: a plain shell never grows
+ *    a meaningless dot.) */
 export function presetAgentTabbed(opts: TabbedPresetOptions = {}): TerminalFeature<unknown>[] {
   return buildTabbed(true, opts);
 }

package/src/presets/tabbed.ts

@@ -1,8 +1,7 @@
 /**
  * presetTabbed (and the shared tabbed composition builder): the full
  * multi-session UI. Requires a server that speaks the session API
- * (`/api/sessions`, `/ws?session=`, and the status SSE `/api/sessions/events`),
- * such as `web-terminal-server` or `web-terminal-kiro`.
+ * (`/api/sessions`, `/ws?session=`, and the status SSE `/api/sessions/events`).
  *
  * @module
  */
@@ -26,22 +25,15 @@ export interface TabbedPresetOptions {
   attentionIcons?: boolean;
 }
 
-/** buildTabbed composes the tabbed UI: the single-pane touch features, an
- *  externally-driven mobile toolbar (its grid is opened from a keyboard button
- *  in the tab bar, not its own toggle), the activity monitor (the status-SSE
- *  data source), tabs wired to both, and animations. The activity dot reveals
- *  itself per tab only when a session reports activity (OSC 9;4) — or from tab
- *  creation when the agent composition presumes it — so the monitor is always
- *  included; a plain shell under presetTabbed just never shows a dot. The
- *  toolbar and monitor are ordered before tabs because tabs reads their APIs
- *  via ctx.use. Shared by presetTabbed and presetAgentTabbed (agent-tabbed.ts),
- *  which now differ only in presumed activity reporting (presumeReports).
- *
- *  Titles are not a preset concern. The ENGINE resolves a session's name — its
- *  pinned name, a title its host pushed, the program's OSC window title, or its
- *  own foreground-process/cwd inference — and both presets render what it reports. A
- *  browser that re-derived any of that could only disagree with the server and
- *  with every other client attached to the same session. */
+/** buildTabbed composes the tabbed UI: the single-pane touch features, a mobile
+ *  toolbar opened from the tab bar's keyboard button, the activity monitor (the
+ *  status SSE), tabs wired to both, and animations. The monitor is always
+ *  included: a tab's dot shows only once its session reports activity (OSC
+ *  7501 status, OSC 9;4 progress or a classified OSC 9 notification), or from
+ *  creation under presumeReports.
+ *  The toolbar and monitor precede tabs, which reads their APIs via ctx.use.
+ *  Titles are the engine's: a browser that re-derived one would disagree with
+ *  the server and every other client. Shared with presetAgentTabbed. */
 export function buildTabbed(
   agentShell: boolean,
   opts: TabbedPresetOptions = {},

package/src/presets.ts

@@ -11,13 +11,14 @@
  * The tabbed presets (presetTabbed / presetAgentTabbed) share the same feature
  * set (both include the activity monitor, which drives the per-tab activity
  * dot). They differ in one flag, `presumeReports`: presetAgentTabbed presumes
- * every session's program is an agent that WILL report OSC 9;4 progress, so the
- * idle dot shows from tab creation instead of appearing seconds later on the
- * first report, while presetTabbed keeps the evidence-driven reveal so a plain
- * shell never grows a meaningless dot. Session NAMES are not a preset concern:
- * the engine resolves them, including a title its host pushes.
- * The generic-vs-agent STATUS distinction stays server-side — an agent server
- * sets a classifier mapping OSC 9 notifications to done/needs-input.
+ * every session's program is an agent that WILL report activity (OSC 7501
+ * status, OSC 9;4 progress or a classified OSC 9 notification), so the idle dot
+ * shows from tab creation instead of appearing seconds later on the first
+ * report, while presetTabbed keeps the evidence-driven reveal so a plain shell
+ * never grows a meaningless dot.
+ * Session NAMES are not a preset concern: the engine resolves them, including a
+ * title its host pushes. Which status a session holds is the server's: the UI
+ * renders the status it is sent.
  *
  * @module
  */

package/src/features/tabs/device-snap.ts

@@ -1,56 +0,0 @@
-// A box that starts between device pixels draws every edge of a filled shape
-// as a partial pixel. Layout decides where the box starts, and CSS cannot round
-// a position to the device grid, so the correction is measured and written.
-
-import { windowOf } from "../../kernel/realm.js";
-
-/** CSS px that move `v` onto the nearest whole device pixel. `v` is read to
- *  1/1000 of a device pixel first: subtracting an applied offset leaves float
- *  residue, which would tip a half-pixel position either way. */
-function toWholeDevicePx(v: number, dpr: number): number {
-  const device = Math.round(v * dpr * 1000) / 1000;
-  return (Math.round(device) - device) / dpr;
-}
-
-/** Keeps `el`'s box on whole device pixels, moved by at most half of one
- *  through its `translate`, which it owns from then on. Re-measured when `el`
- *  or an ancestor up to `root` changes size and when the device pixel ratio
- *  changes; a move that resizes nothing on that chain is not followed.
- *  @returns the release, which stops following and keeps the last offset. */
-export function snapToDevicePixels(el: SVGElement, root: HTMLElement): () => void {
-  const win = windowOf(el.ownerDocument);
-  let applied = { x: 0, y: 0 };
-  const snap = (): void => {
-    const box = el.getBoundingClientRect();
-    const dpr = win.devicePixelRatio;
-    const x = toWholeDevicePx(box.left - applied.x, dpr);
-    const y = toWholeDevicePx(box.top - applied.y, dpr);
-    applied = { x, y };
-    el.style.translate = x === 0 && y === 0 ? "" : `${String(x)}px ${String(y)}px`;
-  };
-
-  const resize = new win.ResizeObserver(snap);
-  for (let node: Element | null = el; node !== null; node = node.parentElement) {
-    resize.observe(node);
-    if (node === root) {
-      break;
-    }
-  }
-  // A ratio change resizes nothing in CSS px, and each query matches one ratio.
-  let ratio: MediaQueryList | undefined;
-  const onRatio = (): void => {
-    watchRatio();
-    snap();
-  };
-  function watchRatio(): void {
-    ratio?.removeEventListener("change", onRatio);
-    ratio = win.matchMedia(`(resolution: ${String(win.devicePixelRatio)}dppx)`);
-    ratio.addEventListener("change", onRatio);
-  }
-  watchRatio();
-
-  return () => {
-    resize.disconnect();
-    ratio?.removeEventListener("change", onRatio);
-  };
-}