search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
169 stars 39 forks source link

Fix the documentation for the case split keymap #111

Closed stepchowfun closed 2 years ago

stepchowfun commented 2 years ago

Fix the documentation for the case split keymap. It should be C-c C-c instead of C-y C-c.

PS. Thanks for creating this extension. :)

banacorn commented 2 years ago

Thanks!