--- a/src/eric7/ViewManager/ViewManager.py Wed Mar 29 10:45:00 2023 +0200 +++ b/src/eric7/ViewManager/ViewManager.py Wed Mar 29 11:32:06 2023 +0200 @@ -162,6 +162,7 @@ self.__searchReplaceWidget = SearchReplaceSlidingWidget(self, ui) + self.editorClosedEd.connect(self.__searchReplaceWidget.editorClosed) self.checkActions.connect(self.__searchReplaceWidget.updateSelectionCheckBox) def searchReplaceWidget(self):