eric6/Preferences/ConfigurationDialog.py

changeset 7786
dd4a55fedea9
parent 7780
41420f82c0ac
child 7788
604a28a7767b
equal deleted inserted replaced
7785:9978016560ec 7786:dd4a55fedea9
762 self.scrollArea.horizontalScrollBar().height() - 2) 762 self.scrollArea.horizontalScrollBar().height() - 2)
763 if self.scrollArea.verticalScrollBar(): 763 if self.scrollArea.verticalScrollBar():
764 ssize.setWidth( 764 ssize.setWidth(
765 ssize.width() - 765 ssize.width() -
766 self.scrollArea.verticalScrollBar().width() - 2) 766 self.scrollArea.verticalScrollBar().width() - 2)
767 psize = self.configStack.currentWidget().sizeHint() 767 psize = self.configStack.currentWidget().minimumSizeHint()
768 self.configStack.resize(max(ssize.width(), psize.width()), 768 self.configStack.resize(max(ssize.width(), psize.width()),
769 max(ssize.height(), psize.height())) 769 max(ssize.height(), psize.height()))
770 770
771 def getConfigurationPageName(self): 771 def getConfigurationPageName(self):
772 """ 772 """

eric ide

mercurial