Blocking behavior during Coq initialization

[dtrckd]

Good evening,

I found abnormal behaviors when coq is initialized, just after nvim starts. I can trigger them if I type them right after nvim open-up :

• if I type :/ to search for a file, the height of the command line increases and takes up most of the screen space (typing , restore it).
• If I type :q to quit, nvim freezes, and I have to kill it manually,

Eventually I'll be able to provide more information on debugging to help fix those really annoying flaws.