pycodex-ws 0.4.2__tar.gz → 0.4.3__tar.gz

{pycodex_ws-0.4.2 → pycodex_ws-0.4.3}/PKG-INFO

@@ -1,11 +1,11 @@
 Metadata-Version: 2.1
 Name: pycodex-ws
-Version: 0.4.2
+Version: 0.4.3
 Summary: Browser workspace and optional Feishu integration for python-codex
 License-File: LICENSE
 Requires-Python: >=3.7
 Requires-Dist: pillow>=9.0.0
-Requires-Dist: python-codex==0.4.2
+Requires-Dist: python-codex==0.4.3
 Requires-Dist: websockets<16,>=11
 Description-Content-Type: text/markdown
 

{pycodex_ws-0.4.2 → pycodex_ws-0.4.3}/pycodex_router/client.py

@@ -235,6 +235,7 @@ def attach_router(app, registry, target, port):
                 "enable_board": workspace["enable_board"],
                 "session_count": len(workspace["sessions"]),
                 "running": any(session["running"] for session in workspace["sessions"]),
+                "unread": any(session["unread"] for session in workspace["sessions"]),
             }
             for workspace in registry.list_workspaces()
         ]

{pycodex_ws-0.4.2 → pycodex_ws-0.4.3}/pycodex_router/index.html

@@ -73,21 +73,31 @@
     .workspace-group-heading { display: flex; align-items: center; gap: 10px; padding: 12px 14px; }
     .workspace-group-name { flex: 1; min-width: 0; font-size: 12px; font-weight: 600; line-height: 1.6; overflow-wrap: anywhere; }
     .workspace-group-heading .count { flex: 0 0 auto; }
-    .list-head, .workspace-row { display: grid; grid-template-columns: minmax(94px, .85fr) minmax(120px, 1.85fr) 60px 44px; gap: 12px; align-items: center; padding: 10px 14px; }
+    .list-head, .workspace-row { display: grid; grid-template-columns: minmax(94px, .85fr) minmax(120px, 1.85fr) 76px 44px; gap: 12px; align-items: center; padding: 10px 14px; }
     .list-head { position: sticky; top: 0; z-index: 1; background: var(--soft); color: var(--muted); font-size: 10px; font-weight: 550; letter-spacing: .3px; }
-    .workspace-row { min-height: 62px; border-top: 1px solid var(--line); }
+    .workspace-row { position: relative; min-height: 62px; border-top: 1px solid var(--line); }
     .workspace-row > * { min-width: 0; }
     .workspace-row:hover { background: var(--soft); }
     .workspace-row:last-child { border-radius: 0 0 9px 9px; }
-    .activity-badge { justify-self: start; display: inline-flex; align-items: center; gap: 5px; padding: 3px 6px; border-radius: 4px; color: var(--muted); background: var(--soft); font-size: 10px; font-weight: 500; }
+    .activity-badge { display: inline-flex; align-items: center; gap: 5px; padding: 3px 6px; border-radius: 4px; color: var(--muted); background: var(--soft); font-size: 10px; font-weight: 500; }
     .activity-badge[data-state="working"] { color: var(--green); background: var(--green-soft); }
-    .activity-badge[data-state="working"]::before { content: ""; width: 5px; height: 5px; border-radius: 50%; background: currentColor; }
+    .activity-badge[data-state="working"]::before { content: ""; width: 5px; height: 5px; border-radius: 50%; background: currentColor; animation: spinner-pulse 1.2s cubic-bezier(0.4, 0, 0.2, 1) infinite; }
+    @keyframes spinner-pulse {
+      0%, 100% { opacity: .45; transform: scale(.82); }
+      50% { opacity: 1; transform: scale(1.08); }
+    }
+    @media (prefers-reduced-motion: reduce) {
+      .activity-badge[data-state="working"]::before { animation: none; opacity: .8; transform: none; }
+    }
+    .workspace-status { display: inline-flex; align-items: center; gap: 6px; justify-self: start; }
+    .unread-dot { flex: 0 0 6px; width: 6px; height: 6px; border-radius: 50%; background: var(--danger); }
     .workspace-title { font-size: 12px; line-height: 1.6; font-weight: 600; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
     .workspace-path, .state-path { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size: 11px; line-height: 1.8; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
     .state-path { color: var(--muted); }
     .session-count { color: var(--muted); font-size: 11px; line-height: 1.7; }
     .open-link, .manage-link { display: inline-flex; align-items: center; justify-content: flex-end; gap: 4px; min-height: 28px; color: var(--accent); font-size: 11px; font-weight: 550; white-space: nowrap; }
     .open-link svg, .manage-link svg { width: 13px; height: 13px; }
+    .open-link::after { content: ""; position: absolute; inset: 0; }
     .open-link:hover, .manage-link:hover { text-decoration: underline; text-underline-offset: 4px; }
     .device { min-width: 0; padding: 12px 14px; }
     .device + .device { border-top: 1px solid var(--line); }
@@ -117,7 +127,7 @@
       .list-head { display: none; }
       .workspace-row { grid-template-columns: minmax(0, 1fr) auto auto; gap: 6px 10px; padding: 10px 12px; }
       .workspace-paths { grid-column: 1 / -1; grid-row: 2; }
-      .activity-badge { grid-column: 2; grid-row: 1; }
+      .workspace-status { grid-column: 2; grid-row: 1; }
       .open-link { grid-column: 3; grid-row: 1; min-height: 36px; }
     }
   </style>
@@ -191,7 +201,10 @@
         <p class="workspace-path"></p>
         <p class="state-path"></p>
       </div>
-      <span class="activity-badge"></span>
+      <span class="workspace-status">
+        <span class="unread-dot" role="img" aria-label="Unread reply" title="Unread reply"></span>
+        <span class="activity-badge"></span>
+      </span>
       <a class="open-link">Open <svg viewBox="0 0 24 24" aria-hidden="true"><path d="M5 12h14m-6-6 6 6-6 6"/></svg></a>
     </article>
   </template>
@@ -346,6 +359,7 @@
           const title = card.querySelector(".workspace-title");
           title.textContent = workspace.id;
           title.title = workspace.id;
+          card.querySelector(".unread-dot").hidden = !workspace.unread;
           const path = card.querySelector(".workspace-path");
           path.textContent = workspace.work_dir;
           path.title = workspace.work_dir;

{pycodex_ws-0.4.2 → pycodex_ws-0.4.3}/pycodex_router/server.py

@@ -114,6 +114,7 @@ def validate_inventory(workspaces):
         "enable_board",
         "session_count",
         "running",
+        "unread",
     }
     seen = set()
     for workspace in workspaces:
@@ -136,6 +137,7 @@ def validate_inventory(workspaces):
         if (
             type(workspace["enable_board"]) is not bool
             or type(workspace["running"]) is not bool
+            or type(workspace["unread"]) is not bool
             or type(workspace["session_count"]) is not int
             or not 0 <= workspace["session_count"] <= 1000000
         ):

{pycodex_ws-0.4.2 → pycodex_ws-0.4.3}/pyproject.toml

@@ -4,12 +4,12 @@ build-backend = "hatchling.build"
 
 [project]
 name = "pycodex-ws"
-version = "0.4.2"
+version = "0.4.3"
 description = "Browser workspace and optional Feishu integration for python-codex"
 readme = "README.md"
 requires-python = ">=3.7"
 dependencies = [
-    "python-codex==0.4.2",
+    "python-codex==0.4.3",
     "pillow>=9.0.0",
     "websockets>=11,<16",
 ]

{pycodex_ws-0.4.2 → pycodex_ws-0.4.3}/workspace_server/app.py

@@ -198,6 +198,7 @@ class WebSessionView:
         self._turns_by_submission_id: "typing.Dict[str, typing.Dict[str, object]]" = {}
         self._turns_by_turn_id: "typing.Dict[str, typing.Dict[str, object]]" = {}
         self._title = ""
+        self._last_final_id = ""
         self._model = "pycodex"
         self._rollout_path = ""
         self._recorded_rollout_path = ""
@@ -276,6 +277,7 @@ class WebSessionView:
             self._turns_by_submission_id = {}
             self._turns_by_turn_id = {}
             self._events = []
+            self._last_final_id = ""
             for entry in history:
                 if entry is None:
                     self._add_compaction_marker()
@@ -318,6 +320,7 @@ class WebSessionView:
         with self._lock:
             return {
                 "running": bool(self._spinner_status),
+                "last_final_id": self._last_final_id,
                 "status": self._spinner_status,
                 "status_kind": "spinner" if self._spinner_status else "idle",
                 "spinner": self._spinner_status,
@@ -341,6 +344,7 @@ class WebSessionView:
             return {
                 "model": self._model,
                 "running": bool(self._spinner_status),
+                "last_final_id": self._last_final_id,
                 "spinner": self._spinner_status,
                 "title": self._title,
                 "turn_count": len(self._turns),
@@ -462,6 +466,8 @@ class WebSessionView:
             response = event.visualize()
             if response:
                 turn["response"] = response
+                turn["final_id"] = event.turn_id
+                self._last_final_id = event.turn_id
             elif turn.get("thinking"):
                 turn["response"] = str(turn.get("thinking") or "")
             turn["thinking"] = ""
@@ -979,6 +985,13 @@ def create_multi_workspace_app(
             entry.manager, request.path_params["session_id"]
         )
 
+    async def workspace_read_session(request: Request) -> JSONResponse:
+        payload = await _json_object_body(request)
+        entry = _workspace_entry_or_404(registry, request.path_params["workspace_id"])
+        return _read_session_response(
+            entry.manager, request.path_params["session_id"], payload
+        )
+
     async def workspace_session(request: Request) -> JSONResponse:
         entry = _workspace_entry_or_404(registry, request.path_params["workspace_id"])
         return _session_response(entry.manager, request.query_params.get("session_id"))
@@ -1054,6 +1067,10 @@ def create_multi_workspace_app(
             "/w/{workspace_id}/api/sessions/{session_id}",
             workspace_delete_session, methods=["DELETE"],
         ),
+        Route(
+            "/w/{workspace_id}/api/sessions/{session_id}/read",
+            workspace_read_session, methods=["POST"],
+        ),
         Route("/w/{workspace_id}/api/session", workspace_session, methods=["GET"]),
         Route(
             "/w/{workspace_id}/api/session/message",
@@ -1348,6 +1365,10 @@ def _install_workspace_routes(
     async def delete_session(request: Request) -> JSONResponse:
         return await _delete_session_response(manager, request.path_params["session_id"])
 
+    async def read_session(request: Request) -> JSONResponse:
+        payload = await _json_object_body(request)
+        return _read_session_response(manager, request.path_params["session_id"], payload)
+
     async def session(request: Request) -> JSONResponse:
         return _session_response(manager, request.query_params.get("session_id"))
 
@@ -1385,6 +1406,7 @@ def _install_workspace_routes(
         Route("/api/sessions", sessions, methods=["GET"]),
         Route("/api/sessions", new_session, methods=["POST"]),
         Route("/api/sessions/{session_id}", delete_session, methods=["DELETE"]),
+        Route("/api/sessions/{session_id}/read", read_session, methods=["POST"]),
         Route("/api/session", session, methods=["GET"]),
         Route("/api/session/message", message, methods=["POST"]),
         WebSocketRoute("/ws/session", websocket_session),
@@ -1534,6 +1556,18 @@ def _sessions_response(manager: "WorkspaceSessionManager") -> JSONResponse:
     return JSONResponse({"sessions": manager.list_sessions()})
 
 
+def _read_session_response(
+    manager: "WorkspaceSessionManager", session_id: str, payload: "typing.Dict[str, object]"
+) -> JSONResponse:
+    try:
+        manager.mark_read(session_id, payload.get("final_id"))
+    except KeyError:
+        raise HTTPException(status_code=404, detail="session not found")
+    except ValueError as exc:
+        raise HTTPException(status_code=400, detail=str(exc))
+    return _sessions_response(manager)
+
+
 async def _new_session_response(manager: "WorkspaceSessionManager") -> JSONResponse:
     session_id = await manager.create_session()
     return JSONResponse(
@@ -1670,6 +1704,7 @@ def _public_turn(turn: "typing.Dict[str, object]") -> "typing.Dict[str, object]"
             {
                 "submission_id": turn.get("submission_id", ""),
                 "turn_id": turn.get("turn_id", ""),
+                "final_id": turn.get("final_id", ""),
                 "prompt": turn.get("prompt", ""),
                 "response": turn.get("response", ""),
                 "thinking": turn.get("thinking", ""),

{pycodex_ws-0.4.2 → pycodex_ws-0.4.3}/workspace_server/workspace.html

@@ -307,6 +307,13 @@
     .tab-label[hidden] {
       display: none;
     }
+    .unread-dot {
+      flex: 0 0 6px;
+      width: 6px;
+      height: 6px;
+      border-radius: 50%;
+      background: var(--danger);
+    }
     .tab-label {
       min-width: 0;
       overflow: hidden;
@@ -1774,6 +1781,7 @@
           notifyWhenDone: false,
           wasRunning: false,
           inputRequest: null,
+          readingFinalId: "",
         });
       }
       return sessionState.get(key);
@@ -1828,6 +1836,13 @@
           tab.setAttribute("role", "tab");
           tab.addEventListener("click", () => switchSession(sessionId));
 
+          const unread = document.createElement("span");
+          unread.className = "unread-dot";
+          unread.title = "Unread reply";
+          unread.setAttribute("role", "img");
+          unread.setAttribute("aria-label", "Unread reply");
+          tab.appendChild(unread);
+
           const status = document.createElement("span");
           status.className = "tab-status";
           status.setAttribute("aria-hidden", "true");
@@ -1866,6 +1881,7 @@
         tab.setAttribute("aria-selected", sessionId === activeSessionId ? "true" : "false");
         tab.setAttribute("aria-busy", String(Boolean(session.running)));
         tab.querySelector(".tab-status").hidden = !session.running;
+        tab.querySelector(".unread-dot").hidden = !session.unread;
         const label = tab.querySelector(".tab-label");
         label.textContent = session.title || `Session ${index + 1}`;
         label.title = sessionId === activeSessionId ? "Click to rename session" : tab.title;
@@ -2008,6 +2024,7 @@
         turns.map((item) => [
           item.submission_id || "",
           item.turn_id || "",
+          item.final_id || "",
           item.prompt || "",
           item.response || "",
           item.thinking || "",
@@ -2075,14 +2092,15 @@
           return;
         }
         const signature = `${payload.mtime_ns || ""}:${payload.size || ""}`;
+        // Automatic Canvas refreshes must not add browser Back history entries.
         if (lastBoardSignature === null) {
           lastBoardSignature = signature;
-          boardFrame.src = `board?t=${Date.now()}`;
+          boardFrame.contentWindow.location.replace(relativeUrl(`board?t=${Date.now()}`));
           return;
         }
         if (signature !== lastBoardSignature) {
           lastBoardSignature = signature;
-          boardFrame.src = `board?t=${Date.now()}`;
+          boardFrame.contentWindow.location.replace(relativeUrl(`board?t=${Date.now()}`));
         }
       } catch (_error) {
         return;
@@ -2116,6 +2134,7 @@
       const state = stateForSession(activeSessionId);
       state.inputRequest = snapshot.input_request || null;
       renderQueueHint(snapshot.queued_inputs);
+      requestAnimationFrame(markVisibleFinalRead);
       const signature = messageSignature(snapshot);
       if (signature === state.lastRenderedSignature) {
         setSpinner(snapshot.spinner || "");
@@ -2215,12 +2234,53 @@
         renderEntry(`${key}:prompt`, turn.prompt, isControl ? "control" : "user");
       }
       if (turn.response) {
-        renderEntry(`${key}:response`, turn.response, isControl ? "control" : "response", !isControl);
+        const response = renderEntry(
+          `${key}:response`, turn.response, isControl ? "control" : "response", !isControl
+        );
+        response.dataset.finalId = isControl ? "" : (turn.final_id || "");
+        response.dataset.sessionId = activeSessionId;
       }
       if (turn.thinking) renderEntry(`${key}:thinking`, turn.thinking, "thinking");
       if (turn.error) renderEntry(`${key}:error`, turn.error, "error");
     }
 
+    async function markVisibleFinalRead() {
+      if (document.visibilityState !== "visible" || !document.hasFocus()) return;
+      const sessionId = activeSessionId;
+      const session = sessionById(sessionId);
+      if (!session || !session.unread || !session.last_final_id) return;
+      const state = stateForSession(sessionId);
+      if (state.readingFinalId || !log.getClientRects().length) return;
+      const finalId = session.last_final_id;
+      const final = Array.from(log.querySelectorAll("[data-final-id]"))
+        .find(element => element.dataset.finalId === finalId && element.dataset.sessionId === sessionId);
+      if (!final) return;
+      const viewport = log.getBoundingClientRect();
+      const rect = final.getBoundingClientRect();
+      if (Math.min(rect.bottom, viewport.bottom, window.innerHeight) <= Math.max(rect.top, viewport.top, 0) ||
+          Math.min(rect.right, viewport.right, window.innerWidth) <= Math.max(rect.left, viewport.left, 0)) return;
+      state.readingFinalId = finalId;
+      try {
+        const response = await fetch(relativeUrl(`api/sessions/${encodeURIComponent(sessionId)}/read`), {
+          method: "POST",
+          headers: {"Content-Type": "application/json"},
+          body: JSON.stringify({final_id: finalId}),
+        });
+        if (!response.ok) throw new Error(`HTTP ${response.status}`);
+        const payload = await response.json();
+        const current = sessionById(sessionId);
+        const saved = payload.sessions.find(item => item.id === sessionId);
+        if (current && saved && current.last_final_id === saved.last_final_id) {
+          current.unread = saved.unread;
+          renderTabs();
+        }
+      } catch (error) {
+        showToast("Unable to mark reply as read: " + error.message);
+      } finally {
+        state.readingFinalId = "";
+      }
+    }
+
     async function submitPrompt(text) {
       const response = await fetch(relativeUrl("api/session/message"), {
         method: "POST",
@@ -2363,6 +2423,7 @@
       if (suppressScrollSave) return;
       if (!activeSessionId) return;
       stateForSession(activeSessionId).scrollTop = log.scrollTop;
+      requestAnimationFrame(markVisibleFinalRead);
     });
 
     splitter.addEventListener("pointerdown", startResize);
@@ -2395,17 +2456,21 @@
       button.addEventListener("click", () => {
         workspace.dataset.mobilePane = button.dataset.pane;
         if (button.dataset.pane === "chat") resizePrompt();
+        requestAnimationFrame(markVisibleFinalRead);
       });
     });
     window.addEventListener("resize", () => {
       const current = Number(window.localStorage.getItem("pycodex.workspace.chatWidth") || 0);
       if (current > 0) setChatWidth(current);
       resizePrompt();
+      requestAnimationFrame(markVisibleFinalRead);
     });
+    window.addEventListener("focus", () => requestAnimationFrame(markVisibleFinalRead));
     document.addEventListener("visibilitychange", () => {
       if (document.visibilityState !== "visible") return;
       pollSession();
       pollBoard();
+      requestAnimationFrame(markVisibleFinalRead);
     });
 
     loadChatWidth();
@@ -2457,7 +2522,7 @@
 
     function followCanvasLink(event) {
       const anchor = event.target.closest("a[href]");
-      if (anchor && isWorkspaceLink(anchor.getAttribute("href"), false)) {
+      if (anchor && isWorkspaceLink(anchor.getAttribute("href"))) {
         followViewLink(event, anchor.getAttribute("href"));
       }
     }

{pycodex_ws-0.4.2 → pycodex_ws-0.4.3}/workspace_server/workspaces.html

@@ -15,6 +15,8 @@
       --line: #e1e6ed;
       --accent: #385bc7;
       --accent-strong: #2c49a6;
+      --green: #26734f;
+      --green-soft: #eaf5ee;
       --danger: #b42318;
       --danger-soft: #fff0ed;
       font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
@@ -29,6 +31,8 @@
         --line: #303c4d;
         --accent: #a0b8ff;
         --accent-strong: #bfd0ff;
+        --green: #8ad5ad;
+        --green-soft: #233b31;
         --danger: #ff8c7f;
         --danger-soft: #321d1b;
       }
@@ -155,6 +159,9 @@
     .status.error {
       color: var(--danger);
     }
+    .action-status { max-width: none; margin: 0 0 16px; text-align: left; }
+    .action-status:empty { display: none; }
+    .workspace-list.stale { opacity: .6; }
     .layout {
       display: grid;
       grid-template-columns: minmax(0, 1fr) 280px;
@@ -241,12 +248,14 @@
     }
     .list-head { position: sticky; top: 0; z-index: 1; border-radius: 9px 9px 0 0; background: var(--panel-soft); color: var(--muted); font-size: 10px; font-weight: 550; letter-spacing: .3px; }
     .list-head span:last-child { text-align: right; }
-    .workspace-row { min-height: 62px; border-top: 1px solid var(--line); }
+    .workspace-row { position: relative; min-height: 62px; border-top: 1px solid var(--line); }
     .workspace-row:hover { background: var(--panel-soft); }
     .workspace-row:last-child { border-radius: 0 0 9px 9px; }
     .workspace-name {
       min-width: 0;
     }
+    .workspace-status { display: inline-flex; align-items: center; gap: 6px; margin-left: 8px; vertical-align: middle; }
+    .unread-dot { flex: 0 0 6px; width: 6px; height: 6px; border-radius: 50%; background: var(--danger); }
     .workspace-name strong {
       display: block;
       overflow: hidden;
@@ -263,6 +272,16 @@
       font-size: 11px;
       line-height: 1.5;
     }
+    .activity-badge { display: inline-flex; align-items: center; gap: 5px; padding: 3px 6px; border-radius: 4px; color: var(--muted); background: var(--panel-soft); font-size: 10px; font-weight: 500; }
+    .activity-badge[data-state="working"] { color: var(--green); background: var(--green-soft); }
+    .activity-badge[data-state="working"]::before { content: ""; width: 5px; height: 5px; border-radius: 50%; background: currentColor; animation: spinner-pulse 1.2s cubic-bezier(0.4, 0, 0.2, 1) infinite; }
+    @keyframes spinner-pulse {
+      0%, 100% { opacity: .45; transform: scale(.82); }
+      50% { opacity: 1; transform: scale(1.08); }
+    }
+    @media (prefers-reduced-motion: reduce) {
+      .activity-badge[data-state="working"]::before { animation: none; opacity: .8; transform: none; }
+    }
     .paths {
       display: grid;
       gap: 2px;
@@ -295,6 +314,8 @@
     }
     .actions a.button { color: var(--accent); border-color: var(--line); }
     .actions a.button:hover { background: var(--panel-soft); }
+    .actions a.button::after { content: ""; position: absolute; inset: 0; }
+    .actions button { position: relative; z-index: 1; }
     .empty {
       display: grid;
       justify-items: center;
@@ -334,12 +355,13 @@
         <span>pycodex</span>
         <span class="brand-context">workspaces</span>
       </a>
-      <div id="status" class="status" role="status"></div>
+      <div id="status" class="status" role="status">Connecting…</div>
     </header>
     <div class="intro">
       <h1>Your workspaces</h1>
       <p>Manage workspaces on this device.</p>
     </div>
+    <p id="actionStatus" class="status action-status" role="status"></p>
     <div class="layout">
       <section class="panel" aria-labelledby="listTitle">
         <div class="panel-head">
@@ -353,7 +375,7 @@
               </div>
               <div class="metric">
                 <span id="activeCount" class="metric-value">0</span>
-                <span class="metric-label">running</span>
+                <span class="metric-label">working</span>
               </div>
             </div>
           </div>
@@ -402,6 +424,7 @@
     const rows = document.getElementById("workspaceRows");
     const form = document.getElementById("workspaceForm");
     const statusEl = document.getElementById("status");
+    const actionStatus = document.getElementById("actionStatus");
     const nameInput = document.getElementById("nameInput");
     const dirInput = document.getElementById("dirInput");
     const statePathInput = document.getElementById("statePathInput");
@@ -417,8 +440,8 @@
     }
 
     function setStatus(text, isError = false) {
-      statusEl.textContent = text || "";
-      statusEl.classList.toggle("error", Boolean(isError));
+      actionStatus.textContent = text || "";
+      actionStatus.classList.toggle("error", Boolean(isError));
     }
 
     function textNode(tag, className, text) {
@@ -445,7 +468,9 @@
       });
       workspaceCount.textContent = String(workspaces.length);
       sessionCount.textContent = String(sessions.length);
-      activeCount.textContent = String(sessions.filter((session) => session.running).length);
+      activeCount.textContent = String(workspaces.filter(
+        workspace => workspace.sessions.some(session => session.running)
+      ).length);
     }
 
     function renderEmpty() {
@@ -459,6 +484,7 @@
     function renderWorkspace(workspace) {
       const row = document.createElement("article");
       row.className = "workspace-row";
+      row.dataset.workspaceId = workspace.id;
 
       const name = document.createElement("div");
       name.className = "workspace-name";
@@ -467,6 +493,14 @@
       name.appendChild(title);
       const sessions = Array.isArray(workspace.sessions) ? workspace.sessions : [];
       name.appendChild(textNode("span", "session-count", `${sessions.length} session${sessions.length === 1 ? "" : "s"}`));
+      const status = textNode("span", "workspace-status", "");
+      const unread = textNode("span", "unread-dot", "");
+      unread.title = "Unread reply";
+      unread.setAttribute("role", "img");
+      unread.setAttribute("aria-label", "Unread reply");
+      status.appendChild(unread);
+      status.appendChild(textNode("span", "activity-badge", ""));
+      name.appendChild(status);
 
       const paths = document.createElement("div");
       paths.className = "paths";
@@ -491,28 +525,60 @@
       row.appendChild(paths);
       row.appendChild(actions);
       rows.appendChild(row);
+      return row;
     }
 
     function render(workspaces) {
-      rows.textContent = "";
+      const existing = new Map(
+        Array.from(rows.querySelectorAll(".workspace-row"), row => [row.dataset.workspaceId, row])
+      );
       renderSummary(workspaces);
       if (!workspaces.length) {
+        rows.textContent = "";
         renderEmpty();
         return;
       }
-      workspaces.forEach(renderWorkspace);
+      const empty = rows.querySelector(".empty");
+      if (empty) empty.remove();
+      workspaces.forEach((workspace, index) => {
+        const row = existing.get(workspace.id) || renderWorkspace(workspace);
+        existing.delete(workspace.id);
+        const count = workspace.sessions.length;
+        row.querySelector(".session-count").textContent = `${count} session${count === 1 ? "" : "s"}`;
+        const running = workspace.sessions.some(session => session.running);
+        const activity = row.querySelector(".activity-badge");
+        activity.dataset.state = running ? "working" : "ready";
+        activity.textContent = running ? "Working" : "Ready";
+        row.querySelector(".unread-dot").hidden = !workspace.sessions.some(session => session.unread);
+        if (rows.children[index] !== row) rows.insertBefore(row, rows.children[index] || null);
+      });
+      existing.forEach(row => row.remove());
     }
 
-    async function refresh() {
-      setStatus("Refreshing...");
-      const response = await fetch(api("api/workspaces"));
-      const payload = await response.json();
-      if (!response.ok) {
-        throw new Error(payload.error || `HTTP ${response.status}`);
-      }
-      render(Array.isArray(payload.workspaces) ? payload.workspaces : []);
-      setStatus("");
-    }
+    const refresh = (() => {
+      let refreshing = false;
+      return async () => {
+        if (refreshing) return;
+        refreshing = true;
+        try {
+          const response = await fetch(api("api/workspaces"), {cache: "no-store"});
+          const payload = await response.json();
+          if (!response.ok) throw new Error(payload.error || `HTTP ${response.status}`);
+          render(payload.workspaces);
+          statusEl.textContent = "Live · updates automatically";
+          statusEl.title = "";
+          statusEl.classList.remove("error");
+          rows.classList.remove("stale");
+        } catch (error) {
+          statusEl.textContent = "Could not refresh · retrying";
+          statusEl.title = error.message;
+          statusEl.classList.add("error");
+          rows.classList.add("stale");
+        } finally {
+          refreshing = false;
+        }
+      };
+    })();
 
     async function addWorkspace(event) {
       event.preventDefault();
@@ -558,8 +624,9 @@
     }
 
     form.addEventListener("submit", addWorkspace);
-    refreshButton.addEventListener("click", () => refresh().catch((error) => setStatus(error.message, true)));
-    refresh().catch((error) => setStatus(error.message, true));
+    refreshButton.addEventListener("click", refresh);
+    refresh();
+    setInterval(refresh, 2000);
   </script>
 </body>
 </html>

{pycodex_ws-0.4.2 → pycodex_ws-0.4.3}/workspace_server/workspaces.py

@@ -233,6 +233,7 @@ class WorkspaceSessionManager:
         self._session_order: "typing.List[str]" = []
         self._state_watchers: "typing.Dict[str, asyncio.Task]" = {}
         self._tab_states: "typing.Dict[str, typing.Dict[str, object]]" = {}
+        self._read_final_ids: "typing.Dict[str, str]" = {}
         self._lock = None
         self._state_store = WorkspaceStateStore(
             workspace_file_path(state_path, ".pycodex-ws.json")
@@ -285,6 +286,7 @@ class WorkspaceSessionManager:
             self._session_order = []
             self._state_watchers.clear()
             self._tab_states.clear()
+            self._read_final_ids.clear()
 
     async def create_session(
         self,
@@ -342,6 +344,7 @@ class WorkspaceSessionManager:
                 raise KeyError(session_id)
             watcher = self._state_watchers.pop(session_id, None)
             self._tab_states.pop(session_id, None)
+            self._read_final_ids.pop(session_id, None)
             self._session_order = [
                 item for item in self._session_order if item != session_id
             ]
@@ -398,16 +401,28 @@ class WorkspaceSessionManager:
             raise KeyError("no sessions")
         return self._session_order[0]
 
+    def mark_read(self, session_id: str, final_id: str) -> None:
+        if not isinstance(final_id, str) or not 0 < len(final_id) <= 128:
+            raise ValueError("final_id must be a nonempty string of at most 128 characters")
+        session = self._sessions[session_id]
+        if final_id == session_summary(session).get("last_final_id"):
+            self._read_final_ids[session_id] = final_id
+
     def list_sessions(self) -> "typing.List[typing.Dict[str, object]]":
         result = []
         for session_id in self._session_order:
             session = self._sessions[session_id]
             summary = session_summary(session)
+            final_id = summary.get("last_final_id") or ""
             result.append(
                 {
                     "id": session_id,
                     "title": summary.get("title") or "pycodex",
                     "running": bool(summary.get("running")),
+                    "last_final_id": final_id,
+                    "unread": bool(
+                        final_id and final_id != self._read_final_ids.get(session_id)
+                    ),
                     "spinner": summary.get("spinner") or "",
                     "turn_count": summary.get("turn_count") or 0,
                     "last_assistant": summary.get("last_assistant") or "",
@@ -581,6 +596,7 @@ def session_summary(session) -> "typing.Dict[str, object]":
     return {
         "title": snapshot.get("title") or "",
         "running": bool(snapshot.get("running")),
+        "last_final_id": snapshot.get("last_final_id") or "",
         "spinner": snapshot.get("spinner") or "",
         "turn_count": len(snapshot.get("turns") or []),
         "last_assistant": _last_assistant_text(snapshot.get("turns") or []),