Confirmed. The issue seems related to how the "indent" region ends. If it "spills over" at the start of the next line, end of line gets inserted twice. Issue is in serialization code of the text buffer. Will need to take along in refactoring of that widget.
Confirmed. The issue seems related to how the "indent" region ends. If it "spills over" at the start of the next line, end of line gets inserted twice. Issue is in serialization code of the text buffer. Will need to take along in refactoring of that widget.