A procedure that colours one line of text by appending spans (unlisted text uses the default colour).
Highlight_Proc :: #type (line: string, spans: *[..] Highlight_Span)A procedure that colours one line of text by appending spans (unlisted text uses the default colour).
Highlight_Proc :: #type (line: string, spans: *[..] Highlight_Span)