The Wayback Machine - https://web.archive.org/web/20220704095357/https://github.com/ms-jpq/coq_nvim/issues
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

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

Issues list

COQdeps fails behind proxy
#498 opened Jun 24, 2022 by afrischk
1
Downloading Tabninie throws a 403
#497 opened Jun 18, 2022 by jethrosun
1
Strange behavior when attempting to use an override completion from omnisharp.
#495 opened Jun 12, 2022 by pollen00
Function signature not displayed in completion menu
#494 opened Jun 11, 2022 by desolatorxxl
Keep completion result for the exact match
#493 opened Jun 3, 2022 by paprikman
Snippet not replacing postfix string properly.
#491 opened May 31, 2022 by bachhh
2
Ability to change colors for different parts of the completion menu
#488 opened May 23, 2022 by yavko
1
Won't install dependencies
#487 opened May 19, 2022 by OmDwivedi1237
1
Tab doesn't trigger completion & no snippet is shown
#483 opened Apr 22, 2022 by MVP-Harry
9
Disable source for some filetypes
#482 opened Apr 21, 2022 by m-demare
What's the point of the "repeat" option?
#481 opened Apr 21, 2022 by jakubgros
1
preview and pum have difrent background color, make it customizable?
#480 opened Apr 18, 2022 by EmiliaThorsen
🐞 Bug: [Errno 20] Not a directory: 'ctags'
#475 opened Mar 29, 2022 by npielawski
How to modify the behavior of the snippets?
#474 opened Mar 28, 2022 by gmr458
Inset parenthesis after function name
#472 opened Mar 26, 2022 by andrei-lus
1
Problem with NERDTree
#471 opened Mar 25, 2022 by cipriantarta
1
2
request of help for custom source
#470 opened Mar 25, 2022 by euglevi
8
"repeat" is a keyword in Lua. That causes issues when configuring keymap.repeat.
#469 opened Mar 22, 2022 by lucypero
2
Typing after selecting a completion breaks the snippet
#468 opened Mar 20, 2022 by SamWilsn
1
Keep pre-filled content on <c-h> in snippets
#467 opened Mar 19, 2022 by m42e
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
8
Custom Source in Python
#463 opened Mar 8, 2022 by rajaravivarma-r
2
lsp_ensure_capabilities overriding config?
#462 opened Mar 4, 2022 by ristillu
1
Coq exists because of bad python version
#461 opened Feb 23, 2022 by abialystok
3
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.