ms-jpq / coq_nvim

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
GNU General Public License v3.0
3.51k stars 97 forks source link

COQ opens while using Telescope #629

Open mrphil2105 opened 6 months ago

mrphil2105 commented 6 months ago

I often experience coq_nvim opening while typing in Telescope. This makes shortcuts in Telescope not work which is super frustrating and breaks the functionality of Telescope. Any idea what might be causing this?

mrphil2105 commented 3 months ago

Any update on this? This is still an issue and is very annoying.

ccbhj commented 2 months ago

Maybe you can post your telescope and coq config here, might be of help for reproducing the issue