coq_nvim
coq_nvim copied to clipboard
ms-jpq
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
For example, in Javascript: `console.` When you press the dot, nothing shows up. I have to, for example, manually trigger autocompletion by pressing `C-Space`. I don't know why the pum...
I have a proxy configuration for github in my `.gitconfig` but COQdeps seems to ignore it. As a result I'm unable to fetch and install the github dependencies needed. Is...
Hi! Seems like the T9 downloader is not fetching the correct link all of sudden.
When using omnisharp, attempting to use a completion for an override breaks. I believe this is a coq specific bug as other plugins seem to handle it fine.  Selecting...
Is there a way to disable automatic completion after a space (see image)? It's very annoying having to press \ twice in order to indent code with \ 
I can't find a way to view the function signature (like `func split(s string, sep string)`) with coq_nvim. It does not seem to be an issue of the LSP server,...
For some reason, [this function ](https://github.com/ms-jpq/coq_nvim/blob/9bfdabc2ead2b37ea381a8cad8556b20abe18a76/coq/server/registrants/attachment.py#L50) is causing issues with for NERDTree `Variable name conflicts with existing function: Listener` I've renamed it locally to `_coq_listener` and all is good, if...
Hi, first of all, thanks for the amazing plugin. I notice a small snippet bug where the typed word is not entirely replaced by the snippet, but rather just appended...
When using completion (both in auto and manual modes), the result for the exact match won't appear in the list, and there's no setting to change that behavior. It would've...
Currently when I press `TAB` it will cycle through suggestions and in order to pick the highlighted entry I have to press ``. Is there a way to configure coq...
