ot-cli 0.2.1__py3-none-any.whl

openterminal/web/frontend/static/md_lite.js

@@ -0,0 +1,127 @@
+// 轻量 markdown 渲染（行内 code / 粗体 / 标题 / 列表 / 表格 / 段落），不引外部库。
+// 从 app.js 抽出独立成文件：node --test 可直接加载（module.exports 守卫），
+// 浏览器经 index.html 先于 app.js 装载为全局函数。
+"use strict";
+
+function esc(s) {
+  return String(s == null ? "" : s).replace(/[&<>"']/g, c => (
+    {"&": "&amp;", "<": "&lt;", ">": "&gt;", '"': "&quot;", "'": "&#39;"}[c]));
+}
+
+function mdInline(s) {
+  return s.replace(/`([^`]+)`/g, "<code>$1</code>")
+          .replace(/\*\*([^*]+)\*\*/g, "<strong>$1</strong>");
+}
+
+// --- 表格：按单元格切分一行（处理 \| 转义；去掉行首尾分隔符产生的空 cell）---
+function _splitRow(ln) {
+  const cells = [];
+  let cur = "";
+  for (let i = 0; i < ln.length; i++) {
+    const ch = ln[i];
+    if (ch === "\\" && ln[i + 1] === "|") { cur += "|"; i++; continue; }
+    if (ch === "|") { cells.push(cur.trim()); cur = ""; continue; }
+    cur += ch;
+  }
+  cells.push(cur.trim());
+  if (cells.length && cells[0] === "") cells.shift();
+  if (cells.length && cells[cells.length - 1] === "") cells.pop();
+  return cells;
+}
+
+function _renderTable(rows) {
+  const cells = rows.map(_splitRow);
+  const aligns = cells[1].map(a =>
+    /^:-+:$/.test(a) ? "center" : /-+:$/.test(a) ? "right" : "left");
+  const attr = i => (aligns[i] && aligns[i] !== "left" ? ` class="a-${aligns[i]}"` : "");
+  const tr = (row, tag) => "<tr>" + row.map((c, i) =>
+    `<${tag}${attr(i)}>` + mdInline(c) + `</${tag}>`).join("") + "</tr>";
+  return '<div class="mtable"><table><thead>' + tr(cells[0], "th") +
+    "</thead><tbody>" + cells.slice(2).map(r => tr(r, "td")).join("") +
+    "</tbody></table></div>";
+}
+
+const isPipeRow = ln => /^\s*\|.*\|\s*$/.test(ln);
+
+// 流式尾巴：未闭合的 `code / **bold 半截记号先剥掉，等闭合再渲染样式
+function stripIncompleteMarkers(s) {
+  let t = String(s == null ? "" : s);
+  if (((t.match(/`/g) || []).length) % 2) t = t.slice(0, t.lastIndexOf("`"));
+  if (((t.match(/\*\*/g) || []).length) % 2) t = t.slice(0, t.lastIndexOf("**"));
+  return t;
+}
+
+// emoji 裸小节标题启发式：emoji 开头 + 无句末标点 + 去空白 ≤24 字符 → 当作 ## 小节标题渲染
+const _EMOJI_START = /^\p{Extended_Pictographic}/u;
+const _END_PUNCT = /[。！？；：,.;:）)】\]」"']$/;
+function isBareSectionTitle(ln) {
+  const t = ln.trim();
+  if (!t || t.includes("|")) return false;
+  if (!_EMOJI_START.test(t)) return false;
+  if (_END_PUNCT.test(t)) return false;
+  return [...t].length <= 24;
+}
+
+// 分块渲染（打字机逐块揭示用）：把 markdown 切成自包含块——列表整段（含
+// 开闭标签）为一块，表格一块，其余逐行一块。mdLite = mdLiteBlocks 拼接，
+// 输出逐字节不变；块高度稳定（纯 opacity 揭示，绝不 clip/限高）。
+function mdLiteBlocks(src) {
+  const lines = esc(String(src == null ? "" : src)).split("\n");
+  const out = [];
+  let list = null;
+  let items = [];
+  const closeList = () => {
+    if (list) { out.push("<" + list + ">" + items.join("") + "</" + list + ">"); list = null; items = []; }
+  };
+  for (let i = 0; i < lines.length; i++) {
+    const ln = lines[i];
+    // 表格：管道行且下一行是分隔行（|---|:--:|）→ 整表吞并渲染
+    if (isPipeRow(ln) && i + 1 < lines.length
+        && /^\s*\|[\s:|-]+\|\s*$/.test(lines[i + 1])) {
+      closeList();
+      const rows = [];
+      let j = i;
+      while (j < lines.length && isPipeRow(lines[j])) rows.push(lines[j++]);
+      out.push(_renderTable(rows));
+      i = j - 1;
+      continue;
+    }
+    // 标题（# ~ ####）
+    const h = ln.match(/^\s*(#{1,4})\s+(.+)$/);
+    if (h) {
+      closeList();
+      out.push('<div class="mh mh' + h[1].length + '">' + mdInline(h[2]) + "</div>");
+      continue;
+    }
+    let m = ln.match(/^\s*(\d+)[.)]\s+(.*)$/);
+    if (m) {
+      if (list !== "ol") { closeList(); list = "ol"; }
+      items.push("<li>" + mdInline(m[2]) + "</li>");
+      continue;
+    }
+    m = ln.match(/^\s*[-*]\s+(.*)$/);
+    if (m) {
+      if (list !== "ul") { closeList(); list = "ul"; }
+      items.push("<li>" + mdInline(m[1]) + "</li>");
+      continue;
+    }
+    closeList();
+    if (!ln.trim()) { out.push("<div class=\"mgap\"></div>"); continue; }
+    if (isBareSectionTitle(ln)) {
+      out.push('<div class="mh mh2">' + mdInline(ln.trim()) + "</div>");
+      continue;
+    }
+    out.push("<div class=\"mline\">" + mdInline(ln) + "</div>");
+  }
+  closeList();
+  return out;
+}
+
+function mdLite(src) {
+  return mdLiteBlocks(src).join("");
+}
+
+if (typeof module !== "undefined" && module.exports) {
+  module.exports = {esc, mdInline, mdLite, mdLiteBlocks, stripIncompleteMarkers,
+                    isBareSectionTitle, _splitRow, _renderTable, isPipeRow};
+}

openterminal/web/frontend/static/modal.js

@@ -0,0 +1,122 @@
+// 通用模态框：从 app.js 抽出独立成文件，node --test 可直接加载
+// （module.exports 守卫，照 md_lite.js / pad_ledger.js 的先例）。
+//
+// 两个不变量（都是真机踩出来的）：
+//
+//  1. **代际号**：嵌套开窗时（如 TOFU 确认框顶掉登录框）旧 close 不得清掉
+//     新窗。每个 modalShell 拿一个自增号，close 只在自己仍是最新时清 DOM。
+//     缺了它，下面 async onClick 的修复会把刚开的 TOFU 确认框清空——表现
+//     为「点了连接就没反应」（确认框开了又被旧 close 抹掉）。
+//
+//  2. **onClick 可 async**：返回 Promise 时等结果再决定关不关（返回 false
+//     = 不关）。旧实现 `b.onClick() !== false` 对 Promise 恒为真，弹窗必关
+//     ——删除失败/保存失败想留框都做不到。同步返回 false 的旧行为不变。
+//
+// Enter 提交对 `.modal` 内任意 input/select 生效，**textarea 除外**：编辑器
+// （.fp-edit）里按 Enter 是换行，不能被提交关窗。
+
+function _esc(s) {
+  return String(s == null ? "" : s).replace(/[&<>"']/g, (c) => ({
+    "&": "&amp;", "<": "&lt;", ">": "&gt;", '"': "&quot;", "'": "&#39;",
+  })[c]);
+}
+
+let _modalSeq = 0;
+
+// buttons: [{label, primary?, onClick() -> bool|Promise<bool>(false=不关窗)}]
+function modalShell(title, bodyHtml, buttons, opts = {}) {
+  const root = opts.root || document.getElementById("modal-root");
+  const my = ++_modalSeq;
+  delete root.dataset.pw;   // 新模态顶掉密码模态标记：代关只认密码模态
+  const btns = buttons.map((b, i) =>
+    `<button class="${b.primary ? "primary" : ""}" data-i="${i}">` +
+    `${_esc(b.label)}</button>`).join("");
+  root.innerHTML = `
+    <div class="modal">
+      <h3>${_esc(title)}</h3>
+      <div class="modal-body">${bodyHtml}</div>
+      <div class="modal-btns">${btns}</div>
+    </div>`;
+
+  const close = () => {
+    // 只清自己这一代：期间若又开了新模态，旧 close 什么都不做
+    if (my === _modalSeq) root.innerHTML = "";
+  };
+
+  const fire = (b) => {
+    // 同步 onClick 保持同步语义（调用方的时序假设不受影响）；只有真的返回
+    // Promise（async onClick）才转异步等待。一律包成 Promise 会把同步回调
+    // 推到 microtask，改掉既有「点了立即有副作用」的行为。
+    let r;
+    try {
+      r = b.onClick ? b.onClick() : true;
+    } catch (e) {
+      console.error("modal onClick 失败:", e);
+      return;
+    }
+    if (r && typeof r.then === "function") {
+      r.then((v) => { if (v !== false) close(); })
+       .catch((e) => console.error("modal onClick 失败:", e));
+      return;
+    }
+    if (r !== false) close();
+  };
+
+  root.querySelectorAll(".modal-btns button").forEach((btn) => {
+    btn.onclick = () => fire(buttons[Number(btn.dataset.i)]);
+  });
+
+  root.onkeydown = (ev) => {
+    if (ev.key !== "Enter" || ev.shiftKey) return;
+    // textarea 里 Enter 是换行；只对 input/select 提交
+    const t = ev.target;
+    if (!t || (t.tagName !== "INPUT" && t.tagName !== "SELECT")) return;
+    ev.preventDefault();
+    fire(buttons.find((b) => b.primary) || buttons[0]);
+  };
+
+  root.onmousedown = (ev) => {
+    if (ev.target === root) {
+      opts.onDismiss && opts.onDismiss();
+      close();
+    }
+  };
+  return close;
+}
+
+function modalAsk(title, message, onOk, opts = {}) {
+  const rememberHtml = opts.remember
+    ? `<label class="modal-check"><input type="checkbox" id="modal-remember" checked> ` +
+      `${_esc(opts.rememberLabel || "记住密码")}</label>`
+    : "";
+  modalShell(title,
+    `<p>${_esc(message)}</p>` +
+    `<input type="${opts.password === false ? "text" : "password"}" ` +
+    `id="modal-value" autofocus>` +
+    rememberHtml,
+    [
+      {label: "确定", primary: true, onClick: () => {
+        const remember = opts.remember
+          ? document.getElementById("modal-remember").checked : false;
+        onOk(document.getElementById("modal-value").value, remember);
+      }},
+      {label: "取消", onClick: () => { opts.onCancel && opts.onCancel(); }},
+    ],
+    {onDismiss: opts.onCancel, root: opts.root});
+  const r = opts.root || document.getElementById("modal-root");
+  r.dataset.pw = "1";
+  const v = document.getElementById("modal-value");
+  if (v) v.focus();
+}
+
+function modalConfirm(title, message, onOk, yesLabel = "信任", noLabel = "拒绝",
+                      opts = {}) {
+  modalShell(title, `<p>${_esc(message)}</p>`, [
+    {label: yesLabel, primary: true, onClick: () => onOk(true)},
+    {label: noLabel, onClick: () => onOk(false)},
+  ], opts);
+}
+
+if (typeof module !== "undefined" && module.exports) {
+  module.exports = {modalShell, modalAsk, modalConfirm, _esc};
+}

openterminal/web/frontend/static/pad_ledger.js

@@ -0,0 +1,46 @@
+// pad 账目纯函数（node --test 可直测）。唯一权威是 xterm 缓冲：
+// worker 的 padded 应答只当唤醒信号，不入账。
+"use strict";
+
+// 卡片像素高 → 行数（至少 1 行）；cellH 非法时兜底 1 行。
+function rowsForPx(hPx, cellH) {
+  if (!(cellH > 0)) return 1;
+  if (!(hPx > 0)) return 1;
+  return Math.max(1, Math.ceil(hPx / cellH));
+}
+
+// 从 startLine 起的**连续**空白行数，最多到 limit（不含）。translateToString(true)
+// 去尾空白后为空即判空；越界/缺行视为空白（宁可少补，不可虚记）。
+// 这段连续空白就是该卡的预留区：其后一旦出现真实输出，pad 只能追加在流底、
+// 垫不进本区（该卡即「被盖帽」，长高只许截断）。旧实现按 [marker, 光标)
+// 整段数空白——把卡下方的命令输出也算进区宽，于是「blank < 区宽」恒成立、
+// 流底卡被误判成上游卡：一边夹紧钉高一边反复重贴（真机截断 + 闪）。
+// 纯空白行必须 trim 后再判：translateToString(true) 只裁到「最后写入的单元格」，
+// zsh 重画提示符时擦过的旧行留下整行空格、原样返回——不 trim 就把空格行当成
+// 真实输出掐断空白 run，预留区永远数不满（真机流底卡出生即盖帽的来源之一）。
+// 空格行上没有可见字形，卡盖上去不构成遮挡，判空白是安全的。
+function blankRun(buf, startLine, limit) {
+  if (!buf) return 0;
+  const end = Math.max(startLine, limit | 0);
+  let n = 0;
+  while (startLine + n < end) {
+    const line = buf.getLine(startLine + n);
+    const s = line ? line.translateToString(true) : "";
+    // pad 自身回显行（__ot_pad N）与垫行注入的提示符行（PS ...>/#/$）不打断
+    // 空白 run：hook 清显/量高竞态下残留——数进去等于把卡夹到 1 行
+    // （真机「卡片乱七八糟」根因：垫行落在提示符下方，提示符行截断空白）
+    if (s && s.trim() && !/__ot_pad/.test(s) && !/[>$#%]\s*$/.test(s.trim())) break;
+    n++;
+  }
+  return n;
+}
+
+// 还缺多少：need 行（含 +1 保险）减去预留区里已有的连续空白 run。
+// 只补真缺口，永不为负。
+function padGap(need, blank) {
+  return Math.max(0, need - blank);
+}
+
+if (typeof module !== "undefined" && module.exports) {
+  module.exports = { rowsForPx, blankRun, padGap };
+}