private void colorLine(Style.Color color, int line)
{
int start = document.GetLineStartIndex(line);
int end = start + document.GetLineLength(line);
for (int i = start; i < end; i++)
{
document.SetColorAt(i, (byte)color);
}
}
public static string AsColor(string exp, Style.Color color)
{
return(@"{\color{" + color + "}" + exp + "}");
}
