public void SelectText(string symbolname, int fileoffset, int length)
{
/* richTextBox1.SelectionStart = fileoffset;
richTextBox1.SelectionLength = length;
richTextBox1.ScrollToCaret();*/
hexBox1.SelectionStart = fileoffset;
hexBox1.SelectionLength = length;
hexBox1.ScrollByteIntoView(fileoffset + length + 64); // scroll 4 lines extra for viewing purposes
toolStripButton1.Text = symbolname;
}