Plugins/PluginCodeStyleChecker.py

changeset 4503
d68dcbe1deb3
parent 4235
81278aff6af9
child 4535
ec12db87e8c0
child 4632
ca310db386ed
diff -r 76f2b46437a6 -r d68dcbe1deb3 Plugins/PluginCodeStyleChecker.py
--- a/Plugins/PluginCodeStyleChecker.py	Tue Oct 20 19:19:12 2015 +0200
+++ b/Plugins/PluginCodeStyleChecker.py	Thu Oct 22 19:48:40 2015 +0200
@@ -50,9 +50,11 @@
     @signal styleChecked(str, dict, int, list) emitted when the style check was
         done for a file.
     @signal batchFinished() emitted when a style check batch is done
+    @signal error(str, str) emitted in case of an error
     """
     styleChecked = pyqtSignal(str, dict, int, list)
     batchFinished = pyqtSignal()
+    error = pyqtSignal(str, str)
     
     def __init__(self, ui):
         """
@@ -89,8 +91,7 @@
         @param fn file name (string)
         @param msg message text (string)
         """
-        self.styleChecked.emit(
-            fn, {}, 0, [[1, 1, '---- ' + msg, False, False, False]])
+        self.error.emit(fn, msg)
     
     def serviceErrorPy2(self, fx, lang, fn, msg):
         """

eric ide

mercurial