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