/// <summary>
/// It is called when a new explorer has been attached after one of the explore methods.
/// </summary>
/// <param name="args">.</param>
/// <remarks>
/// The base method triggers the <see cref="ExplorerEntered"/> event.
/// </remarks>
public virtual void UIExplorerEntered(ExplorerEnteredEventArgs args)
{
if (ExplorerEntered != null)
{
ExplorerEntered(this, args);
}
}
/// <summary>
/// It is called when a new explorer has been attached after one of the explore methods.
/// </summary>
/// <param name="args">.</param>
/// <remarks>
/// The base method triggers the <see cref="ExplorerEntered"/> event.
/// </remarks>
public virtual void UIExplorerEntered(ExplorerEnteredEventArgs args)
{
ExplorerEntered?.Invoke(this, args);
}
