--- a/src/eric7/UI/UserInterface.py Mon Mar 27 22:05:05 2023 +0200 +++ b/src/eric7/UI/UserInterface.py Tue Mar 28 10:14:23 2023 +0200 @@ -1014,14 +1014,12 @@ layout.setContentsMargins(1, 1, 1, 1) layout.setSpacing(1) layout.addWidget(self.viewmanager.mainWidget()) - layout.addWidget(self.viewmanager.searchWidget()) - layout.addWidget(self.viewmanager.replaceWidget()) + layout.addWidget(self.viewmanager.searchReplaceWidget()) self.viewmanager.mainWidget().setSizePolicy( QSizePolicy.Policy.Preferred, QSizePolicy.Policy.Expanding ) leftWidget.setLayout(layout) - self.viewmanager.searchWidget().hide() - self.viewmanager.replaceWidget().hide() + self.viewmanager.searchReplaceWidget().hide() splitter = QSplitter(Qt.Orientation.Horizontal) splitter.addWidget(leftWidget) @@ -5512,8 +5510,7 @@ @param save flag indicating that the current profile should be saved (boolean) """ - self.viewmanager.searchWidget().hide() - self.viewmanager.replaceWidget().hide() + self.viewmanager.searchReplaceWidget().hide() self.__activateViewProfile("debug", save) self.setDebugProfileAct.setChecked(True)