With the delimitMate_expand_cr option set, a newline is inserted while in the completion menu of coq. The completion goes through and the cursor stays on the correct line when pressing enter (the completion key for coq), but then a newline appears beneath the cursor's line.
With the
delimitMate_expand_croption set, a newline is inserted while in the completion menu of coq. The completion goes through and the cursor stays on the correct line when pressing enter (the completion key for coq), but then a newline appears beneath the cursor's line.