`'indentkeys'` causes glitch when inserting completion

[zeertzjq]

With 'cindent' on, 'cinkeys' causes re-indenting of current line, if a key in 'cinkeys' is used to accept completion, it may cause a glitch.

[Shougo]

I think you should upload the example.

[zeertzjq]

IDK if unsetting 'cindent' in CompleteDone may work.

[zeertzjq]

I'm busy now, may upload an example several hours later.

[ms-jpq]

hey hey @zeertzjq please dont worry and take your time,

ive been super busy recently as well :)

cheers!

[zeertzjq]

https://user-images.githubusercontent.com/35768171/136749441-b8097ec5-512b-498c-b88a-31077bd1e106.mp4

The first time I press : to accept a case label completion, the : triggers re-indentation, and COQ fails to insert the completion and produces an error message start_col out of bounds. The second time the indentation doesn't change, and COQ successfully inserts the completion.

Besides disabling 'cindent', maybe applying the edits relative to extmarks can be another solution?

[zeertzjq]

I think this also applies to 'indentkeys'.