The Wayback Machine - https://web.archive.org/web/20230315185616/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

118 Open 220 Closed
118 Open 220 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 Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Know which LSP server the completion suggestion comes from
#563 opened Mar 11, 2023 by maltherd
Autocompletion doesn't work on even keystrokes. Suggestion window disappears on every other character.
#562 opened Mar 6, 2023 by Decipher-CS
Customize popup display order?
#561 opened Mar 5, 2023 by gilice
Any ideas why ruff-lsp is not triggering lsp completions?
#559 opened Feb 22, 2023 by ristillu
Clarification: Are Tag completions based on tag files or dynamically generated from open buffers?
#558 opened Feb 15, 2023 by wspurgin
COQ fuzzy configuration
#556 opened Feb 9, 2023 by wstevick
What must I do to install python dependencies in headless mode?
#554 opened Feb 9, 2023 by rogueinkamp
COQ breaks julia-lsp
#553 opened Feb 8, 2023 by Eemilp
How to set to close disable the auto-completion preview？
#551 opened Feb 2, 2023 by jhbdream
1
Yaml snippets not showing up
#550 opened Feb 2, 2023 by rgroemmer
how do i make coq_nvim to not use nui.nvim
#548 opened Jan 15, 2023 by cheese978
2
how to use custom *.json snippets.
#547 opened Jan 13, 2023 by PiyushDuggal-source
UnicodeDecodeError with lua_language_server
#546 opened Dec 27, 2022 by phat-sumo
1
completion of eclipse.jdt.ls LSP crashes
#545 opened Dec 20, 2022 by realtica
1
Not enough values to unpack in tmux parse.py
#544 opened Dec 12, 2022 by EmilSodergren
2
Incorrect suggestion expansion
#543 opened Dec 4, 2022 by AlphaKeks
1
Not filling out template values
#542 opened Nov 30, 2022 by MarkFuller1
remove python dependency
#541 opened Nov 28, 2022 by jam1015
UnicodeDecodeError when using vim-peekaboo
#539 opened Nov 23, 2022 by shardulbee
7
:COQnow displays error message 'COQ EXITED - 1'
#538 opened Nov 19, 2022 by Leonume
3
Does menu has any highlight group?
#537 opened Nov 12, 2022 by cathaysia
It is frozen
#536 opened Nov 12, 2022 by CRAG666
1
Coq not getting pyright suggestions
#535 opened Nov 11, 2022 by EnricoSteez
Selecting completion option with <CR> enters newline
#534 opened Nov 11, 2022 by EnricoSteez
1
Disabling coq
#533 opened Nov 8, 2022 by EvilMuffinHa
ProTip! Updated in the last three days: updated:>2023-03-12.