void _dockPanel_ActiveContentChanged(object sender, EventArgs e)
{
/* When Ctrl+Tabbing, ActiveDocument is still the previously active tab, so let's double check which tab is actually active (i.e. has focus). */
foreach (ContentDocument focusDocument in _panes)
if (focusDocument.Control.ContainsFocus || focusDocument.Control.DockingContainer.ContainsFocus)
{
if (focusDocument != ActiveDocument)
{
SetActiveDocument(focusDocument, false);
focusDocument.Control.DockingContainer.Refresh();
_dockPanel.ActivePane.Refresh();
}
break;
}
return;
}