Preferences/ConfigurationPages/EditorAPIsPage.py

changeset 7
c679fb30c8f3
parent 0
de9c2efb9d02
child 12
1d8dd9706f46
equal deleted inserted replaced
6:52e8c820d0dd 7:c679fb30c8f3
61 def save(self): 61 def save(self):
62 """ 62 """
63 Public slot to save the Editor APIs configuration. 63 Public slot to save the Editor APIs configuration.
64 """ 64 """
65 Preferences.setEditor("AutoPrepareAPIs", 65 Preferences.setEditor("AutoPrepareAPIs",
66 int(self.apiAutoPrepareCheckBox.isChecked())) 66 self.apiAutoPrepareCheckBox.isChecked())
67 67
68 lang = self.apiLanguageComboBox.currentText() 68 lang = self.apiLanguageComboBox.currentText()
69 self.apis[lang] = self.__editorGetApisFromApiList() 69 self.apis[lang] = self.__editorGetApisFromApiList()
70 70
71 for lang, apis in self.apis.items(): 71 for lang, apis in self.apis.items():

eric ide

mercurial