coq_nvim icon indicating copy to clipboard operation
coq_nvim copied to clipboard

Published 20 hours ago • verified publisher icon ms-jpq

COQ opens while using Telescope

Open mrphil2105 opened this issue 10 months ago • 2 comments

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 avatar Mar 30 '24 20:03 mrphil2105

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

mrphil2105 avatar Jun 13 '24 12:06 mrphil2105

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

ccbhj avatar Jul 26 '24 09:07 ccbhj