--- a/src/eric7/QScintilla/SearchReplaceWidget.py Sat Apr 15 18:23:30 2023 +0200 +++ b/src/eric7/QScintilla/SearchReplaceWidget.py Mon Apr 17 09:29:01 2023 +0200 @@ -1464,9 +1464,7 @@ self.__searchReplaceWidget.setMaximumHeight( self.__searchReplaceWidget.sizeHint().height() ) - self.setMaximumHeight(self.__searchReplaceWidget.sizeHint().height()) - self.adjustSize() self.__enableScrollerButtons()