void PrintWords(TextWriter writer, HighlightedLine line, string text)
{
if (line != null)
{
writer.Write(line.ToHtml(new MyHtmlOptions(this)));
}
else
{
writer.Write(text);
}
}
void PrintWords(TextWriter writer, HighlightedLine line)
{
writer.Write(line.ToHtml(new MyHtmlOptions(this)));
}
void PrintWords(TextWriter writer, HighlightedLine line)
{
writer.Write(line.ToHtml(new MyHtmlOptions(this)));
}
private void PrintWords(TextWriter writer, HighlightedLine line, string text)
{
writer.Write(line != null ? line.ToHtml(new MyHtmlOptions(this)) : text);
}