public void Visit(ILineStartToken line) { Console.Write("<span class=\"line_number\">"); Console.Write("{0,3}", line.Number()); Console.Write("</span>"); }
public void Visit(ILineStartToken line) { Console.Write("<span class = \"line_number\">"); Console.Write("{0,3}", line.Number()); Console.Write("</span>"); }
public void Visit(ILineStartToken line) { String number = String.Format("{0,3} ", line.Number()); Write(number, Color.Gray); }