void editor_EditorTextChanged(object sender, EventArgs e)
{
if (CurrentDocument != null)
{
var doc = InteractiveManager.GetDocumentByID(CurrentDocument.DocumentID);
if (doc != null)
{
mv.DisplayTree((SyntaxTree)doc.GetSyntaxTree());
}
}
}