Mitchell:
> The use case for this is a one-line Scintilla control that uses a text margin as a label.
This is not a core use case. Label widgets are designed to function as labels - amongst other possible benefits, they will likely work better with screen readers.
> Whenever I backspaced until the start of the line, plv was being reinited, and I lost my margin text. This was unexpected. Judging by the comment, I think perhaps requiring the deleted range to span multiple lines is acceptable. With the attached patch, I don't lose my margin text when the line becomes empty.
The patch will change behaviour of projects using Scintilla which may cause new bugs. This appears to me to not be be justified by the small benefits.
Neil