Repository navigation
Releases: ChenMiaoi/Envoi
Releases · ChenMiaoi/Envoi
Release list
Envoi v0.5.4
新增功能
- 新增 Lean 4 扩展：支持安装 Lean/Lake、语法高亮、补全、悬停、定义跳转及证明诊断，可选择已有的格式化工具。
- 新增 RTL 扩展：支持 Verilog/SystemVerilog 编辑、slang-server 或 Verible 语言服务、Verible 格式化与检查，以及 Verilator 工程检查。可导入 Vivado 工程并调用已安装的 Vivado 进行编译和展开检查。
- 新增以 RISC-V 为重点的 ASM 扩展：内置指令与 CSR 补全、悬停、本文件跳转、语法高亮和保守格式化，支持按 ISA/ABI 配置 Clang 检查及可选 asm-lsp。仓库收录官方特权、非特权规范和固定版本源码，便于离线检索。
Lean、RTL 和 ASM 均有独立文件图标。工具安装仅向上游提供预编译包的平台开放；Vivado 及许可证需自行准备，Vivado 检查不等同于语言服务器。ASM 当前重点支持 GNU 风格的 RISC-V 汇编，Windows 暂无 asm-lsp 官方预编译安装包。详见 Lean 指南、RTL 指南 和 RISC-V 指南。
体验改进
- 代码编辑器自动补全括号和引号。
- SSH/WSL 项目接入论文库搜索、下载、PDF/BibTeX 导入、阅读笔记和引用，资料保存在当前远程项目内。SSH 论文库需要提供
node:sqlite的 Node.js；WSL 自动准备的运行时已满足要求。 - WSL 连接前检查运行时安装依赖并提供提示；连接窗口保留当前环境和目录，远程编辑器隐藏尚未支持的 AI 输入区。
问题修复
- 修复远程工作区信任与扩展策略不同步的问题；关闭或断开工作区时取消工具操作，并为操作设置超时。
- 修复论文引用和编译依赖解析，改善参考文献与资源定位。
- 保留文献来源中的年份信息，并提示元数据冲突，避免不明确的来源覆盖。
Envoi v0.5.3
新增功能
- 新增远程 SSH 工作区：连接 Linux 主机后可直接编辑远程文件、运行语言工具与编译，内置连接管理与远程终端。
- 新增 WSL 工作区：浏览 WSL 发行版目录并自动准备运行环境，在 Windows 上编辑 Linux 项目。
- 项目导航按当前环境感知：项目切换与欢迎页统一提供本地、SSH 与 WSL 入口，连接可取消且失败时保留原项目。
- 缺少 clang-tidy、clang-format 等语言工具时，编辑器会提示从官方来源安装；安装 LLVM 工具链前会提示下载较大（约 1 GB）。
远程工作区目前支持 Linux SSH 主机和 Windows 上的 WSL；AI、文献库和实验工作区管理尚未接入远端。使用前请阅读 SSH 指南 与 WSL 指南。
体验改进
- 应用菜单与项目菜单重新设计：去除重复入口，显示当前项目、路径与未保存修改数量。
- Python 项目可一键创建 venv 或 uv 虚拟环境，语言服务优先使用项目环境。
- 移除编辑器焦点光晕并收紧代码内边距。
问题修复
- 项目关闭、切换或撤销信任时取消尚未完成的操作，避免迟到的结果写入新项目。
- 保留旧版本客户端的部分设置请求兼容性。
Envoi v0.5.2
体验改进
- 补全文献库、网页浏览与 PDF 阅读控件的五种界面语言翻译；切换语言后，已显示的错误提示同步更新。
- 语言服务器意外退出时显示故障状态并清除过期诊断，可直接重新连接并保留编辑草稿。
问题修复
- 撤销项目信任或停用语言插件时及时停止相关语言服务；修复关闭文档、切换工作区时尚未完成的启动请求继续运行的问题。
- 保存项目设置前检查配置文件和 Git 忽略规则的磁盘状态，避免覆盖外部修改；读取失败时不再按空配置写回。
- 网页 PDF 下载绑定发起下载的窗口与工作区，切换或关闭项目、撤销信任后取消下载，避免导入其他项目。
- 文献库数据库事务失败时撤销已完成的文件变更，减少部分导入和文件、记录不一致的问题，并保留检测到的外部修改。
- 修复从本地文件和缓存恢复 PDF 同步定位数据的问题，使 SyncTeX 定位在重新打开后可用。
- 单个内置语言插件的声明校验失败时隔离该插件，并在扩展页显示错误，避免阻断其他有效插件。
- 修复同版本 RC 安装无法发现正式版更新的问题，并修正 RC 版本排序。
- 修复繁体中文词典生成时的换行和术语覆盖，保证重新生成结果一致。
Envoi v0.5.1
新增功能
- 代码编辑器支持 Tab 接受补全、代码片段占位符和跳转到定义，并提供格式化、保存前格式化及代码检查。
- 扩展面板支持按需安装语言服务器及受支持的格式化、检查工具，展示安装进度并记住已检测到的工具路径。
- C/C++、Python 和 Rust 的代码检查支持当前文件的未保存内容，诊断与语言服务结果合并显示。
体验改进
- 更新代码编辑器配色、提示和诊断展示，使其与当前主题保持一致。
- 减少输入和 AI 流式回复引起的无关界面刷新，降低文件树、Git 状态、聊天记录和 PDF 校验的重复计算开销；离开写作页面后停止安排其代码检查。
问题修复
- 修复文件及目录重命名、删除和切换工作区时草稿处理不正确的问题，避免未保存内容丢失或旧草稿带入其他工作区。
- 无 LaTeX 主文件的项目现在可以正常保存项目设置。
- 修复保存与编译并发时可能漏掉编译请求的问题。
- 改善非 PATH 位置的工具发现、已安装语言服务器的重新连接，以及补全编辑和本地定义跳转。
Envoi v0.5.0
新增功能
- 新增内置 C/C++、Python 和 Rust 扩展管理：可按全局或项目启停，语言服务按工作区启动和释放。
- 扩展页分别展示工具链与语言服务器的可用状态；自动查找常见安装位置和多个版本，默认使用较新版本，也可选择其他版本或手动填写程序路径。C 和 C++ 共用一项语言服务器设置。
- Windows 版下载更新后可在应用内重启并安装。
体验改进
- 扩展卡片收起时只显示简要状态，展开后查看版本、路径和设置；部分工具可用时显示提醒。
问题修复
- 修复通用设置页无法用滚轮向下滚动的问题。
- 修复已安装的
clangd在扩展页被误判为缺失，以及 macOS 上python3未被识别的问题；Rust 工具链中失效的rust-analyzer入口不再被误报为可用。
Envoi v0.4.3
新增功能
- 代码文件支持语法高亮和语言服务器诊断；问题面板与底部状态栏可显示当前文件的语言服务状态。
- 阅读器新增 Markdown 富文本只读预览切换，文件树和阅读器标签可按文件类型显示图标。
体验改进
- 阅读、写作、论文库、版本与实验及设置页面采用留有间距的独立圆角区域。
- 底部悬浮栏居中显示，AI、语言服务和 LaTeX 编译器可直接在悬浮栏弹出的选项中切换。
- 工具配置按类别整理，代码高亮会跟随界面主题。
问题修复
- 修复 macOS 上经由系统临时目录别名访问项目时，语言服务器误判源文件路径无效的问题。
Envoi v0.4.2
新增功能
- 更新检查可选择正式版或预发布版，查看可用的 RC 版本，并自行决定是否下载安装包。
问题修复
- 修复“下载更新”只打开 GitHub Release 页面的行为。现在会直接下载适用于当前系统的安装包，校验完整性后保存到“下载”文件夹；下载完成后可在设置中打开安装包。
Envoi v0.4.1
新增功能
- 论文搜索支持调整来源优先级，并按主题相关性排列结果。
- 阅读器支持 Markdown 实时富文本预览；文件树支持复制文件和从系统拖入文件。
体验改进
- 新建项目对话框重新设计，论文搜索中的 Scholar 页面可在应用内打开。
- 向研究库添加论文时会下载可用 PDF，并明确提示下载结果。
问题修复
- 修复 Kimi For Coding 登录时授权链接和验证码无法显示的问题。
- 修复 Electron 程序文件尚未下载时，开发版无法启动的问题。
- 修复已有 Git 仓库的接入流程，避免将 Envoi 私有数据写入仓库历史。
Envoi v0.4.1-rc1
问题修复
- 修复“下载更新”只打开 GitHub Release 页面的行为。现在可直接下载适用于当前系统的安装包，校验后保存到“下载”文件夹，并打开文件所在位置。
此候选版本供更新下载流程验证；安装包仍需手动安装。
Envoi v0.4.0
新增功能
- 研究库支持跨来源搜索论文、查看嵌入式结果，并保留 DOI、arXiv 等来源信息。
- 版本与实验工作区支持创建、切换、提交和保存可追溯的实验结果。
- 阅读器支持 Markdown 实时编辑、文件树和标签页上下文菜单。
体验改进
- 统一桌面导航、状态栏和 PDF 预览工具栏，减少阅读与写作之间的切换干扰。
- 聊天界面按顺序展示推理和工具活动，并提供本地会话统计查看。
- 项目书目编辑、空状态、元数据和多语言界面提示更加清晰。
问题修复
- 修复 Windows 下工作区切换、项目选择、信任模式和窄窗口交互的状态与点击问题。
- 修复 Git 历史显示、工作区结果刷新、缓存迁移和研究库文件同步的一致性问题。
- 将本地 Windows 检查与 GitHub Windows CI 统一到同一个完整验证入口。