diff --git a/src/plugins/coreplugin/editormanager/editormanager.cpp b/src/plugins/coreplugin/editormanager/editormanager.cpp index 1112620431f..bb0b65ebaf8 100644 --- a/src/plugins/coreplugin/editormanager/editormanager.cpp +++ b/src/plugins/coreplugin/editormanager/editormanager.cpp @@ -1863,6 +1863,8 @@ void EditorManagerPrivate::addEditorArea(EditorArea *area) &EditorArea::hidden, d, [area = QPointer(area)] { + if (ExtensionSystem::PluginManager::isShuttingDown()) + return; // The connection is queued, because the hiding might be very short term, e.g. // when switching between Edit and Debug modes. Check if it is still hidden. const auto isReallyVisibile = [](QWidget *w) {