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