Closed Plaoo closed 2 years ago
I can't reproduce this. Can you give use more details about setup? Does it happen for every suggestion? It could be possible that the completion you are selecting contains a newline.
That behavior is probocato by your auto pairs plugin. in fact it happens with many complements of this style it would be useful if this is documented and how to be able to use coq in conjunction with some auto pairs
Yes thanks
Hi, when I select a suggestion from the autocomplete table, if I select it with enter the cursor is placed in a new line. Is it possible that my choice is directly reproduced on the code or is there a button that allows me to select the suggestion without creating a new line or adding a space?