Plugins/CheckerPlugins/CodeStyleChecker/MiscellaneousChecker.py

changeset 6100
63d6350f3a34
parent 6048
82ad8ec9548c
child 6106
921d070cec82
diff -r a7fecbc392d7 -r 63d6350f3a34 Plugins/CheckerPlugins/CodeStyleChecker/MiscellaneousChecker.py
--- a/Plugins/CheckerPlugins/CodeStyleChecker/MiscellaneousChecker.py	Thu Feb 01 19:26:11 2018 +0100
+++ b/Plugins/CheckerPlugins/CodeStyleChecker/MiscellaneousChecker.py	Thu Feb 01 19:32:19 2018 +0100
@@ -234,6 +234,7 @@
         Private method to check the presence of a coding line and valid
         encodings.
         """
+        # TODO: editorconfig: check coding line against EditorConfig setting
         if len(self.__source) == 0:
             return
         

eric ide

mercurial