Fixed an issue with the editor search bar and replace bar related to resizing upon usage of large fonts.

Thu, 22 Jan 2015 19:16:51 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Thu, 22 Jan 2015 19:16:51 +0100
changeset 4061
8880a520e932
parent 4060
6dc9821fc9c8
child 4063
b7269498aa95

Fixed an issue with the editor search bar and replace bar related to resizing upon usage of large fonts.

QScintilla/SearchReplaceWidget.py file | annotate | diff | comparison | revisions
diff -r 6dc9821fc9c8 -r 8880a520e932 QScintilla/SearchReplaceWidget.py
--- a/QScintilla/SearchReplaceWidget.py	Sun Jan 18 18:01:54 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

eric ide

mercurial