Preferences/ConfigurationDialog.py

branch
6_1_x
changeset 4657
ce42b7df7fc8
parent 4632
ca310db386ed
child 4849
4eb0fba3b6c5
equal deleted inserted replaced
4646:cf9cb65c30dc 4657:ce42b7df7fc8
750 savedState = page.saveState() 750 savedState = page.saveState()
751 page.save() 751 page.save()
752 self.preferencesChanged.emit() 752 self.preferencesChanged.emit()
753 if savedState is not None: 753 if savedState is not None:
754 page.setState(savedState) 754 page.setState(savedState)
755 page.polishPage()
755 756
756 @pyqtSlot() 757 @pyqtSlot()
757 def on_resetButton_clicked(self): 758 def on_resetButton_clicked(self):
758 """ 759 """
759 Private slot called to reset the settings of the current page. 760 Private slot called to reset the settings of the current page.

eric ide

mercurial