public WriteLine ( StringBuilder @out, int i ) : void | ||
@out | StringBuilder | |
i | int | /// index of the line to extract. Note this is 0-based, so line /// number 1 is actually index 0. /// |
return | void |
private void WriteLine(StringBuilder @out, Text text, int cur) { text.WriteLine(@out, cur); @out.Append('\n'); }
private void WriteLine(StringBuilder @out, Text text, int cur) { text.WriteLine(@out, cur); @out.Append('\n'); }
private void WriteLine(char prefix, Text text, int cur) { _out.Append(prefix); text.WriteLine(_out, cur); _out.Append('\n'); }
private void WriteLine(char prefix, Text text, int cur) { _out.Append(prefix); text.WriteLine(_out, cur); _out.Append('\n'); }