Added a TODO marker for EditorConfig to the "Miscellaneous Checker".

Thu, 01 Feb 2018 19:32:19 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Thu, 01 Feb 2018 19:32:19 +0100
changeset 6100
63d6350f3a34
parent 6099
a7fecbc392d7
child 6101
b854a825d483

Added a TODO marker for EditorConfig to the "Miscellaneous Checker".

Plugins/CheckerPlugins/CodeStyleChecker/MiscellaneousChecker.py file | annotate | diff | comparison | revisions
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