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); }