improve line comment joining and splicing
commit5bc0ecf72fd0af3f4269c012f9346359c337b8d7
authorGeorgi Kirilov <>
Sat, 31 Oct 2020 09:50:51 +0000 (31 11:50 +0200)
committerGeorgi Kirilov <>
Fri, 19 May 2023 15:24:22 +0000 (19 18:24 +0300)
tree0ee0743cb0ea6e84986a8f36c76c2a7fa393de08
parent15025b9496c772553886a866613c7c0c4967abc3
improve line comment joining and splicing

- the last empty comment is now spliced, not joined
- indented comments cannot be joined with margin comments anymore
edit.lua