/// ------------------------------------------------------------------------------------
/// <summary>
/// Reflects drag leave events to the tab's owning group.
/// </summary>
/// ------------------------------------------------------------------------------------
protected override void OnDragLeave(EventArgs e)
{
base.OnDragLeave(e);
OwningTabGroup.InternalDragLeave(e);
}
/// ------------------------------------------------------------------------------------
/// <summary>
/// Treat dragging on a result view grid just like dragging on the tab.
/// </summary>
/// ------------------------------------------------------------------------------------
void HandleResultViewDragLeave(object sender, EventArgs e)
{
OwningTabGroup.InternalDragLeave(e);
}