QScintilla/ZoomDialog.py

changeset 3366
6084bb3c3911
parent 3160
209a07d7e401
child 3484
645c12de6b0c
--- a/QScintilla/ZoomDialog.py	Wed Mar 12 19:54:14 2014 +0100
+++ b/QScintilla/ZoomDialog.py	Thu Mar 13 19:21:25 2014 +0100
@@ -34,6 +34,9 @@
         self.zoomSpinBox.setValue(zoom)
         self.zoomSpinBox.selectAll()
         
+        msh = self.minimumSizeHint()
+        self.resize(max(self.width(), msh.width()), msh.height())
+        
     def getZoomSize(self):
         """
         Public method to retrieve the zoom size.

eric ide

mercurial