VSCode使用箭头键时反复出现‘command 'agda-mode.input-symbol[BrowseLeft]' not found’错误

• 清理残留的键盘快捷键绑定

  1. 按Ctrl+K Ctrl+S（Windows/Linux）或Cmd+K Cmd+S（Mac）打开快捷键设置界面
  2. 搜索"agda"关键词，找到所有和箭头键绑定的agda-mode相关命令，手动删除这些绑定
  3. 点击快捷键界面右上角的{}图标打开keybindings.json，直接搜索并删除所有包含"agda"的配置条目

• 彻底重置VS Code窗口状态

  1. 关闭所有VS Code窗口，在任务管理器（Windows）或活动监视器（Mac）里结束所有VS Code相关进程
  2. 重新启动VS Code，只打开你的C项目工作区，不要加载之前的Agda项目窗口

• 删除Agda残留配置

  1. 按Ctrl+,（Windows/Linux）或Cmd+,（Mac）打开设置界面，搜索"agda"，删除所有残留的Agda相关配置项
  2. 如果还是无效，找到VS Code的用户配置文件夹：
     • Windows路径：%APPDATA%\Code\User
     • Mac路径：~/Library/Application Support/Code/User
     • Linux路径：~/.config/Code/User
     • 打开该文件夹下的settings.json和keybindings.json，删除所有和Agda相关的内容

• 检查工作区本地配置
  打开C项目根目录下的.vscode文件夹，查看settings.json和keybindings.json，如果里面存在Agda相关的绑定或配置，直接删除这些内容

• 重置所有快捷键到默认（终极方案）
  如果以上方法都没用，在快捷键设置界面点击右上角的三个点，选择"Reset Keybindings"，恢复所有快捷键为默认状态（操作前建议备份自己的自定义快捷键配置）

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