Plugins/PluginTabnanny.py

changeset 4503
d68dcbe1deb3
parent 4237
ff8a3e769fca
child 4535
ec12db87e8c0
child 4632
ca310db386ed
--- a/Plugins/PluginTabnanny.py	Tue Oct 20 19:19:12 2015 +0200
+++ b/Plugins/PluginTabnanny.py	Thu Oct 22 19:48:40 2015 +0200
@@ -46,9 +46,11 @@
     @signal indentChecked(str, bool, str, str) emitted when the indent
         check was done.
     @signal batchFinished() emitted when a style check batch is done
+    @signal error(str, str) emitted in case of an error
     """
     indentChecked = pyqtSignal(str, bool, str, str)
     batchFinished = pyqtSignal()
+    error = pyqtSignal(str, str)
     
     def __init__(self, ui):
         """
@@ -85,7 +87,7 @@
         @param fn file name (string)
         @param msg message text (string)
         """
-        self.indentChecked.emit(fn, True, "1", msg)
+        self.error.emit(fn, msg)
     
     def serviceErrorPy2(self, fx, lang, fn, msg):
         """

eric ide

mercurial