Skip to content

Commit

Permalink
Remove 'n' flag from ending part of comments
Browse files Browse the repository at this point in the history
Fixes #305, #306
I'm not 100% sure why this works, or whether the flag is actually doing
anything useful in the comment opener, but I'll leave it for now.
  • Loading branch information
whonore committed Sep 16, 2022
1 parent 622240f commit 5005b1a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ftplugin/coq.vim
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ endif
" Comments
if has('comments')
setlocal commentstring=(*%s*)
setlocal comments=srn:(*,mb:*,exn:*)
setlocal comments=srn:(*,mb:*,ex:*)
" NOTE: The 'r' and 'o' flags mistake the '*' bullet as a middle comment and
" will automatically add an extra one after <Enter>, 'o' or 'O'.
setlocal formatoptions-=t formatoptions-=r formatoptions-=o formatoptions+=cql
Expand Down

0 comments on commit 5005b1a

Please sign in to comment.