coq_nvim
coq_nvim copied to clipboard
Unwanted completions
When a { is inserted, these completions show up. Then, when enter is pressed, the letter "i" gets inserted, which is a little bit annoying.
This may be similar to #578 . Vscode works as expected in both cases
PS. Thanks you guys for making this super-fast plugin.