Preferences/ConfigurationDialog.py

changeset 7
c679fb30c8f3
parent 0
de9c2efb9d02
child 12
1d8dd9706f46
equal deleted inserted replaced
6:52e8c820d0dd 7:c679fb30c8f3
310 """ 310 """
311 Private method to perform the general setup of the configuration widget. 311 Private method to perform the general setup of the configuration widget.
312 """ 312 """
313 self.setObjectName("ConfigurationDialog") 313 self.setObjectName("ConfigurationDialog")
314 self.resize(900, 650) 314 self.resize(900, 650)
315 self.setProperty("sizeGripEnabled", QVariant(True))
316 self.verticalLayout_2 = QVBoxLayout(self) 315 self.verticalLayout_2 = QVBoxLayout(self)
317 self.verticalLayout_2.setSpacing(6) 316 self.verticalLayout_2.setSpacing(6)
318 self.verticalLayout_2.setMargin(6) 317 self.verticalLayout_2.setMargin(6)
319 self.verticalLayout_2.setObjectName("verticalLayout_2") 318 self.verticalLayout_2.setObjectName("verticalLayout_2")
320 319

eric ide

mercurial