Thu, 22 Jan 2015 19:16:51 +0100
Fixed an issue with the editor search bar and replace bar related to resizing upon usage of large fonts.
(grafted from 8880a520e932e6c3866e4e57a541a9a84af5448e)
QScintilla/SearchReplaceWidget.py | file | annotate | diff | comparison | revisions |
--- a/QScintilla/SearchReplaceWidget.py Sun Jan 18 12:46:01 2015 +0100 +++ b/QScintilla/SearchReplaceWidget.py Thu Jan 22 19:16:51 2015 +0100 @@ -159,6 +159,12 @@ self.findPrevAct.setEnabled(False) self.ui.findtextCombo.addAction(self.findPrevAct) + self.ensurePolished() + msh = self.minimumSizeHint() + self.resize(max(self.width(), msh.width()), + max(self.height(), msh.height()) + ) + self.havefound = False self.__pos = None self.__findBackwards = False