All issues

Search results

arduino-language-server doesn't play nice with COQ

Status: Open.

#717 In ms-jpq/coq_nvim;

· casprr6 opened on Aug 13, 2026

Coq asserts in std2 on termux

Status: Open.

#704 In ms-jpq/coq_nvim;

· HaNaK0 opened on Mar 6, 2026

Based readme quebec reference

Status: Open.

#702 In ms-jpq/coq_nvim;

· TheItroma opened on Nov 21, 2025

Missing steps or details in README installation section

Status: Open.

#699 In ms-jpq/coq_nvim;

· juliend2 opened on Oct 25, 2025

How to prevent from jumping to next line when auto-completing

Status: Open.

#696 In ms-jpq/coq_nvim;

· xiaonengmiao opened on Jul 9, 2025

Disable pum after newline

Status: Open.

#692 In ms-jpq/coq_nvim;

· fedya-eremin opened on Apr 3, 2025

(Lua) No automatic info/documentation on hover or type

Status: Open.

#690 In ms-jpq/coq_nvim;

· raqu73 opened on Mar 28, 2025

Completion state conditionals

Status: Open.

#689 In ms-jpq/coq_nvim;

· sonnybox opened on Mar 24, 2025

Can't set up coq_nvim to have full lsp functionality with nvim-jdtls

Status: Open.

#686 In ms-jpq/coq_nvim;

· ZWORX52 opened on Mar 10, 2025

when enter backspace key, it will show no more marks avaiable

Status: Open.

#685 In ms-jpq/coq_nvim;

· gaze-star opened on Mar 5, 2025

Java: Get documentation in preview window

Status: Open.

#684 In ms-jpq/coq_nvim;

· mb720 opened on Feb 20, 2025

Preview window remains open

Status: Open.

#683 In ms-jpq/coq_nvim;

· Ferhunt opened on Feb 3, 2025