无法打开“Agda”：AbstractContextKeyService 已被处置
我正在尝试在 Windows 10 上的 Visual Studio 代码上使用 agda 模式。当按下与 agda- 关联的 ctrl-c ctrl-l （或任何其他）键绑定时，我在 VSC 上收到此错误模式。几天前我遇到了这个问题，但是重新启动计算机就解决了。现在看来这不起作用了。
I'm trying to use agda-mode on visual studio code on windows 10. I'm getting this error on VSC when pressing ctrl-c ctrl-l (or any other) keybinding associated with agda-mode. I had this issue a couple of days ago, but restarting my computer solved it. Now that doesn't seem to work.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
我在 M1 mac 上也遇到同样的问题。像 ctrl-c ctrl-l 这样的东西就停止工作了。删除
.vscode、重新安装应用程序并重新安装 agda-mode 扩展最终成功了，但它又发生了。I am having the same issue on an M1 mac. Things like
ctrl-c ctrl-ljust stop working. Deleting.vscode, reinstalling the app, and reinstalling the agda-mode extension eventually worked, but it happened again.最终，对我有用的是关闭底部的窗口
，然后关闭文件并重新打开它（在同一 VSC 实例中）。再次设置此 
为 false 解决了问题。
What worked for me, in the end, was closing the window at the bottom
then closing the file and reopening it (in the same VSC instance). Another time setting this 
to false fixed the issue.