[ fix #176 ] Update `asset/keymap.js` - Githubissues

banacorn / agda-mode-vscode

agda-mode on VS Code

https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode

MIT License

167 stars 38 forks source link

[ fix #176 ] Update `asset/keymap.js` #177

Closed szumixie closed 8 months ago

szumixie commented 8 months ago

Fixes #176 by updating asset/keymap.js and asset/query.js using https://github.com/banacorn/keymap/pull/2.