python-codex 0.3.3__py3-none-any.whl → 0.4.1__py3-none-any.whl

workspace_server/workspaces.html

@@ -1,550 +0,0 @@
-<!doctype html>
-<html lang="en">
-<head>
-  <meta charset="utf-8">
-  <meta name="viewport" content="width=device-width, initial-scale=1">
-  <title>pycodex workspaces</title>
-  <style>
-    :root {
-      color-scheme: light dark;
-      --bg: #f6f7f9;
-      --panel: #ffffff;
-      --panel-soft: #f0f3f6;
-      --text: #17202a;
-      --muted: #687483;
-      --line: #dbe1e8;
-      --accent: #0b6bcb;
-      --accent-strong: #0859a8;
-      --danger: #b42318;
-      --danger-soft: #fff0ed;
-      font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
-    }
-    @media (prefers-color-scheme: dark) {
-      :root {
-        --bg: #101418;
-        --panel: #171d23;
-        --panel-soft: #202832;
-        --text: #eef3f8;
-        --muted: #9aa7b5;
-        --line: #2d3844;
-        --accent: #5aa9ff;
-        --accent-strong: #83bdff;
-        --danger: #ff8c7f;
-        --danger-soft: #321d1b;
-      }
-    }
-    * {
-      box-sizing: border-box;
-    }
-    body {
-      margin: 0;
-      min-height: 100vh;
-      background: var(--bg);
-      color: var(--text);
-      font-size: 14px;
-    }
-    button, input {
-      font: inherit;
-    }
-    button, a.button {
-      display: inline-flex;
-      min-height: 38px;
-      align-items: center;
-      justify-content: center;
-      gap: 7px;
-      border: 1px solid var(--line);
-      border-radius: 9px;
-      padding: 8px 14px;
-      background: var(--panel);
-      color: var(--text);
-      text-decoration: none;
-      cursor: pointer;
-      white-space: nowrap;
-    }
-    button.primary {
-      border-color: var(--accent);
-      background: var(--accent);
-      color: #fff;
-    }
-    button.primary:hover {
-      background: var(--accent-strong);
-    }
-    button.danger {
-      border-color: transparent;
-      background: transparent;
-      color: var(--muted);
-    }
-    button.danger:hover {
-      background: var(--danger-soft);
-      color: var(--danger);
-    }
-    button:disabled {
-      cursor: default;
-      opacity: .62;
-    }
-    input {
-      width: 100%;
-      min-height: 38px;
-      border: 1px solid var(--line);
-      border-radius: 9px;
-      padding: 8px 10px;
-      background: var(--panel);
-      color: var(--text);
-      outline: none;
-    }
-    input:focus {
-      border-color: var(--accent);
-      box-shadow: 0 0 0 3px color-mix(in srgb, var(--accent) 18%, transparent);
-    }
-    input::placeholder {
-      color: var(--muted);
-    }
-    .page {
-      width: min(1180px, calc(100vw - 48px));
-      margin: 0 auto;
-      padding: 28px 0 40px;
-    }
-    .topbar {
-      display: flex;
-      align-items: center;
-      justify-content: space-between;
-      gap: 16px;
-      margin-bottom: 24px;
-    }
-    .brand {
-      min-width: 0;
-    }
-    .brand h1 {
-      margin: 0;
-      font-size: 28px;
-      line-height: 1.25;
-      font-weight: 600;
-      letter-spacing: -0.8px;
-    }
-    .eyebrow { margin-bottom: 6px; color: var(--accent); font-size: 13px; font-weight: 600; }
-    .brand p {
-      margin: 10px 0 0;
-      color: var(--muted);
-      line-height: 1.45;
-    }
-    .status {
-      min-width: 220px;
-      max-width: 420px;
-      color: var(--muted);
-      text-align: right;
-      line-height: 1.4;
-    }
-    .status.error {
-      color: var(--danger);
-    }
-    .layout {
-      display: grid;
-      grid-template-columns: minmax(0, 1fr) 300px;
-      gap: 28px;
-      align-items: start;
-    }
-    .panel {
-      min-width: 0;
-    }
-    .create-panel { background: var(--panel); border: 1px solid var(--line); border-radius: 14px; }
-    .create-panel .panel-head { border-bottom: 0; padding-bottom: 0; }
-    .panel-head {
-      display: flex;
-      align-items: center;
-      justify-content: space-between;
-      gap: 12px;
-      border-bottom: 1px solid var(--line);
-      padding: 12px 0;
-    }
-    .create-panel .panel-head { padding: 20px 20px 0; }
-    .panel-title {
-      margin: 0;
-      font-size: 17px;
-      font-weight: 600;
-    }
-    .panel-subtitle {
-      margin: 8px 0 0;
-      color: var(--muted);
-      font-size: 13px;
-      line-height: 1.6;
-    }
-    form {
-      display: grid;
-      gap: 14px;
-      padding: 20px;
-    }
-    label {
-      display: grid;
-      gap: 8px;
-      color: var(--text);
-      font-size: 13px;
-      font-weight: 500;
-    }
-    label span {
-      color: var(--muted);
-    }
-    .form-actions {
-      display: flex;
-      gap: 9px;
-      align-items: center;
-      justify-content: flex-end;
-      margin-top: 2px;
-    }
-    .form-actions button { width: 100%; }
-    .summary {
-      display: flex;
-      gap: 24px;
-      padding: 12px 0;
-      border-bottom: 1px solid var(--line);
-    }
-    .metric {
-      min-width: 0;
-      display: flex;
-      align-items: baseline;
-      gap: 6px;
-    }
-    .metric-value {
-      display: block;
-      font-size: 14px;
-      font-weight: 600;
-      line-height: 1.1;
-    }
-    .metric-label {
-      display: block;
-      color: var(--muted);
-      font-size: 12px;
-    }
-    .workspace-list {
-      display: grid;
-    }
-    .workspace-row {
-      display: grid;
-      grid-template-columns: minmax(0, 1fr) auto;
-      gap: 8px 20px;
-      align-items: center;
-      border-bottom: 1px solid var(--line);
-      padding: 16px 0;
-    }
-    .workspace-name {
-      min-width: 0;
-    }
-    .workspace-name, .paths { grid-column: 1; }
-    .workspace-name strong {
-      display: block;
-      overflow: hidden;
-      text-overflow: ellipsis;
-      white-space: nowrap;
-      font-size: 16px;
-      font-weight: 600;
-    }
-    .session-count {
-      display: inline-flex;
-      margin-top: 6px;
-      color: var(--muted);
-      font-size: 12px;
-    }
-    .paths {
-      display: grid;
-      gap: 6px;
-      min-width: 0;
-    }
-    .path-line {
-      display: grid;
-      grid-template-columns: 64px minmax(0, 1fr);
-      gap: 8px;
-      align-items: baseline;
-      min-width: 0;
-    }
-    .path-label {
-      color: var(--muted);
-      font-size: 12px;
-      font-weight: 620;
-    }
-    .path-value {
-      overflow: hidden;
-      text-overflow: ellipsis;
-      white-space: nowrap;
-      font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;
-      font-size: 12px;
-    }
-    .actions {
-      display: flex;
-      gap: 8px;
-      justify-content: flex-end;
-      flex-wrap: wrap;
-      grid-column: 2;
-      grid-row: 1 / span 2;
-    }
-    .actions a.button { color: var(--accent); border-color: var(--line); }
-    .actions a.button:hover { background: var(--panel-soft); }
-    .empty {
-      display: grid;
-      justify-items: center;
-      gap: 8px;
-      padding: 54px 18px;
-      color: var(--muted);
-      text-align: center;
-    }
-    .empty strong {
-      color: var(--text);
-      font-size: 15px;
-    }
-    @media (max-width: 860px) {
-      .page {
-        width: min(100vw - 40px, 720px);
-        padding-top: 28px;
-      }
-      .topbar {
-        align-items: flex-start;
-        flex-direction: column;
-      }
-      .status {
-        min-width: 0;
-        text-align: left;
-      }
-      .layout {
-        grid-template-columns: 1fr;
-      }
-      .workspace-row {
-        align-items: stretch;
-      }
-      .actions {
-        justify-content: flex-start;
-      }
-    }
-    @media (max-width: 520px) {
-      .brand h1 { font-size: 28px; }
-      .topbar { margin-bottom: 24px; }
-      .layout { gap: 32px; }
-      .summary { gap: 16px; }
-      .workspace-row { grid-template-columns: 1fr; }
-      .actions { grid-column: 1; grid-row: auto; }
-      .path-line {
-        grid-template-columns: 1fr;
-      }
-      .path-value {
-        white-space: normal;
-        overflow-wrap: anywhere;
-      }
-    }
-  </style>
-</head>
-<body>
-  <main class="page">
-    <header class="topbar">
-      <div class="brand">
-        <div class="eyebrow">pycodex</div>
-        <h1>Your workspaces</h1>
-        <p>A place for each project. Pick up where you left off.</p>
-      </div>
-      <div id="status" class="status" role="status"></div>
-    </header>
-
-    <div class="layout">
-      <section class="panel" aria-labelledby="listTitle">
-        <div class="panel-head">
-          <h2 id="listTitle" class="panel-title">Workspaces</h2>
-          <button id="refreshButton" type="button">Refresh</button>
-        </div>
-        <div class="summary" aria-label="Workspace summary">
-          <div class="metric">
-            <span id="workspaceCount" class="metric-value">0</span>
-            <span class="metric-label">workspaces</span>
-          </div>
-          <div class="metric">
-            <span id="sessionCount" class="metric-value">0</span>
-            <span class="metric-label">sessions</span>
-          </div>
-          <div class="metric">
-            <span id="activeCount" class="metric-value">0</span>
-            <span class="metric-label">running</span>
-          </div>
-        </div>
-        <div id="workspaceRows" class="workspace-list"></div>
-      </section>
-      <section class="panel create-panel" aria-labelledby="addTitle">
-        <div class="panel-head">
-          <div>
-            <h2 id="addTitle" class="panel-title">New workspace</h2>
-            <p class="panel-subtitle">Connect a working directory and a board to get started.</p>
-          </div>
-        </div>
-        <form id="workspaceForm">
-          <label>Canvas file
-            <input id="boardInput" name="board" placeholder="/tmp/pcws-xxxx.html" spellcheck="false">
-          </label>
-          <label>Directory
-            <input id="dirInput" name="dir" placeholder="./" spellcheck="false">
-          </label>
-          <label>Name <span>optional</span>
-            <input id="nameInput" name="name" autocomplete="off" placeholder="workspace-1" spellcheck="false">
-          </label>
-          <div class="form-actions">
-            <button id="addButton" class="primary" type="submit">Create workspace</button>
-          </div>
-        </form>
-      </section>
-
-    </div>
-  </main>
-
-  <script>
-    const rows = document.getElementById("workspaceRows");
-    const form = document.getElementById("workspaceForm");
-    const statusEl = document.getElementById("status");
-    const nameInput = document.getElementById("nameInput");
-    const dirInput = document.getElementById("dirInput");
-    const boardInput = document.getElementById("boardInput");
-    const addButton = document.getElementById("addButton");
-    const refreshButton = document.getElementById("refreshButton");
-    const workspaceCount = document.getElementById("workspaceCount");
-    const sessionCount = document.getElementById("sessionCount");
-    const activeCount = document.getElementById("activeCount");
-
-    function api(path) {
-      return new URL(path, window.location.href).toString();
-    }
-
-    function setStatus(text, isError = false) {
-      statusEl.textContent = text || "";
-      statusEl.classList.toggle("error", Boolean(isError));
-    }
-
-    function textNode(tag, className, text) {
-      const node = document.createElement(tag);
-      node.className = className;
-      node.textContent = text || "";
-      return node;
-    }
-
-    function pathLine(label, value) {
-      const row = document.createElement("div");
-      row.className = "path-line";
-      row.appendChild(textNode("span", "path-label", label));
-      const path = textNode("span", "path-value", value || "");
-      path.title = value || "";
-      row.appendChild(path);
-      return row;
-    }
-
-    function renderSummary(workspaces) {
-      const sessions = [];
-      workspaces.forEach((workspace) => {
-        (workspace.sessions || []).forEach((session) => sessions.push(session));
-      });
-      workspaceCount.textContent = String(workspaces.length);
-      sessionCount.textContent = String(sessions.length);
-      activeCount.textContent = String(sessions.filter((session) => session.running).length);
-    }
-
-    function renderEmpty() {
-      const empty = document.createElement("div");
-      empty.className = "empty";
-      empty.appendChild(textNode("strong", "", "No workspaces yet"));
-      empty.appendChild(textNode("span", "", "Add one to open a board and start a pycodex session."));
-      rows.appendChild(empty);
-    }
-
-    function renderWorkspace(workspace) {
-      const row = document.createElement("article");
-      row.className = "workspace-row";
-
-      const name = document.createElement("div");
-      name.className = "workspace-name";
-      name.appendChild(textNode("strong", "", workspace.id || ""));
-      const sessions = Array.isArray(workspace.sessions) ? workspace.sessions : [];
-      name.appendChild(textNode("span", "session-count", `${sessions.length} session${sessions.length === 1 ? "" : "s"}`));
-
-      const paths = document.createElement("div");
-      paths.className = "paths";
-      paths.appendChild(pathLine("Directory", workspace.work_dir || ""));
-      paths.appendChild(pathLine("Canvas", workspace.board_path || ""));
-
-      const actions = document.createElement("div");
-      actions.className = "actions";
-      const open = document.createElement("a");
-      open.className = "button";
-      open.href = `w/${encodeURIComponent(workspace.id || "")}/`;
-      open.textContent = "Open";
-      const remove = document.createElement("button");
-      remove.className = "danger";
-      remove.type = "button";
-      remove.textContent = "Delete";
-      remove.addEventListener("click", () => deleteWorkspace(workspace.id || ""));
-      actions.appendChild(open);
-      actions.appendChild(remove);
-
-      row.appendChild(name);
-      row.appendChild(paths);
-      row.appendChild(actions);
-      rows.appendChild(row);
-    }
-
-    function render(workspaces) {
-      rows.textContent = "";
-      renderSummary(workspaces);
-      if (!workspaces.length) {
-        renderEmpty();
-        return;
-      }
-      workspaces.forEach(renderWorkspace);
-    }
-
-    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("");
-    }
-
-    async function addWorkspace(event) {
-      event.preventDefault();
-      setStatus("");
-      addButton.disabled = true;
-      const response = await fetch(api("api/workspaces"), {
-        method: "POST",
-        headers: {"Content-Type": "application/json"},
-        body: JSON.stringify({
-          name: nameInput.value.trim(),
-          dir: dirInput.value.trim() || "./",
-          board: boardInput.value.trim() || null,
-        }),
-      });
-      const payload = await response.json();
-      addButton.disabled = false;
-      if (!response.ok || !payload.ok) {
-        setStatus(payload.error || `HTTP ${response.status}`, true);
-        return;
-      }
-      nameInput.value = "";
-      dirInput.value = "";
-      boardInput.value = "";
-      render(payload.workspaces || []);
-      setStatus(`Added ${(payload.workspace && payload.workspace.id) || "workspace"}.`);
-    }
-
-    async function deleteWorkspace(name) {
-      if (!name) return;
-      setStatus("");
-      const response = await fetch(api(`api/workspaces/${encodeURIComponent(name)}`), {
-        method: "DELETE",
-      });
-      const payload = await response.json();
-      if (!response.ok || !payload.ok) {
-        setStatus(payload.error || `HTTP ${response.status}`, true);
-        return;
-      }
-      render(payload.workspaces || []);
-      setStatus(`Deleted ${name}.`);
-    }
-
-    form.addEventListener("submit", addWorkspace);
-    refreshButton.addEventListener("click", () => refresh().catch((error) => setStatus(error.message, true)));
-    refresh().catch((error) => setStatus(error.message, true));
-  </script>
-</body>
-</html>