无法打开“Agda”：AbstractContextKeyService 已被处理

Question

我正在尝试在 windows 10 上的 visual studio 代码上使用 agda-mode。按ctrl-c ctrl-l （或任何其他）与 agda-mode 关联的键绑定时，我在 VSC 上收到此错误。 几天前我遇到了这个问题，但重新启动我的电脑解决了它。 现在这似乎行不通了。

Answer 1

我在 M1 mac 上遇到了同样的问题。 像ctrl-c ctrl-l这样的东西就停止工作了。 删除.vscode ，重新安装应用程序，并重新安装 agda-mode 扩展，最终成功了，但它又发生了。

Answer 2

最后，对我有用的是关闭底部的 window 然后关闭文件并重新打开它（在同一个 VSC 实例中）。 另一次设置这个 to false 解决了这个问题。