diff -r 76f2b46437a6 -r d68dcbe1deb3 Documentation/Source/eric6.Plugins.PluginTabnanny.html
--- a/Documentation/Source/eric6.Plugins.PluginTabnanny.html Tue Oct 20 19:19:12 2015 +0200
+++ b/Documentation/Source/eric6.Plugins.PluginTabnanny.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>indentChecked(str, bool, str, str)</dt>
<dd>
emitted when the indent
