private void treeBFSstructure_AfterSelect(object sender, TreeViewEventArgs e)
{
IBfsSourceNode snode = e.Node.Tag as IBfsSourceNode;
if (snode != null)
richTextBox.Select(snode.SourceRange.Begin, snode.SourceRange.Length);
else
listViewErrorBox.Items.Add("Error! No range was stored in the nodes!",0);
}