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(); } }