(Go: >> BACK << -|- >> HOME <<)
Skip to content

Issues: ms-jpq/coq_nvim

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

163 Open 245 Closed
163 Open 245 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Keep pre-filled content on <c-h> in snippets
#467 opened Mar 19, 2022 by m42e
1
Is there a way to automatically go to first mark when selecting snippet?
#465 opened Mar 8, 2022 by nkakouros
2
Completion is not triggered when typing a dot
#464 opened Mar 8, 2022 by lucypero
16
lsp_ensure_capabilities overriding config?
#462 opened Mar 4, 2022 by ristillu
5
Coq exists because of bad python version
#461 opened Feb 23, 2022 by abialystok
3
[Bug?] Completion is misaligned with closing line
#458 opened Feb 14, 2022 by dybdeskarphet
2
Spelling
#457 opened Feb 10, 2022 by SpyrosMourelatos
3
Yank and Ripgrep as completion sources
#456 opened Feb 6, 2022 by sandangel
3
Customizing menu entries
#455 opened Feb 5, 2022 by SystematicError
5
Thank you very much for you brilliant work! 🔥
#454 opened Feb 5, 2022 by iurev
Snippet alias is not replaced
#453 opened Jan 30, 2022 by varac
2
Some snippets appear to be broken for various reasons
#452 opened Jan 30, 2022 by wintermute-cell
Snippets with indent at wrong indent level
#451 opened Jan 30, 2022 by wintermute-cell
1
How do you install this?
#449 opened Jan 28, 2022 by velllu
2
Snippet trigger not deleted when special characters are used
#447 opened Jan 24, 2022 by jasonkena
2
Coq Misses some Ansible LSP Sources
#445 opened Jan 19, 2022 by PriceHiller
Duplicates in the completion results
#437 opened Jan 13, 2022 by ioreshnikov
1
Clear marks
#436 opened Jan 13, 2022 by thechiragjogani
1
Wait a certain interval before showing completion
#435 opened Jan 9, 2022 by AndreaOrru
1
Error occurs after Updating COQ to the latest version
#434 opened Jan 8, 2022 by anson-val
coq nvim breaks vim's smartindent
#433 opened Jan 8, 2022 by yueyingjuesha
1
Autocomplete removes already written text
#432 opened Jan 7, 2022 by FallenAngel97
2
No module named 'distutils.command.bdist_wininst' during :COQdeps
#420 opened Jan 1, 2022 by Zarainia
2
Is there a way to get TAB to pre-select items?
#413 opened Dec 28, 2021 by gilligan
3
Don't autocomplete after some characters
#412 opened Dec 28, 2021 by mareksubocz
1
4
ProTip! Type g i on any issue or pull request to go back to the issue listing page.