/// <inheritdoc/>
protected override void ColorizeLine(DocumentLine line)
{
IHighlighter highlighter = CurrentContext.TextView.Services.GetService(typeof(IHighlighter)) as IHighlighter;
if (highlighter != null)
{
HighlightedLine hl = highlighter.HighlightLine(line.LineNumber);
foreach (HighlightedSection section in hl.Sections)
{
ChangeLinePart(section.Offset, section.Offset + section.Length,
visualLineElement => ApplyColorToElement(visualLineElement, section.Color));
}
}
this.lastColorizedLine = line;
}
/// <inheritdoc/>
public HighlightedLine HighlightLine(int lineNumber)
{
ThrowUtil.CheckInRangeInclusive(lineNumber, "lineNumber", 1, document.LineCount);
CheckIsHighlighting();
isHighlighting = true;
try {
HighlightUpTo(lineNumber);
DocumentLine line = document.GetLineByNumber(lineNumber);
highlightedLine = new HighlightedLine(document, line);
HighlightLineAndUpdateTreeList(line, lineNumber);
return(highlightedLine);
} finally {
highlightedLine = null;
isHighlighting = false;
}
}
/// <summary>
/// Creates a HTML fragment from a part of a document.
/// </summary>
/// <param name="document">The document to create HTML from.</param>
/// <param name="highlighter">The highlighter used to highlight the document. <c>null</c> is valid and will create HTML without any highlighting.</param>
/// <param name="segment">The part of the document to create HTML for. You can pass <c>null</c> to create HTML for the whole document.</param>
/// <param name="options">The options for the HTML creation.</param>
/// <returns>HTML code for the document part.</returns>
public static string CreateHtmlFragment(TextDocument document, IHighlighter highlighter, ISegment segment, HtmlOptions options)
{
if (document == null)
{
throw new ArgumentNullException("document");
}
if (options == null)
{
throw new ArgumentNullException("options");
}
if (highlighter != null && highlighter.Document != document)
{
throw new ArgumentException("Highlighter does not belong to the specified document.");
}
if (segment == null)
{
segment = new SimpleSegment(0, document.TextLength);
}
StringBuilder html = new StringBuilder();
int segmentEndOffset = segment.EndOffset;
DocumentLine line = document.GetLineByOffset(segment.Offset);
while (line != null && line.Offset < segmentEndOffset)
{
HighlightedLine highlightedLine;
if (highlighter != null)
{
highlightedLine = highlighter.HighlightLine(line.LineNumber);
}
else
{
highlightedLine = new HighlightedLine(document, line);
}
SimpleSegment s = segment.GetOverlap(line);
if (html.Length > 0)
{
html.AppendLine("<br>");
}
html.Append(highlightedLine.ToHtml(s.Offset, s.EndOffset, options));
line = line.NextLine;
}
return(html.ToString());
}