void TextView_Navigate(object sender, EditorNavigationArgs e)
{
var addr = e.Destination as Address;
var proc = e.Destination as Procedure;
if (proc != null)
addr = program.GetProcedureAddress(proc);
if (addr == null)
return;
UserNavigateToAddress(combinedCodeView.MixedCodeDataView.TopAddress, addr);
}