You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

如何在VSCode中折叠.txt文件中以Proof开头的证明块?

自定义折叠Proof块的解决方案

方法1:自定义语言配置(原生支持,推荐)

VSCode允许为纯文本文件定制折叠规则,无需依赖插件:

  • 打开设置面板(Ctrl+,),搜索files.associations,点击编辑 in settings.json,添加以下配置将.txt文件关联到自定义语言模式:
    "files.associations": {
        "*.txt": "math-notes"
    }
    
  • 打开命令面板(Ctrl+Shift+P),输入Developer: Generate Language Configuration File,选择math-notes生成配置文件。
  • 在生成的language-configuration.json中,替换folding字段为:
    "folding": {
        "markers": {
            "start": "^\\s*Proof:",
            "end": "^\\s*∎"
        }
    }
    
  • 保存后重启VSCode,打开你的笔记文件:所有以任意缩进开头的Proof:到对应缩进的∎之间的内容都会成为可折叠块,用Ctrl+K Ctrl+0可一键折叠所有Proof块。

方法2:使用正则折叠插件

如果不想折腾语言配置,用插件快速实现:

  • 打开扩展商店(Ctrl+Shift+X),安装Custom Fold插件。
  • 打开插件设置(右键插件→扩展设置→编辑 in settings.json),添加规则:
    "customFold.rules": [
        {
            "language": "plaintext",
            "startRegex": "^\\s*Proof:",
            "endRegex": "^\\s*∎"
        }
    ]
    
  • 保存设置后,插件会自动识别所有Proof块,支持单个或批量折叠。

正则适配说明

  • ^\\s*Proof:匹配任意缩进层级的Proof起始行,^\\s*∎匹配对应层级的结束标记,完美适配你不同缩进的Proof块。
  • 如果你的Proof行有变体(比如Proof.),可将起始正则调整为^\\s*Proof[:.]兼容。

内容的提问来源于stack exchange,提问作者Diego Oliveira

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.08.03 22:50:28