public void WriteLine() { if (annotations.Count > 0) { var pad = 60 - chars; if (pad > 0) { formatter.WriteSpaces(pad); chars += pad; } WriteString("; "); WriteString(string.Join(", ", annotations)); annotations.Clear(); } chars = 0; formatter.WriteLine(); }