VSCode的Agda插件为何无法识别快捷键？

• 确认Agda模式已激活
  确保当前编辑的是.agda后缀文件，且VSCode右下角状态栏显示Agda已正常加载（比如显示Agda版本号）。Agda插件的命令仅在Agda模式下生效，未激活时快捷键会被系统或其他插件拦截。

• 排查快捷键绑定冲突
  打开VSCode快捷键设置（按下Ctrl+K Ctrl+S），搜索命令agda.refine，查看是否有其他命令占用了Ctrl+C Ctrl+R组合。如果存在冲突，要么修改冲突命令的快捷键，要么给agda.refine重新绑定一个无冲突的组合（比如Ctrl+Shift+R）。

• 重启Agda服务或VSCode窗口
  打开命令面板（Ctrl+Shift+P），输入Agda: Restart重启Agda服务器；如果无效，输入Reload Window重启整个VSCode窗口，插件进程异常时会导致快捷键映射失效。

• 验证插件与VSCode版本兼容性
  检查Agda插件和VSCode是否为最新版本：在扩展面板找到Agda插件点击更新，同时通过「帮助->检查更新」升级VSCode。旧版本可能存在快捷键绑定的已知bug。

• 清除VSCode缓存
  关闭VSCode后，删除对应系统的缓存文件夹：

  • Windows：%APPDATA%\Code\Cache、%APPDATA%\Code\CachedData
  • macOS：~/Library/Caches/Code
  • Linux：~/.config/Code/Cache、~/.config/Code/CachedData
    重启VSCode后重新测试快捷键。

内容的提问来源于stack exchange，提问作者Joshua Crotts