public void ScrollToNearPosition()
{
if (richBox != null)
{
richBox.ScrollNearPosition(richBox.SelectionStart);
}
}
void GoTo()
{
if (null == LastRichText)
{
NewMessage.Show(Loc.Instance.GetString("Please select a note first."));
return;
}
if (PositionsFound != null && Position > -1 && PositionsFound.Count >= Position)
{
int PositionToGoTo = PositionsFound [Position];
// We do not set the Caret yet, because we will fake set
// it in the following route to a position higher up in the text.
LastRichText.ScrollNearPosition(PositionToGoTo);
LastRichText.SelectionStart = PositionToGoTo;
LastRichText.SelectionLength = Searchbox.Text.Length;
// LastRichText.ScrollToCaret();
UpdateSearchMatches(Position + 1, PositionsFound.Count);
}
}