--- a/Documentation/Source/eric5.ViewManager.ViewManager.html	Wed Jul 03 19:34:42 2013 +0200
+++ b/Documentation/Source/eric5.ViewManager.ViewManager.html	Fri Jul 05 19:17:29 2013 +0200
@@ -161,6 +161,10 @@
 <dd>
 emitted to signal a change of an
             editor's language
+</dd><dt>editorLineChanged(str,int)</dt>
+<dd>
+emitted to signal a change of an editor's
+            current line (line is given one based)
 </dd><dt>editorOpened(str)</dt>
 <dd>
 emitted after an editor window was opened