diff --git a/agents.md b/agents.md index 4a5c30d..54c7a95 100644 --- a/agents.md +++ b/agents.md @@ -283,4 +283,4 @@ cargo run -p ely-doc 启动一个应用（ElyDoc 先 cargo build -p ely - 2026-10-11：Linux 包的实测（L1.6）。本机（Omarchy，Hyprland 0.56）装上六个 Arch 包与六个 AppImage，`linux-installed.sh` 两种都过；deb、rpm、Arch 包在 Ubuntu 26.04、Fedora 44、Arch 容器里装上、全部 ELF 找得到库；deb 与 rpm 的六个应用在各自容器的 Xvfb 下画出窗口（`linux-distros.sh`）。截图按窗口（`grim -T` 加 Hyprland 的 `stableId`）：按区域截时用户切换工作区或别的窗口盖住即截错。ElyMark 的文件监视略去读取后不会自激：重读前先比指纹（长度与修改时间），不打开文件。 - 2026-10-11（用户定：替换 v0.1.3 的 Linux 包）：v0.1.3 发布里原有的六个 AppImage（无头，打不开窗口）已删去，换成本机容器里建出的六个应用各四种包（共 24 个），出自 L1.7 的提交（晚于该标签）；上传后逐个核对大小，ElyTree 的 AppImage 下载回来散列相同。`package.sh` 把每个 RUNPATH 按所在 ELF 解析（`$ORIGIN` 或 `${ORIGIN}` 开头，规范化后须在 AppDir 内），否则拒绝（如未修正的 cairo）：CI 用的是别处建好的引擎，旧构建会在这里报错而不是带进包里。替换的 Linux 包对应的源码随之上传到同一发布（`source.sh`，文件名带构建提交号），发布说明写明 Linux 包出自哪个提交。 - 2026-10-11：`ci.sh` 用 `ELY_SHARE` 时，CI 克隆里的 `engines`、`reference` 须是指向共享克隆的链接（Windows 为目录联接，不查）；是本克隆自建的目录或指向别处即报错，不混用。`.gitignore` 的 `/engines`、`/reference` 不带斜杠，链接也被忽略（`source.sh` 要求工作区干净）。 -- 2026-10-11（用户定：ElyMark 不用 CEF，不用 Electron）：ElyMark 改为原生。界面用组件库的 Markdown 组件（`documents::MarkdownEditor` 一族，缺的在组件库补并推到 Gitea），解析用 markdown-rs（`markdown` 1.0.0），公式用 RaTeX，Mermaid 用 mermaid-rs-renderer，PDF 用 MuPDF Story；CEF 随之删去，ElyMail 的正文也不用 CEF 与 Electron。进度在 `tasks/TASKS.md` 的 C14。组件库 fcad0ff 与 508cc55：`MarkdownRenderer`、`MarkdownEditor`、Markdown 着色、块范围与链接查找改读 markdown-rs 的语法树（GitHub 风格加公式），引用式链接与图片按定义解析，图片把所在段落分开，单行 `$$…$$` 为块公式，软换行（LF、CRLF、CR）读作空格，嵌套在引用与列表里的定义同样解析，强调与链接里的图片仍是图片（链接里的图片可按）；`BlockEditor` 的导入导出不属 ElyMark，仍用 pulldown-cmark。markdown-rs 读嵌套图片时只留外层的说明。组件库 d5ecc5a：块公式经 `typography::Latex` 由 RaTeX 排出（字形为轮廓，按窗口缩放画），```` ```mermaid ```` 块经 `documents::Diagram` 由 mermaid-rs-renderer 画出（Mermaid 自己的深浅主题，底色与字色取 Ely 色板），都作为 gpui 资源在后台排版，RaTeX 或 Mermaid 对已解析的输入 panic 时显示为错误；`MarkdownRenderer::base` 给出文档所在文件夹，相对与 file 地址的图片从中读取并按自身大小、不超过栏宽显示，`data:` 地址解码，网络图片不载入（写明）。组件库 ab9a14c：每个公式、图与图片元素经 `primitives::held` 持有其资源，按资源计数持有者（8b9820b；画出的图存在共享的记录里，9036c92 起由最后离开的持有者释放，哪怕它自己还没收到图），最后一个持有者换了内容或离开窗口才从 gpui 资源缓存移除、在本帧之后从图集释放，共用同一内容的元素（含 gpui 缓存的视图）不受影响；公式按字形实际范围取画框，字形不被裁；公式失败显示原因、RaTeX 给的位置与原文，日志不含公式；`file:` 地址去掉查询与片段，`localhost` 为本机，Windows 上别的主机为共享路径，他处拒绝；Mermaid 的节点与饼图文字取 Ely 的前景色。组件库 2b6f551：`documents::MarkdownDocument` 是文件级的 Markdown 文档：全文与撤销在一个 `CodeEditor` 里（`CodeEditor::highlighter` 以 `markdown_highlights` 着色，无行号）；可视以 gpui `list` 逐块画出文件的顶层块（链接定义、HTML、front matter 照原文显示，每个字节都在块里或块间），按下的块开成源码（`TextInput`），其键入即刻算作文档的文字，写回为一步撤销，上下键越过块边进入相邻块，Esc 写回；Cmd（他处 Ctrl）按下交给链接；预览只读；源码为编辑器本身；128 KiB 以内当场解析，更长的在后台解析，解析中按下块不打开（日志）；新解析保留两端相同的块，滚动不跳。`CodeEditor` 的撤销历史最多留 64 MiB 文字，超出先丢最旧的步；`CodeEditor::reset` 换文字且撤销重新开始；`MarkdownMode` 加 `Preview`。组件库 fc181b4：一个插入点通用于各模式（编辑器的选区，写回的块移动它）；`set_caret` 与 `set_top_line` 分别设插入点与视图，换模式保持顶行；按下的块在前一块写回后仍是所按的块（按偏移换算，结构变了即不开并记日志）；块是 Tab 停靠点，Enter 或空格打开；预览不收按下、撤销与重做；撤销与重做每次记录、输入法组字、撤销、重做后都限在 64 MiB 内（先丢最旧的撤销，再丢最远的重做）。组件库 433c38f：只有对当下文字的解析才能打开块（解析的文字与编辑器相同），否则拒绝；要求的顶行在其文字解析后才落定：先到所在块，下一帧按块高的比例到块内位置，再有新的要求即接着放下一个；源码与列表之间切换保持顶行，可视与预览共用一个列表，切换不动滚动。组件库 abac8b4：顶行的要求带编号，迟到的帧回调只完成自己的那个；文字一换即按新文字重新放，放时按当下文字的行数夹住；`reveal` 是同样的要求（插入点设在该行，该行放到顶上），新文字解析后才落定。组件库 f59c9f7：文字超过读取上限（2 MiB）即丢掉旧的读取，大纲与块为空。ElyMark（C14.4）：视图即一个 `MarkdownDocument`，文本即文件原文（BOM 与 CRLF 照 `text.rs` 存回），新建、打开、保存、另存、重命名经外壳照旧；视图在建成后的下一轮更新向外壳报一次载入（文档在 `new` 里当场解析，外壳此时还未订阅）；文字超过 2 MiB 即只用源码并转去源码（随当前文字，不只看打开时）；网页实现的查找替换、表格、附件、书写视图的应用、导出与打印删去，在 C14.9、C14.10、C14.12、C14.14 原生重做。C14.5 删去 CEF：`crates/ely-web-content`、`apps/ely-mark/web`、`scripts/fetch-cef.sh`、`scripts/build-mark-content.sh`、macOS 包里的辅助应用与其授权、Linux AppImage 的 `libcef` 安排、CEF 与网页依赖的许可、存储设置里的网页缓存、`webview.sh`、`hardened-macos.sh`、`linux-mark-idle.sh`、参考源码 cef、cef-rs、milkdown、codemirror-dev；`apps::open` 不再复原信号（只为 Chromium 屏蔽的 SIGTERM 而设）。旧 C14.1 至 C14.7、R2.13 与 ElyMark AppImage 的记录（CEF 实现）删去，在 git 历史；仍在的应用行为（外部变更与比较、会话、改名、Git 状态、最近与文件夹、`look.json`）在 C14.8 至 C14.16 逐条核对后重记。用户以前的 ElyMark 数据目录里可能留着 `web` 缓存文件夹，Ely 不再读写它。组件库 6f0401e：焦点进入空的可视文档即打开末尾的输入框，新文件可直接键入（原先键入无处落下）；362a0fc：换回可视时同样打开（预览与可视共用焦点，无焦点事件），全文撤销后若文档成空，读完新文字再打开末尾的输入框；639521e：只有一份撤销历史，块的输入框自己的撤销与重做从不运行：在打开的块里撤销或重做，先把块写回为一步，再走全文的历史（块内逐键的撤销没有了，一次块编辑是一步），重做跨模式、跨多次撤销都在。ElyMark（C14.6）：每个标签各记其模式，切换不改一个字节（编码写出与原文相同），撤销跨模式（全文一份撤销历史）；视图在模式首次可键入时记一次 `mark: shown as "…"`（源码即刻，可视与预览在块读完后），PERF-07 计到这条。Windows 上实测（Ryzen 9 9950X3D）1 MB 文档 P50 341 毫秒、P95 560 毫秒（`docs/perf/2026-10-12-Ryzen9-9950X3D.md`）；macOS、Linux 与树莓派未测。C14.7：语法由 markdown-rs 读（CommonMark 加 GFM 的表格、任务、删除线、自动链接，脚注，公式），front matter 不进可视，以原文块显示在最上（组件库 parse 测试核对各种块画成内容而非原文）；链接照 M-05：预览单击、可视 Cmd（他处 Ctrl）按下交应用，可视普通按下编辑该块（组件库 bbb6071 的链接测试）；应用只把 http、https、mailto 交系统打开，其余以提示拒绝（应用测试）；链接地址与图片读不出的原因不进日志（地址与路径属文档内容）。文档旁图片按文件所在文件夹读（`MarkView` 在打开与改名时交给组件）；组件库 4801555：表格单元格也是块，图片在格内照常画出（原只画替代文字），图片取自身宽度、以所在容器为上限（单元格可收缩，窄格里的图片按比例缩小，组件库 2e196a1）。gpui 的图片加载（`vendor/gpui-pre` 的 `img.rs`）：GIF 与 WebP 的坏帧即结束加载并报错（`img.rs` 的加载器与 `platform.rs` 的 `Image::to_image_data`，后者给 `data:` 图片用）（原样跳过坏帧，解码器到文件尾仍不停地报错，加载永不结束、占满一个核），错误与日志不带图片路径（原样把路径写进错误，`AssetLogger` 照写进日志）；应用测试以坏 GIF 核对两处加载都结束、错误里没有所在文件夹名。C14.8：左栏三页照旧（文件夹树、大纲、搜索）；大纲在纵向滚动区里（标题再多也选得到，侧栏测试以 100 个标题滚到最后），取组件按 markdown-rs 读出的标题与行，选一项即 `reveal`（该行在视图里、插入点在其上；可视模式里键入仍须先按下块）；多标签与最近列表经外壳与 `recent.json` 照旧。`desk::open_in` 收数据文件夹（`open` 照旧取本机的），应用的 gpui 测试以临时文件夹起整个窗口：打开文件即有标签、大纲行号、跳转落点与最近列表，键入的标题进大纲，两个文件两个标签各有大纲，打开文件夹只列 Markdown；文件监视在真线程上，测试以 `allow_parking` 允许。`ely_ui::install_no_launch_files`（`test-support`）给测试一个空的启动文件队列。随删去的网页页面一起的 `web.*` 文案（`i18n/web.rs`）删去。C14.9（组件库 ce4a1e9）：回车照列表续写（无序、有序加一、任务为未勾），空项回车即结束列表，源码与打开的块都如此，只在 markdown-rs 读作列表项且不在代码或公式里时（围栏里的 `- a` 照常换行；长文读完前源码里回车只换行），新项照所在项的引用前缀、缩进（空格或 Tab）、标记后的空白与任务框写出，父项标记处换成空格（组件库 e162082）；没写正文的任务框也算空项，回车即结束列表；Shift+Tab 把行首一个 Tab 当一级退回；在空白行（含只有空格的行）插入表格即以表格取代该行（上一行有字时先空一行），免成缩进代码（组件库 cd16b20）；打开的块里 Tab、Shift+Tab 把所触的行缩进或退回四格（`MarkdownDocument > ElyInput` 键位，块外 Tab 照旧在块间移动），源码由编辑器自己缩进；`MarkdownDocument::edit_table` 按插入点所在表格增删行列，`insert_table` 在插入点所在行后放一个三列表格，都为一步撤销，表格按规范写法重写（引用与列表里的表格各行照留其前缀，前缀不一即拒绝；表头之外的多余单元格照留，在其上的列操作拒绝；拒绝的原因经 `TableRefusal` 交给应用提示），预览里一切修改（表格、替换）都拒绝；`show_match` 在源码选中、可视打开其所在块并选中、预览转到其行，`replace` 一步替换（自己的写入计入，已打开的块不被关掉）；文字未读完时 `show_match` 先读，长文等读完在下一帧落定（记下所等的文字版本：其间文字一变即作废，新的请求取代等着的）；围栏代码按其语言着色（`forms::syntax_fenced`，散文名不着色，无名照通用着色）。ElyMark：Cmd/Ctrl+F 与“编辑›查找和替换”打开查找框（组件库 `FindWidget`，`find_all` 的大小写、全词、正则；正则写错即框内显示原因），源码里标出全部匹配与当前一处；替换一处后转到替换文字之后的下一处（到尾即回到第一处），全部替换为一步撤销；“表格”菜单插入表格与增删行列，插入点不在表格里即提示。应用测试以整窗核对计数、替换与撤销、正则错误、跳到下一处、表格菜单。C14.10（组件库 d126a7e）：拖到文档上的文件与剪贴板里只有图片（没有文字）时的粘贴，组件以 `Attachment` 事件交给属主（源码、打开的块与可视无块时都接 Cmd/Ctrl+V），`MarkdownDocument::insert` 在插入点写入文字（打开的块里照键入，预览拒绝）。ElyMark 的 `attach.rs`：只收图片（png、jpg、jpeg、gif、webp、svg、bmp，别的文件提示不收），在后台复制到文件旁的 `assets/`（拖入的保留原名、重名加序号，粘贴的名为 `pasted-毫秒.扩展名`；`ely_files::import_attachment` 与新的 `write_attachment` 同一套：以 `create_new` 占名，从不覆盖，写坏即删去），完成时文件仍在原文件夹才在插入点写 `![名](assets/名)`（名中的控制字符换成空格，方括号与反斜杠转义；地址除字母数字与 `-._~` 外逐字节百分号转义；文件名不是规范文字的图片在复制前即拒绝并说明，链接从不改写文件名），否则提示图片留在哪里；未保存过的文档与预览拒绝并说明。视图的文件夹只在外壳告知已存文件的位置时才有（`MarkView::moved`），图片的读取位置随之；未命名文档没有文件夹。`Opened` 去掉（只剩源），引擎直接载入 `Source`。C14.11（组件库 e89fb32）：`MarkdownDocument::reset` 换文字时保留插入点与顶行（按新文字夹住，顶行等新文字读完后落定），干净的标签接过磁盘文字即停在原处，撤销不回到旧文字；外部变更、改名跟随、删除与读错照旧（`outside.rs`；`ely_files::Fingerprint` 加上文件身份，保留修改时间的原子替换也认作变更，各应用的冲突核对同受其益；每次读盘编号，只认最新一次，落定前再核对磁盘仍是所读的那份，否则重看），比较后的合并经 `view.adopt` 为一步撤销。应用测试以整窗核对：干净重载保位与撤销止于磁盘，删除后留着文字并标为已删，改名后标签跟到新名，路径变成文件夹即标为读不出，合并为一步撤销，保留时间的替换照样重载，过期的读取不落定。C14.12（组件库 508fee9）：`MarkdownDocument::set_look(DocumentLook)` 是书写视图，只管怎么显示：`measure` 给正文栏的最大宽并居中（三种模式），`font` 给可视与预览的正文字体（代码照用等宽），`scale` 乘以正文与标题的字号（可视、预览经渲染的 `Draw`，打开的块同样，源码经 `CodeEditor::set_scale`），`focus` 让可视里读者所在块之外的块、源码里插入点所在行之外的行淡到 0.35（`CodeEditor::set_focus_line`），`typewriter` 让可视里读者所在块（打开的或插入点所在的）、源码里插入点所在行居中（块、文字、键入、块高或可视区一变即重新居中；两端各留半屏余量，首末块与首末行也能居中：可视放在第一块之上与末尾项之下，源码为列表首尾的空行（行数取正文区高度的一半，绘制、输入法与点按的坐标同一原点）；模式切换的定位落定后重新居中；源码在渲染时以严格居中滚动，`CodeEditor::set_typewriter`；居中记录含视图与行高；组件库 f102ea0、cf9cc19、7ed4ea8）。ElyMark 的 `look.json` 照旧（专注、打字机、窄中宽 36/48/64rem、无衬线/衬线/等宽、字号 70% 至 200%），新标签首次报到即取用，菜单一改即作用于全部标签并存下（存不下即提示）；衬线字体为 Georgia（Linux 为 DejaVu Serif，未在 Linux 上核对是否装有）；专注模式另收起标签条、左栏与状态栏（照旧）。搜索（C14.13，MARK-10）照旧：本文件或所开文件夹，不分大小写逐行找，打开着的文件按当前文字；每条结果另记该行第一处命中的字符列（查询与原文都逐字去掉大小写，词尾 `ς` 同 `σ`，照 Unicode 的大小写折叠；逐字对应回原文，`İ` 等变长的字照样对得上），选中即打开或转到该文件，插入点落在该处。输出（C14.14，MARK-11）：“文件›导出…”（⌘E）一个对话框选 HTML、HTML 与资源文件夹、PDF、纯文本，再选位置；HTML 由 ElyMark 按 markdown-rs 的语法树逐个节点写出（`output/html.rs`：GFM 加数学，front matter 不进输出，文档里的 HTML 一律转义成文字，链接按浏览器的读法（去掉首尾空白与控制字符、删去制表与换行）判定协议，只放行无协议、网页与邮件地址，脚注照 GFM 放在页末），公式换成 RaTeX 的轮廓 SVG（组件库 `formula_svg`，黑色；RaTeX 没有轮廓而写成文字的字，与图一样经 usvg 以系统字体变成路径，找不到字体即报错；先变路径再按墨迹定边框），Mermaid 图换成浅色 SVG，经 usvg 把箭头标记与文字都变成路径（组件库 `diagram_svg`，与公式共用 `flatten`；有标签或字找不到字体即报错，不让字悄悄消失），画不出的公式与图照原代码保留，按各自所在的行提示；图片：自包含的 HTML 内嵌为 data URL，资源文件夹版拷进新建的 `名称_files`（以 `create_new` 占名，由文件系统判同名，大小写不分的盘上也不互相覆盖；文件夹已在即拒绝，写坏只删本次自己建的（以建成与否为准，不先查是否存在）），网址与 `data:image` 原样保留，读不到的在 HTML 里照原地址、在 PDF 里写成方括号里的替代文字，并都提示；纯文本取自 mdast（块间空行，表格以制表符分格，公式写 TeX）。PDF：同一页面与图片写进标签暂存目录下每次各自的文件夹，`ely-pdf-worker` 的 `HTML_PDF` 以 MuPDF 的 story 排成 A4（边距 2 厘米），MuPDF 读不了的图（WebP、网址）事先列为缺图；story 或绘制有任何警告即整份失败、不写文件（同图片导出）；暂存随即删去。打印（⌘P）先写同一份 PDF（每次打印各自的文件）再交系统面板（`ely_office::print_later`）。“编辑›复制为富文本”：所选的 Markdown（源码模式里编辑器的选区，或打开的块的选区，组件库 `MarkdownDocument::selected`；可视与预览没打开块时没有选区，即全文）以同一套生成 HTML（图片内嵌）放进剪贴板，纯文本为 Markdown 本身；缺图、画不出的公式与图同导出一样提示。会话恢复（C14.15，MARK-12）照旧（`restore.rs`：`session.json` 记标签的路径、名称、模式、插入点与滚动，`look.json` 记视图设置，崩溃后未保存的文字以未命名副本回来，原文件不动）；恢复点或会话写不进时，窗口以提示写明（恢复点另写明该标签上次存下的时间，未曾存下写“尚无”），同一错误只提示一次，每次计时照样重试；所记的模式改为类型化的 `Mode`（serde 按小写名），认不出的模式与其他坏字段一样使会话读不出、启动报错，不再悄悄当作可视；原由已删的 CEF 窗口脚本覆盖的重启与崩溃恢复，改由同一进程里两个 gpui 测试上下文先后开同一数据目录核对。导出不写打开着的文件（`ely_files::export` 与外壳的持有者检查）。ElyMark 因此依赖 `ely-pdf-engine`，各端的包随带 `ely-pdf-worker` 与 MuPDF、OpenSSL、Great Vibes 的许可；OCR 语言数据只随 ElyPDF。 +- 2026-10-11（用户定：ElyMark 不用 CEF，不用 Electron）：ElyMark 改为原生。界面用组件库的 Markdown 组件（`documents::MarkdownEditor` 一族，缺的在组件库补并推到 Gitea），解析用 markdown-rs（`markdown` 1.0.0），公式用 RaTeX，Mermaid 用 mermaid-rs-renderer，PDF 用 MuPDF Story；CEF 随之删去，ElyMail 的正文也不用 CEF 与 Electron。进度在 `tasks/TASKS.md` 的 C14。组件库 fcad0ff 与 508cc55：`MarkdownRenderer`、`MarkdownEditor`、Markdown 着色、块范围与链接查找改读 markdown-rs 的语法树（GitHub 风格加公式），引用式链接与图片按定义解析，图片把所在段落分开，单行 `$$…$$` 为块公式，软换行（LF、CRLF、CR）读作空格，嵌套在引用与列表里的定义同样解析，强调与链接里的图片仍是图片（链接里的图片可按）；`BlockEditor` 的导入导出不属 ElyMark，仍用 pulldown-cmark。markdown-rs 读嵌套图片时只留外层的说明。组件库 d5ecc5a：块公式经 `typography::Latex` 由 RaTeX 排出（字形为轮廓，按窗口缩放画），```` ```mermaid ```` 块经 `documents::Diagram` 由 mermaid-rs-renderer 画出（Mermaid 自己的深浅主题，底色与字色取 Ely 色板），都作为 gpui 资源在后台排版，RaTeX 或 Mermaid 对已解析的输入 panic 时显示为错误；`MarkdownRenderer::base` 给出文档所在文件夹，相对与 file 地址的图片从中读取并按自身大小、不超过栏宽显示，`data:` 地址解码，网络图片不载入（写明）。组件库 ab9a14c：每个公式、图与图片元素经 `primitives::held` 持有其资源，按资源计数持有者（8b9820b；画出的图存在共享的记录里，9036c92 起由最后离开的持有者释放，哪怕它自己还没收到图），最后一个持有者换了内容或离开窗口才从 gpui 资源缓存移除、在本帧之后从图集释放，共用同一内容的元素（含 gpui 缓存的视图）不受影响；公式按字形实际范围取画框，字形不被裁；公式失败显示原因、RaTeX 给的位置与原文，日志不含公式；`file:` 地址去掉查询与片段，`localhost` 为本机，Windows 上别的主机为共享路径，他处拒绝；Mermaid 的节点与饼图文字取 Ely 的前景色。组件库 2b6f551：`documents::MarkdownDocument` 是文件级的 Markdown 文档：全文与撤销在一个 `CodeEditor` 里（`CodeEditor::highlighter` 以 `markdown_highlights` 着色，无行号）；可视以 gpui `list` 逐块画出文件的顶层块（链接定义、HTML、front matter 照原文显示，每个字节都在块里或块间），按下的块开成源码（`TextInput`），其键入即刻算作文档的文字，写回为一步撤销，上下键越过块边进入相邻块，Esc 写回；Cmd（他处 Ctrl）按下交给链接；预览只读；源码为编辑器本身；128 KiB 以内当场解析，更长的在后台解析，解析中按下块不打开（日志）；新解析保留两端相同的块，滚动不跳。`CodeEditor` 的撤销历史最多留 64 MiB 文字，超出先丢最旧的步；`CodeEditor::reset` 换文字且撤销重新开始；`MarkdownMode` 加 `Preview`。组件库 fc181b4：一个插入点通用于各模式（编辑器的选区，写回的块移动它）；`set_caret` 与 `set_top_line` 分别设插入点与视图，换模式保持顶行；按下的块在前一块写回后仍是所按的块（按偏移换算，结构变了即不开并记日志）；块是 Tab 停靠点，Enter 或空格打开；预览不收按下、撤销与重做；撤销与重做每次记录、输入法组字、撤销、重做后都限在 64 MiB 内（先丢最旧的撤销，再丢最远的重做）。组件库 433c38f：只有对当下文字的解析才能打开块（解析的文字与编辑器相同），否则拒绝；要求的顶行在其文字解析后才落定：先到所在块，下一帧按块高的比例到块内位置，再有新的要求即接着放下一个；源码与列表之间切换保持顶行，可视与预览共用一个列表，切换不动滚动。组件库 abac8b4：顶行的要求带编号，迟到的帧回调只完成自己的那个；文字一换即按新文字重新放，放时按当下文字的行数夹住；`reveal` 是同样的要求（插入点设在该行，该行放到顶上），新文字解析后才落定。组件库 f59c9f7：文字超过读取上限（2 MiB）即丢掉旧的读取，大纲与块为空。ElyMark（C14.4）：视图即一个 `MarkdownDocument`，文本即文件原文（BOM 与 CRLF 照 `text.rs` 存回），新建、打开、保存、另存、重命名经外壳照旧；视图在建成后的下一轮更新向外壳报一次载入（文档在 `new` 里当场解析，外壳此时还未订阅）；文字超过 2 MiB 即只用源码并转去源码（随当前文字，不只看打开时）；网页实现的查找替换、表格、附件、书写视图的应用、导出与打印删去，在 C14.9、C14.10、C14.12、C14.14 原生重做。C14.5 删去 CEF：`crates/ely-web-content`、`apps/ely-mark/web`、`scripts/fetch-cef.sh`、`scripts/build-mark-content.sh`、macOS 包里的辅助应用与其授权、Linux AppImage 的 `libcef` 安排、CEF 与网页依赖的许可、存储设置里的网页缓存、`webview.sh`、`hardened-macos.sh`、`linux-mark-idle.sh`、参考源码 cef、cef-rs、milkdown、codemirror-dev；`apps::open` 不再复原信号（只为 Chromium 屏蔽的 SIGTERM 而设）。旧 C14.1 至 C14.7、R2.13 与 ElyMark AppImage 的记录（CEF 实现）删去，在 git 历史；仍在的应用行为（外部变更与比较、会话、改名、Git 状态、最近与文件夹、`look.json`）在 C14.8 至 C14.16 逐条核对后重记。用户以前的 ElyMark 数据目录里可能留着 `web` 缓存文件夹，Ely 不再读写它。组件库 6f0401e：焦点进入空的可视文档即打开末尾的输入框，新文件可直接键入（原先键入无处落下）；362a0fc：换回可视时同样打开（预览与可视共用焦点，无焦点事件），全文撤销后若文档成空，读完新文字再打开末尾的输入框；639521e：只有一份撤销历史，块的输入框自己的撤销与重做从不运行：在打开的块里撤销或重做，先把块写回为一步，再走全文的历史（块内逐键的撤销没有了，一次块编辑是一步），重做跨模式、跨多次撤销都在。ElyMark（C14.6）：每个标签各记其模式，切换不改一个字节（编码写出与原文相同），撤销跨模式（全文一份撤销历史）；视图在模式首次可键入时记一次 `mark: shown as "…"`（源码即刻，可视与预览在块读完后），PERF-07 计到这条。Windows 上实测（Ryzen 9 9950X3D）1 MB 文档 P50 341 毫秒、P95 560 毫秒（`docs/perf/2026-10-12-Ryzen9-9950X3D.md`）；macOS、Linux 与树莓派未测。C14.7：语法由 markdown-rs 读（CommonMark 加 GFM 的表格、任务、删除线、自动链接，脚注，公式），front matter 不进可视，以原文块显示在最上（组件库 parse 测试核对各种块画成内容而非原文）；链接照 M-05：预览单击、可视 Cmd（他处 Ctrl）按下交应用，可视普通按下编辑该块（组件库 bbb6071 的链接测试）；应用只把 http、https、mailto 交系统打开，其余以提示拒绝（应用测试）；链接地址与图片读不出的原因不进日志（地址与路径属文档内容）。文档旁图片按文件所在文件夹读（`MarkView` 在打开与改名时交给组件）；组件库 4801555：表格单元格也是块，图片在格内照常画出（原只画替代文字），图片取自身宽度、以所在容器为上限（单元格可收缩，窄格里的图片按比例缩小，组件库 2e196a1）。gpui 的图片加载（`vendor/gpui-pre` 的 `img.rs`）：GIF 与 WebP 的坏帧即结束加载并报错（`img.rs` 的加载器与 `platform.rs` 的 `Image::to_image_data`，后者给 `data:` 图片用）（原样跳过坏帧，解码器到文件尾仍不停地报错，加载永不结束、占满一个核），错误与日志不带图片路径（原样把路径写进错误，`AssetLogger` 照写进日志）；应用测试以坏 GIF 核对两处加载都结束、错误里没有所在文件夹名。C14.8：左栏三页照旧（文件夹树、大纲、搜索）；大纲在纵向滚动区里（标题再多也选得到，侧栏测试以 100 个标题滚到最后），取组件按 markdown-rs 读出的标题与行，选一项即 `reveal`（该行在视图里、插入点在其上；可视模式里键入仍须先按下块）；多标签与最近列表经外壳与 `recent.json` 照旧。`desk::open_in` 收数据文件夹（`open` 照旧取本机的），应用的 gpui 测试以临时文件夹起整个窗口：打开文件即有标签、大纲行号、跳转落点与最近列表，键入的标题进大纲，两个文件两个标签各有大纲，打开文件夹只列 Markdown；文件监视在真线程上，测试以 `allow_parking` 允许。`ely_ui::install_no_launch_files`（`test-support`）给测试一个空的启动文件队列。随删去的网页页面一起的 `web.*` 文案（`i18n/web.rs`）删去。C14.9（组件库 ce4a1e9）：回车照列表续写（无序、有序加一、任务为未勾），空项回车即结束列表，源码与打开的块都如此，只在 markdown-rs 读作列表项且不在代码或公式里时（围栏里的 `- a` 照常换行；长文读完前源码里回车只换行），新项照所在项的引用前缀、缩进（空格或 Tab）、标记后的空白与任务框写出，父项标记处换成空格（组件库 e162082）；没写正文的任务框也算空项，回车即结束列表；Shift+Tab 把行首一个 Tab 当一级退回；在空白行（含只有空格的行）插入表格即以表格取代该行（上一行有字时先空一行），免成缩进代码（组件库 cd16b20）；打开的块里 Tab、Shift+Tab 把所触的行缩进或退回四格（`MarkdownDocument > ElyInput` 键位，块外 Tab 照旧在块间移动），源码由编辑器自己缩进；`MarkdownDocument::edit_table` 按插入点所在表格增删行列，`insert_table` 在插入点所在行后放一个三列表格，都为一步撤销，表格按规范写法重写（引用与列表里的表格各行照留其前缀，前缀不一即拒绝；表头之外的多余单元格照留，在其上的列操作拒绝；拒绝的原因经 `TableRefusal` 交给应用提示），预览里一切修改（表格、替换）都拒绝；`show_match` 在源码选中、可视打开其所在块并选中、预览转到其行，`replace` 一步替换（自己的写入计入，已打开的块不被关掉）；文字未读完时 `show_match` 先读，长文等读完在下一帧落定（记下所等的文字版本：其间文字一变即作废，新的请求取代等着的）；围栏代码按其语言着色（`forms::syntax_fenced`，散文名不着色，无名照通用着色）。ElyMark：Cmd/Ctrl+F 与“编辑›查找和替换”打开查找框（组件库 `FindWidget`，`find_all` 的大小写、全词、正则；正则写错即框内显示原因），源码里标出全部匹配与当前一处；替换一处后转到替换文字之后的下一处（到尾即回到第一处），全部替换为一步撤销；“表格”菜单插入表格与增删行列，插入点不在表格里即提示。应用测试以整窗核对计数、替换与撤销、正则错误、跳到下一处、表格菜单。C14.10（组件库 d126a7e）：拖到文档上的文件与剪贴板里只有图片（没有文字）时的粘贴，组件以 `Attachment` 事件交给属主（源码、打开的块与可视无块时都接 Cmd/Ctrl+V），`MarkdownDocument::insert` 在插入点写入文字（打开的块里照键入，预览拒绝）。ElyMark 的 `attach.rs`：只收图片（png、jpg、jpeg、gif、webp、svg、bmp，别的文件提示不收），在后台复制到文件旁的 `assets/`（拖入的保留原名、重名加序号，粘贴的名为 `pasted-毫秒.扩展名`；`ely_files::import_attachment` 与新的 `write_attachment` 同一套：以 `create_new` 占名，从不覆盖，写坏即删去），完成时文件仍在原文件夹才在插入点写 `![名](assets/名)`（名中的控制字符换成空格，方括号与反斜杠转义；地址除字母数字与 `-._~` 外逐字节百分号转义；文件名不是规范文字的图片在复制前即拒绝并说明，链接从不改写文件名），否则提示图片留在哪里；未保存过的文档与预览拒绝并说明。视图的文件夹只在外壳告知已存文件的位置时才有（`MarkView::moved`），图片的读取位置随之；未命名文档没有文件夹。`Opened` 去掉（只剩源），引擎直接载入 `Source`。C14.11（组件库 e89fb32）：`MarkdownDocument::reset` 换文字时保留插入点与顶行（按新文字夹住，顶行等新文字读完后落定），干净的标签接过磁盘文字即停在原处，撤销不回到旧文字；外部变更、改名跟随、删除与读错照旧（`outside.rs`；`ely_files::Fingerprint` 加上文件身份，保留修改时间的原子替换也认作变更，各应用的冲突核对同受其益；每次读盘编号，只认最新一次，落定前再核对磁盘仍是所读的那份，否则重看），比较后的合并经 `view.adopt` 为一步撤销。应用测试以整窗核对：干净重载保位与撤销止于磁盘，删除后留着文字并标为已删，改名后标签跟到新名，路径变成文件夹即标为读不出，合并为一步撤销，保留时间的替换照样重载，过期的读取不落定。C14.12（组件库 508fee9）：`MarkdownDocument::set_look(DocumentLook)` 是书写视图，只管怎么显示：`measure` 给正文栏的最大宽并居中（三种模式），`font` 给可视与预览的正文字体（代码照用等宽），`scale` 乘以正文与标题的字号（可视、预览经渲染的 `Draw`，打开的块同样，源码经 `CodeEditor::set_scale`），`focus` 让可视里读者所在块之外的块、源码里插入点所在行之外的行淡到 0.35（`CodeEditor::set_focus_line`），`typewriter` 让可视里读者所在块（打开的或插入点所在的）、源码里插入点所在行居中（块、文字、键入、块高或可视区一变即重新居中；两端各留半屏余量，首末块与首末行也能居中：可视放在第一块之上与末尾项之下，源码为列表首尾的空行（行数取正文区高度的一半，绘制、输入法与点按的坐标同一原点）；模式切换的定位落定后重新居中；源码在渲染时以严格居中滚动，`CodeEditor::set_typewriter`；居中记录含视图与行高；组件库 f102ea0、cf9cc19、7ed4ea8）。ElyMark 的 `look.json` 照旧（专注、打字机、窄中宽 36/48/64rem、无衬线/衬线/等宽、字号 70% 至 200%），新标签首次报到即取用，菜单一改即作用于全部标签并存下（存不下即提示）；衬线字体为 Georgia（Linux 为 DejaVu Serif，未在 Linux 上核对是否装有）；专注模式另收起标签条、左栏与状态栏（照旧）。搜索（C14.13，MARK-10）照旧：本文件或所开文件夹，不分大小写逐行找，打开着的文件按当前文字；每条结果另记该行第一处命中的字符列（查询与原文都逐字去掉大小写，词尾 `ς` 同 `σ`，照 Unicode 的大小写折叠；逐字对应回原文，`İ` 等变长的字照样对得上），选中即打开或转到该文件，插入点落在该处。输出（C14.14，MARK-11）：“文件›导出…”（⌘E）一个对话框选 HTML、HTML 与资源文件夹、PDF、纯文本，再选位置；HTML 由 ElyMark 按 markdown-rs 的语法树逐个节点写出（`output/html.rs`：GFM 加数学，front matter 不进输出，文档里的 HTML 一律转义成文字，链接按浏览器的读法（去掉首尾空白与控制字符、删去制表与换行）判定协议，只放行无协议、网页与邮件地址，脚注照 GFM 放在页末），公式换成 RaTeX 的轮廓 SVG（组件库 `formula_svg`，黑色；RaTeX 没有轮廓而写成文字的字，与图一样经 usvg 以系统字体变成路径，找不到字体即报错；先变路径再按墨迹定边框），Mermaid 图换成浅色 SVG，经 usvg 把箭头标记与文字都变成路径（组件库 `diagram_svg`，与公式共用 `flatten`；有标签或字找不到字体即报错，不让字悄悄消失），画不出的公式与图照原代码保留，按各自所在的行提示；图片：自包含的 HTML 内嵌为 data URL，资源文件夹版拷进新建的 `名称_files`（以 `create_new` 占名，由文件系统判同名，大小写不分的盘上也不互相覆盖；文件夹已在即拒绝，写坏只删本次自己建的（以建成与否为准，不先查是否存在）），网址与 `data:image` 原样保留，读不到的在 HTML 里照原地址、在 PDF 里写成方括号里的替代文字，并都提示；纯文本取自 mdast（块间空行，表格以制表符分格，公式写 TeX）。PDF：同一页面与图片写进标签暂存目录下每次各自的文件夹，`ely-pdf-worker` 的 `HTML_PDF` 以 MuPDF 的 story 排成 A4（边距 2 厘米），MuPDF 读不了的图（WebP、网址）事先列为缺图；story 或绘制有任何警告即整份失败、不写文件（同图片导出）；暂存随即删去。打印（⌘P）先写同一份 PDF（每次打印各自的文件）再交系统面板（`ely_office::print_later`）。“编辑›复制为富文本”：所选的 Markdown（源码模式里编辑器的选区，或打开的块的选区，组件库 `MarkdownDocument::selected`；可视与预览没打开块时没有选区，即全文）以同一套生成 HTML（图片内嵌）放进剪贴板，纯文本为 Markdown 本身；缺图、画不出的公式与图同导出一样提示。会话恢复（C14.15，MARK-12）照旧（`restore.rs`：`session.json` 记标签的路径、名称、模式、插入点与滚动，`look.json` 记视图设置，崩溃后未保存的文字以未命名副本回来，原文件不动）；恢复点或会话写不进时，窗口以提示写明（恢复点另写明该标签上次存下的时间，未曾存下写“尚无”），同一类错误（按 `io::ErrorKind`，不按含临时文件名的原话）只提示一次，每次计时照样重试；崩溃后恢复的标签以所载恢复点的时间为“上次存下”；所记的模式改为类型化的 `Mode`（serde 按小写名），认不出的模式与其他坏字段一样使会话读不出、启动报错，不再悄悄当作可视；原由已删的 CEF 窗口脚本覆盖的重启与崩溃恢复，改由同一进程里两个 gpui 测试上下文先后开同一数据目录核对。导出不写打开着的文件（`ely_files::export` 与外壳的持有者检查）。ElyMark 因此依赖 `ely-pdf-engine`，各端的包随带 `ely-pdf-worker` 与 MuPDF、OpenSSL、Great Vibes 的许可；OCR 语言数据只随 ElyPDF。 diff --git a/apps/ely-mark/src/outside.rs b/apps/ely-mark/src/outside.rs index 35ca0ca..ff91424 100644 --- a/apps/ely-mark/src/outside.rs +++ b/apps/ely-mark/src/outside.rs @@ -53,7 +53,7 @@ pub struct Extra { pub pointing: bool, /// When a point last landed, and the failure last shown. pub pointed_at: Option, - pub point_failed: Option, + pub point_failed: Option, /// A kept tab's mode, place and text came back once. pub restored: bool, /// Disk reads started; only the newest lands. diff --git a/apps/ely-mark/src/restore.rs b/apps/ely-mark/src/restore.rs index 7877c00..d12514a 100644 --- a/apps/ely-mark/src/restore.rs +++ b/apps/ely-mark/src/restore.rs @@ -46,8 +46,8 @@ pub struct Keeping { crash: Option, waiting: Vec, written: Option, - /// The session write failure last shown. - unwritten: Option, + /// The kind of session write failure last shown. + unwritten: Option, /// A quit began: the kept list stays as then. pub leaving: bool, /// The list as kept when the quit began. @@ -227,6 +227,8 @@ impl Desk { let tab = self.tab_mut(id).expect("open"); // A recovered copy keeps writing to the same points. tab.extra.slot = kept.slot.clone(); + // Its point stands until a newer lands. + tab.extra.pointed_at = back.as_ref().map(|(_, at)| *at); let view = tab.view.clone(); if let Some((_, at)) = &back { let at = humantime(*at); @@ -334,14 +336,15 @@ impl Desk { tab.extra.point_failed = None; return; } - Err(error) => error.to_string(), + Err(error) => error, }; log::error!("mark: a recovery point for tab {id} failed: {error}"); - // Each failure shows once; the next tick retries. - if tab.extra.point_failed.as_ref() == Some(&error) { + // Each kind of failure shows once; the next tick retries. + if tab.extra.point_failed == Some(error.kind()) { return; } - tab.extra.point_failed = Some(error.clone()); + tab.extra.point_failed = Some(error.kind()); + let error = error.to_string(); let at = match tab.extra.pointed_at { Some(at) => humantime(at), None => text(cx, "office.stopped.never", &[]).to_string(), @@ -363,13 +366,13 @@ impl Desk { self.keeping.unwritten = None; return; } - Err(error) => error.to_string(), + Err(error) => error, }; log::error!("mark: the session did not save: {error}"); - // Each failure shows once; the next tick retries. - if self.keeping.unwritten.as_ref() != Some(&error) { - self.keeping.unwritten = Some(error.clone()); - let said = text(cx, "mark.session.failed", &[("error", &error)]); + // Each kind of failure shows once; the next tick retries. + if self.keeping.unwritten != Some(error.kind()) { + self.keeping.unwritten = Some(error.kind()); + let said = text(cx, "mark.session.failed", &[("error", &error.to_string())]); self.toast(said, ely_gpui_component::primitives::Severity::Danger, cx); } } diff --git a/apps/ely-mark/src/restore/tests.rs b/apps/ely-mark/src/restore/tests.rs index 671c288..ce62242 100644 --- a/apps/ely-mark/src/restore/tests.rs +++ b/apps/ely-mark/src/restore/tests.rs @@ -309,4 +309,136 @@ mod window { "once" ); } + + /// Types `typed` into the shown tab, then keeps. + fn type_and_keep( + desk: &Entity, + view: &Entity, + typed: &str, + cx: &mut VisualTestContext, + ) { + view.update(cx, |view, cx| view.adopt(typed.into(), cx)); + cx.executor() + .advance_clock(std::time::Duration::from_secs(1)); + cx.run_until_parked(); + desk.update(cx, |desk, cx| desk.keep(cx)); + cx.run_until_parked(); + } + + #[gpui::test] + fn a_recovered_tab_names_its_point_when_the_next_fails( + first: &mut TestAppContext, + second: &mut TestAppContext, + ) { + let (data, files) = ( + tempfile::tempdir().expect("data"), + tempfile::tempdir().expect("files"), + ); + let a = files.path().join("a.md"); + std::fs::write( + &a, "Text. +", + ) + .expect("a"); + let (desk, cx) = start(first, data.path()); + open(&desk, &a, cx); + let view = show(&desk, "a.md", cx); + type_and_keep( + &desk, + &view, + "Changed. +", + cx, + ); + std::fs::write(data.path().join("session.lock"), "open 4294967295").expect("a lock"); + let (desk, cx) = start(second, data.path()); + let copy = desk.read_with(cx, |desk, _| { + let tab = desk + .core + .tabs + .iter() + .find(|tab| tab.session.path().is_none()); + tab.expect("an untitled copy").name.to_string() + }); + let view = show(&desk, ©, cx); + let recovery = data.path().join("recovery"); + std::fs::remove_dir_all(&recovery).expect("removes"); + std::fs::write(&recovery, "not a folder").expect("blocks"); + type_and_keep( + &desk, &view, "Again. +", cx, + ); + assert_eq!(toasted(&desk, "was not kept for recovery", cx), 1); + assert_eq!( + toasted(&desk, "none yet", cx), + 0, + "the recovered point's time shows" + ); + } + + /// Every folder under `dir` read-only, or writable again. + #[cfg(unix)] + fn lock_down(dir: &std::path::Path, locked: bool) { + use std::os::unix::fs::PermissionsExt as _; + let mode = if locked { 0o500 } else { 0o700 }; + std::fs::set_permissions(dir, std::fs::Permissions::from_mode(mode)).expect("permissions"); + for entry in std::fs::read_dir(dir).expect("lists") { + let path = entry.expect("an entry").path(); + if path.is_dir() { + lock_down(&path, locked); + } + } + } + + #[cfg(unix)] + #[gpui::test] + fn denied_writes_show_once_each(cx: &mut TestAppContext) { + let (data, files) = ( + tempfile::tempdir().expect("data"), + tempfile::tempdir().expect("files"), + ); + let a = files.path().join("a.md"); + std::fs::write( + &a, "Text. +", + ) + .expect("a"); + let (desk, cx) = start(cx, data.path()); + open(&desk, &a, cx); + let view = show(&desk, "a.md", cx); + type_and_keep( + &desk, &view, "One. +", cx, + ); + lock_down(&data.path().join("recovery"), true); + type_and_keep( + &desk, &view, "Two. +", cx, + ); + type_and_keep( + &desk, &view, "Three. +", cx, + ); + lock_down(&data.path().join("recovery"), false); + assert_eq!( + toasted(&desk, "was not kept for recovery", cx), + 1, + "a point" + ); + lock_down(data.path(), true); + for line in [1, 2] { + view.update(cx, |view, cx| { + view.document() + .update(cx, |document, cx| document.set_caret(line, 0, cx)) + }); + desk.update(cx, |desk, cx| desk.keep(cx)); + cx.run_until_parked(); + } + lock_down(data.path(), false); + assert_eq!( + toasted(&desk, "were not saved for the next launch", cx), + 1, + "the session" + ); + } } diff --git a/tasks/reviews/C14.15-r2.md b/tasks/reviews/C14.15-r2.md new file mode 100644 index 0000000..b7666c5 --- /dev/null +++ b/tasks/reviews/C14.15-r2.md @@ -0,0 +1,5 @@ +FAIL + +1. apps/ely-mark/src/restore.rs:341 — Error deduplication compares complete error strings here and at line 370. Those strings contain changing recovery timestamps and random temporary filenames, so an unchanged permission failure produces a new notification on every retry. On WSL, make a tab's existing `points/` directory unwritable and call `keep` twice: two recovery-error toasts appear. Making the session data directory unwritable likewise produces two session-error toasts. Both probes expected one and failed with `left: 2, right: 1`; restoring permissions lets both writes succeed. Deduplicate by a stable operation/error identity, excluding generated filenames, and test actual permission failures rather than only a file/directory collision. Evidence: `.work/C14.15-r2/probe-test.log`. + +2. apps/ely-mark/src/restore.rs:345 — A recovered tab's `pointed_at` remains `None`; `restore_shown` reads its existing recovery timestamp but never initializes this field. Recover an unsaved tab from a valid point, then make its `points/` directory unwritable before the first new recovery write. The window first reports the recovered point's time, then incorrectly says `Last kept: none yet`, despite that point still existing. This violates PRD §6.2's last-successful-recovery-time requirement. Initialize the restored tab's recovery time from the point it loaded and add this failure-after-relaunch regression. The WSL window probe reproduces the contradictory messages in `.work/C14.15-r2/probe-test.log`. Both round-1 notification regressions now pass, and retries succeed. All eight restoration tests and five localization tests pass on Windows and WSL; the full Mark suites' only failures are the VCS outside-folder test caused by keeping temporary folders beneath the ignored `.work/` directory. Probe source copies, binaries and both platforms' incremental caches were removed before this verdict.