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

            Write(number, Color.Gray);
        }