diff -r 76f2b46437a6 -r d68dcbe1deb3 Documentation/Source/eric6.Plugins.CheckerPlugins.SyntaxChecker.SyntaxCheckService.html
--- a/Documentation/Source/eric6.Plugins.CheckerPlugins.SyntaxChecker.SyntaxCheckService.html Tue Oct 20 19:19:12 2015 +0200
+++ b/Documentation/Source/eric6.Plugins.CheckerPlugins.SyntaxChecker.SyntaxCheckService.html Thu Oct 22 19:48:40 2015 +0200
@@ -53,6 +53,9 @@
<dt>batchFinished()</dt>
<dd>
emitted when a syntax check batch is done
+</dd><dt>error(str, str)</dt>
+<dd>
+emitted in case of an error
</dd><dt>syntaxChecked(str, dict)</dt>
<dd>
emitted when the syntax check was done for
