Text I've already typed gets duplicated when I accept a completion

[vincent-sparks]

About half the time, when I press Enter to accept a completion, coq_nvim will fail to delete what I had already typed before inserting the completion, causing it to be duplicated. After some testing I have determined that this occurs only when I start a new word while still in insert mode, e.g. if I type some_identifier.comple<TAB>, and accept copmpletion, I get some_identifier.complecompletion, but if some_identifier. is already on the line when I go into insert mode and I type only comple<TAB> and accept completion, it works correctly and I get some_identifier.completion.

It is possible something in my configuration is wonky, but I have no idea how I would check that. This problem has also persisted across multiple different machines, terminal emulators, and versions of coq.nvim. Will be happy to provide whatever other information you need.

[mrphil2105]

I have the same issue. It does not happen too often, but when it happens I just have to undo and accept the completion again to apply it correctly. I am not sure what causes this.

[dtrckd]

same here

[mihajlo0743]

I had similar issue due to autopairs plugin (mini.pairs). Disabling it fixed the issue for me.