Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ms-jpq/coq_nvim issues and pull requests

#665 - Support for Tabby

Issue - State: open - Opened by dtrckd about 1 month ago - 2 comments

#664 - Add hello in Tamil

Pull Request - State: closed - Opened by rajaravivarma-r about 1 month ago - 1 comment

#663 - Adapt to remove deprecated API, tbl_flatten

Pull Request - State: closed - Opened by EmilSodergren about 1 month ago - 1 comment

#662 - Can't remove the greeting

Issue - State: closed - Opened by vidy007 about 2 months ago - 1 comment

#661 - Failed to start server: address already in use

Issue - State: open - Opened by bruvellu about 2 months ago

#660 - LSP dart/flutter adds (…) to method name

Issue - State: open - Opened by dizzib about 2 months ago

#659 - fix no parser for 'typescriptreact' language

Pull Request - State: closed - Opened by issadarkthing about 2 months ago - 1 comment

#658 - How do I turn a text file in a custom source?

Issue - State: open - Opened by nijek 2 months ago

#657 - bug: right-to-left "hello" messages are shown as left-to-right

Issue - State: open - Opened by vegerot 2 months ago - 1 comment

#656 - Copilot accept_key option?

Issue - State: closed - Opened by jmhobbs 3 months ago - 4 comments

#655 - path completion, hide the parts of parent folder

Issue - State: open - Opened by chunxuan-hs 3 months ago

#654 - How to jump to multiple items

Issue - State: open - Opened by liketoeatcheese 3 months ago

#653 - When updating Coq, Opening a New NVim Instance Freezes

Issue - State: open - Opened by 9p4 4 months ago - 2 comments

#652 - Not showing preview window if there is nothing in docs.

Pull Request - State: closed - Opened by ccbhj 4 months ago - 1 comment

#650 - Backspace doesn't work

Issue - State: closed - Opened by lhsoft 4 months ago

#649 - Is there a way to disable the `BUF` suggestions?

Issue - State: closed - Opened by Stopfield 4 months ago - 2 comments

#648 - Update SNIPS.md with example of using LSP variables

Pull Request - State: closed - Opened by rajaravivarma-r 4 months ago - 1 comment

#647 - Failed to start server: read only file system.

Issue - State: closed - Opened by jhogendorn 4 months ago - 1 comment

#646 - Disable placeholders in normal completions?

Issue - State: open - Opened by RomeuG 4 months ago - 1 comment

#644 - how to remove default <C-k> keybinding

Issue - State: closed - Opened by rendi12345678 5 months ago - 3 comments

#643 - CUSTOM_SOURCES and laravel blade files

Pull Request - State: closed - Opened by Mte90 5 months ago - 1 comment

#642 - Add custom sources for wordpress in docs

Pull Request - State: closed - Opened by Mte90 5 months ago - 1 comment

#641 - "Error executing lua Invalid channel: 7 " on Mac

Issue - State: closed - Opened by anku94 5 months ago

#640 - tailwindcss completion not work with coq

Issue - State: closed - Opened by towry 5 months ago - 1 comment

#638 - file completion insert additional "./"

Issue - State: closed - Opened by chunxuan-hs 6 months ago - 1 comment

#637 - feat(docs): adding code sample for installing COQ with `lazy.nvim`

Pull Request - State: closed - Opened by HicaroD 6 months ago - 1 comment

#636 - Font Rendering Error in completion window

Issue - State: open - Opened by knauth 6 months ago

#635 - docs: adding Lua's equivalent code to some Vimscript's

Pull Request - State: closed - Opened by HicaroD 6 months ago - 1 comment

#634 - upcoming `vim.lsp.buf_get_clients()` deprecation

Issue - State: open - Opened by git-girl 6 months ago

#633 - Fix race condition in LSP (and 3P) requests

Pull Request - State: closed - Opened by TheLeoP 6 months ago - 15 comments

#632 - Race condition on LSP async_request

Issue - State: closed - Opened by TheLeoP 6 months ago

#631 - Disable fuzzy matching for some sources

Issue - State: open - Opened by rajaravivarma-r 6 months ago

#630 - Start coq on Neovim launch

Issue - State: open - Opened by Andy3153 8 months ago - 6 comments

#629 - COQ opens while using Telescope

Issue - State: open - Opened by mrphil2105 8 months ago - 2 comments

#628 - TypeError: conn() got multiple values for argument 'socket'

Issue - State: closed - Opened by LoCrealloc 8 months ago - 1 comment

#627 - Add settings.display.mark_applied_notify option

Pull Request - State: closed - Opened by ilan-schemoul 8 months ago - 3 comments

#626 - Blocking behavior during Coq initialization

Issue - State: open - Opened by dtrckd 8 months ago

#625 - UNIQUE constraint failed: lines.buffer_id, lines.line_num

Issue - State: open - Opened by mrphil2105 8 months ago - 1 comment

#624 - Selection gets cleared in menu without fast_close.

Issue - State: open - Opened by mrphil2105 8 months ago

#622 - TMUX crashes coq_nvim

Issue - State: open - Opened by samrxth 9 months ago - 3 comments

#620 - How to install and configure coq using lazy plugin manager?

Issue - State: open - Opened by thisisjab 9 months ago - 7 comments

#619 - rewrite async logic to use N indepdent async io loops

Pull Request - State: closed - Opened by ms-jpq 9 months ago

#618 - Fix tmux pane info parsing

Pull Request - State: closed - Opened by baodrate 9 months ago - 1 comment

#617 - Double insert when auto completing functions in rust

Issue - State: open - Opened by nea89o 10 months ago

#616 - Update completions after manually triggering them

Issue - State: open - Opened by LukasPietzschmann 10 months ago - 6 comments

#615 - COQ exited -1 on nvim launch

Issue - State: open - Opened by oc-tk 10 months ago - 1 comment

#614 - Unable to be used on NixOs

Issue - State: open - Opened by B4rc1 10 months ago - 6 comments

#613 - pragma.sql `FileNotFoundError` raised by pathlib.py

Issue - State: closed - Opened by HairlessVillager 11 months ago - 1 comment

#612 - Fix venv check

Pull Request - State: closed - Opened by baodrate 11 months ago - 1 comment

#611 - COQnow fails in tmux after upgrading to Fedora 39

Issue - State: open - Opened by vincenzocaputo about 1 year ago - 3 comments

#610 - Failed to start server: no such file or directory

Issue - State: open - Opened by jakubgros about 1 year ago - 1 comment

#609 - Autoimport doesn't work

Issue - State: open - Opened by h4-h about 1 year ago - 2 comments

#608 - Slow When Loading Python File

Issue - State: open - Opened by fishbotics about 1 year ago

#607 - Autocompletion on numbers

Issue - State: open - Opened by molostovvs about 1 year ago

#606 - :COQnow shows error

Issue - State: open - Opened by purpleblackferret about 1 year ago - 2 comments

#605 - Highlight LSP Kind

Issue - State: open - Opened by lovesegfault about 1 year ago

#604 - Can't start coq on Windows. Sqlite syntax error

Issue - State: open - Opened by OrangeLightning219 about 1 year ago - 2 comments

#603 - disable navigation within menu with arrow keys

Issue - State: open - Opened by 10kmotorola about 1 year ago

#602 - Rebind select completion on another key not working properly

Issue - State: closed - Opened by Twix53791 about 1 year ago - 1 comment

#601 - Disable spell check for TeX commands

Issue - State: open - Opened by MonkeysAreEvil about 1 year ago

#600 - loading snippet with separate directory ?

Issue - State: open - Opened by WingDust about 1 year ago

#599 - Error 404 for `std2` and `pynvim_pp`

Issue - State: closed - Opened by rxt30 about 1 year ago - 1 comment

#598 - how to disable autocomplete on backspace?

Issue - State: open - Opened by chunxuan-hs over 1 year ago

#597 - Running COQdeps fails

Issue - State: open - Opened by bimp-fimble over 1 year ago - 1 comment

#596 - Auto-refresh completion results

Issue - State: open - Opened by epixinvites over 1 year ago - 9 comments

#595 - Jumping to next placeholder

Issue - State: open - Opened by davidnquach over 1 year ago

#594 - COQDeps Failing on Windows

Issue - State: closed - Opened by Balandino over 1 year ago

#590 - Autocompletion of VIM commands?

Issue - State: closed - Opened by ruffson over 1 year ago - 1 comment

#589 - frozen runpy

Issue - State: open - Opened by Nicolas7102 over 1 year ago - 10 comments

#587 - Unwanted completions

Issue - State: open - Opened by JunYang-tes over 1 year ago - 1 comment

#583 - Can we remove "BUF" completion ?

Issue - State: closed - Opened by Watynecc over 1 year ago - 2 comments

#581 - COQdeps has no effect, alpine linux

Issue - State: open - Opened by Hex5DA over 1 year ago - 2 comments

#578 - Completion on empty string not useful

Issue - State: open - Opened by jonashaag over 1 year ago - 2 comments

#567 - [DOCS] Incorrect reference to `artifacts` branch

Issue - State: open - Opened by gabrielfaucher over 1 year ago - 1 comment

#554 - What must I do to install python dependencies in headless mode?

Issue - State: open - Opened by rogueinkamp almost 2 years ago - 1 comment

#549 - Any tips on migrating to lazy.nvim?

Issue - State: closed - Opened by ristillu almost 2 years ago - 4 comments

#548 - how do i make coq_nvim to not use nui.nvim

Issue - State: open - Opened by cheese978 almost 2 years ago - 3 comments

#547 - how to use custom *.json snippets.

Issue - State: open - Opened by PiyushDuggal-source almost 2 years ago - 1 comment

#544 - Not enough values to unpack in tmux parse.py

Issue - State: closed - Opened by EmilSodergren almost 2 years ago - 7 comments

#540 - Let Nvim assign random port for serverstart

Pull Request - State: open - Opened by QuestionableAntics almost 2 years ago

#537 - Does menu has any highlight group?

Issue - State: closed - Opened by cathaysia about 2 years ago

#533 - Disabling coq

Issue - State: open - Opened by EvilMuffinHa about 2 years ago - 4 comments

#530 - Missing autocompletion suggestion after dot

Issue - State: open - Opened by greasycat about 2 years ago - 8 comments

#529 - [bug] occasional "too many open files" message on startup

Issue - State: open - Opened by vegerot about 2 years ago - 6 comments

#524 - How to complete rust?

Issue - State: open - Opened by lucasjinreal about 2 years ago - 5 comments

#517 - venv: Detect python symlink on Nix systems and fix it

Pull Request - State: closed - Opened by doronbehar about 2 years ago - 3 comments

#504 - How do I accept a completion without writing a character?

Issue - State: open - Opened by half-potato over 2 years ago - 4 comments

#487 - Won't install dependencies

Issue - State: closed - Opened by OmDwivedi1237 over 2 years ago - 1 comment

#474 - How to modify the behavior of the snippets?

Issue - State: open - Opened by gmr458 over 2 years ago - 1 comment

#464 - Completion is not triggered when typing a dot

Issue - State: open - Opened by lucypero over 2 years ago - 16 comments

#405 - Disable completion after space

Issue - State: open - Opened by Akmadan23 almost 3 years ago - 2 comments

#403 - Problem with auto_start

Issue - State: open - Opened by skipadu almost 3 years ago - 12 comments