Preferences/ConfigurationPages/EditorAPIsPage.py

changeset 20
74944df40dfb
parent 13
1af94a91f439
child 53
c3eb7cc1ff8b
equal deleted inserted replaced
19:3e024a7e465c 20:74944df40dfb
204 self.__currentAPI and self.__currentAPI.cancelPreparation() 204 self.__currentAPI and self.__currentAPI.cancelPreparation()
205 else: 205 else:
206 if self.__currentAPI is not None: 206 if self.__currentAPI is not None:
207 self.__currentAPI.prepareAPIs(\ 207 self.__currentAPI.prepareAPIs(\
208 ondemand = True, 208 ondemand = True,
209 rawList = [self.__editorGetApisFromApiList()]) 209 rawList = self.__editorGetApisFromApiList())
210 210
211 def __apiPreparationFinished(self): 211 def __apiPreparationFinished(self):
212 """ 212 """
213 Private method called after the API preparation has finished. 213 Private method called after the API preparation has finished.
214 """ 214 """

eric ide

mercurial