Example #1
0
 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();
     }
 }