CodeLine
type CodeLine =
{
Number: int
Marker: Marker option
IsCollapsed: bool
Pieces: CodePiece list
}
One line of a code block, numbered as the reader sees it.
Fields
Marker: Marker option
Set when the line as a whole is marked, inserted or deleted.
IsCollapsed: bool
True when the meta asked for this line to be folded away.