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