Plugins/CheckerPlugins/CodeStyleChecker/MiscellaneousChecker.py

changeset 6100
63d6350f3a34
parent 6048
82ad8ec9548c
child 6106
921d070cec82
equal deleted inserted replaced
6099:a7fecbc392d7 6100:63d6350f3a34
232 def __checkCoding(self): 232 def __checkCoding(self):
233 """ 233 """
234 Private method to check the presence of a coding line and valid 234 Private method to check the presence of a coding line and valid
235 encodings. 235 encodings.
236 """ 236 """
237 # TODO: editorconfig: check coding line against EditorConfig setting
237 if len(self.__source) == 0: 238 if len(self.__source) == 0:
238 return 239 return
239 240
240 encodings = [e.lower().strip() 241 encodings = [e.lower().strip()
241 for e in self.__args.get( 242 for e in self.__args.get(

eric ide

mercurial