/// <summary>
 /// Dispatches the <see cref="ExploreFinished" /> event.
 /// </summary>
 /// <param name="e">The event arguments.</param>
 public void NotifyExploreFinished(ExploreFinishedEventArgs e)
 {
     EventHandlerPolicy.SafeInvoke(ExploreFinished, this, e);
 }
 /// <summary>
 /// Dispatches the <see cref="ExploreFinished" /> event.
 /// </summary>
 /// <param name="e">The event arguments.</param>
 public void NotifyExploreFinished(ExploreFinishedEventArgs e)
 {
     EventHandlerPolicy.SafeInvoke(ExploreFinished, this, e);
 }