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.
I am having the same issue on an M1 mac. Things like ctrl-c ctrl-l
just stop working. Deleting .vscode
, reinstalling the app, and reinstalling the agda-mode extension eventually worked, but it happened again.
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.