Comments with leading * cannot be joined using J

whonore / Coqtail

Interactive Coq Proofs in Vim

MIT License

274 stars 34 forks source link

Comments with leading * cannot be joined using J #305

Closed bn-peters closed 2 years ago

bn-peters commented 2 years ago

Joining comments with leading * deletes the line involved. To reproduce, install Coqtail (with default configuration) and create the following file:

(* test [CURSOR] 
* test *)

Pressing J to join the lines leads to

(* test

This does not happen if the second line does not start with *.

whonore commented 2 years ago

Thanks for reporting. After a little bit of experimentation, I've narrowed this down to something related to the j flag in 'formatoptions'. I'll have to keep looking to find the exact problem, but I'm guessing it's something to do with 'comments'.