| private SelectAndScrollToAnalysisOccurrence ( AnalysisOccurrence occurrence ) : void | ||
| occurrence | AnalysisOccurrence | |
| return | void | |
internal void SelectAndScrollToAnalysisOccurrence(AnalysisOccurrence occurrence)
{
if (occurrence == null)
{
Debug.Assert(occurrence != null, "Unable to find occurrence close to bookmark");
return;
}
var chartLoc = m_logic.FindChartLocOfWordform(occurrence);
if (chartLoc != null && chartLoc.IsValidLocation)
{
SelectAndScrollToLoc(chartLoc, true);
return;
}
// Otherwise, Bookmark is for an occurrence that is not yet charted.
m_chart.ScrollToEndOfChart();
}
