You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.The text was updated successfully, but these errors were encountered: