Reputation: 33
In VS Code when I typing something like var.
and press ctrl+space
, I can continue typing some prefix with opened autocomplete menu and it will filter it's list. In coq_nvim when I use vim.g.coq_settings.completion.always = false
and press ctrl+space
after var.
, I can select from completion list and cannot filter this list with typing.
Is it possible to configure coq_nvim for VS Code like behaviour? If not, what plugin do you recommend?
Upvotes: 0
Views: 32