public Parser(Scanner scanner)
{
this.scanner = scanner;
}
public TextHighlighter(RichTextBox textbox, Scanner scanner, Parser parser)
{
Textbox = textbox;
Scanner = scanner;
Parser = parser;
ClearUndo();
//Tree = Parser.Parse(Textbox.Text);
Textbox.TextChanged += new EventHandler(Textbox_TextChanged);
textbox.KeyDown += new KeyEventHandler(textbox_KeyDown);
Textbox.SelectionChanged += new EventHandler(Textbox_SelectionChanged);
Textbox.Disposed += new EventHandler(Textbox_Disposed);
SwitchContext = null;
currentContext = Tree;
threadAutoHighlight = new Thread(AutoHighlightStart);
threadAutoHighlight.Start();
}