無法打開“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 解決了這個問題。