--- 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