private void NextBookmark()
{
if (this.bookmarks.Count > 0)
{
bookmark = bookmarks.Dequeue();
ctrl = parent.ShowTarget(
bookmark.Element,
bookmark.PropertyName,
bookmark.Index,
bookmark.Start,
bookmark.Length);
}
else
{
MessageBox.Show(
this.localizer.GetValue("UserMessages", "searchCompleted"),
Application.ProductName,
MessageBoxButtons.OK,
MessageBoxIcon.Information);
bookmark = null;
this.SetState();
}
}
