coq_nvim icon indicating copy to clipboard operation
coq_nvim copied to clipboard

Published 20 hours ago • verified publisher icon ms-jpq

Autocompletion on numbers

Open molostovvs opened this issue 1 year ago • 0 comments

While typing some number, COQ tries to perform autocompletion and erases the number I am trying to type. How can I fix this behavior?

typing 0123456789 with COQ

molostovvs avatar Oct 15 '23 06:10 molostovvs