Preferences/ConfigurationDialog.py

changeset 6188
5a6ae3be31e6
parent 6048
82ad8ec9548c
child 6206
a02b03b7bfec
child 6346
92ed63434dce
equal deleted inserted replaced
6187:2cc7e3629784 6188:5a6ae3be31e6
853 def setPreferences(self): 853 def setPreferences(self):
854 """ 854 """
855 Public method called to store the selected values into the preferences 855 Public method called to store the selected values into the preferences
856 storage. 856 storage.
857 """ 857 """
858 for key, pageData in list(self.configItems.items()): 858 for pageData in self.configItems.values():
859 if pageData[-1]: 859 if pageData[-1]:
860 pageData[-1].save() 860 pageData[-1].save()
861 # page was loaded (and possibly modified) 861 # page was loaded (and possibly modified)
862 QApplication.processEvents() # ensure HMI is responsive 862 QApplication.processEvents() # ensure HMI is responsive
863 863

eric ide

mercurial