search

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 issue #117: Allow numeric input to complete ambiguous key bindings #153

Closed vic0103520 closed 1 year ago

vic0103520 commented 1 year ago

As issue #117 requested, the input method is enhanced.

banacorn commented 1 year ago

Thanks!