Don't select a new tab if the tab being closed is not the current tab. (#125)

This commit is contained in:
Rodrigo Oliva 2020-02-21 22:46:21 +01:00 committed by GitHub
parent 3ffbbfb6d0
commit dec170ed24
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -173,6 +173,12 @@ void DockWidgetPrivate::updateParentDockArea()
return;
}
// we don't need to change the current tab if the
// current dock widget is not the one being closed
if (DockArea->currentDockWidget() != _this){
return;
}
auto NextDockWidget = DockArea->nextOpenDockWidget(_this);
if (NextDockWidget)
{