public ClipboardColoredText(ColoredSegment chunk, TextDocument doc)
{
this.ScopeStack = chunk.ScopeStack;
this.Text = doc.GetTextAt(chunk);
}
public static string GenerateHtml(TextEditorData data)
{
return(GenerateHtml(ColoredSegment.GetChunks(data, new TextSegment(0, data.Length)), data.ColorStyle, data.Options));
}