Multi-line comment quirk - it inserts single-line comment prefixes

[silky]

Thanks for this lovely plugin! I'm beyond excited to be able to agda in vim :)

One thing I noticed is that if I begin a multi-line comment block, then I press Enter to go to a newline, I get single-line comment prefixes inserted:

This was created by typing:

Hello<cr><cr><cr><cr><cr>

@googleson78 suggests that perhaps a fix could be to not tag {- -} as comments; i.e. remove this:

setlocal comments=sfl:{-,mb1:--,ex:-},:--

But perhaps there is another alternative!

Thanks :)

[isovector]

Looking through the documentation, it seems we MUST have a token to start each line in a multi line comment.

Three-piece comments must

have a middle string because otherwise Vim can't recognize the middle lines. Wtf vim. I don't know the best solution here, but removing multilines entirely would work for me.

…

On February 20, 2024 2:56:42 a.m. PST, Noon van der Silk ***@***.***> wrote: Thanks for this lovely plugin! I'm beyond excited to be able to agda in vim :) One thing I noticed is that if I begin a multi-line comment block, then I press `Enter` to go to a newline, I get single-line comment prefixes inserted:  This was created by typing: ```Hello<cr><cr><cr><cr><cr> ``` @googleson78 suggests that perhaps a fix could be to not tag `{- -}` as comments; i.e. remove this: ``` setlocal comments=sfl:{-,mb1:--,ex:-},:-- ``` But perhaps there is another alternative! Thanks :) -- Reply to this email directly or view it on GitHub: #138 You are receiving this because you are subscribed to this thread. Message ID: ***@***.***>