diff -r d1a603a70f83 -r 9becf9ca115c src/eric7/Documentation/Source/eric7.ViewManager.ViewManager.html
--- a/src/eric7/Documentation/Source/eric7.ViewManager.ViewManager.html Tue Apr 23 09:29:13 2024 +0200
+++ b/src/eric7/Documentation/Source/eric7.ViewManager.ViewManager.html Tue Apr 23 11:26:04 2024 +0200
@@ -4639,7 +4639,7 @@
</dl>
<a NAME="ViewManager.setFileLine" ID="ViewManager.setFileLine"></a>
<h4>ViewManager.setFileLine</h4>
-<b>setFileLine</b>(<i>fn, line, error=False, syntaxError=False</i>)
+<b>setFileLine</b>(<i>fn, line, error=False</i>)
<p>
Public method to update the user interface when the current program
or line changes.
@@ -4659,10 +4659,6 @@
<dd>
flag indicating an error highlight
</dd>
-<dt><i>syntaxError</i> (bool)</dt>
-<dd>
-flag indicating a syntax error
-</dd>
</dl>
<a NAME="ViewManager.setReferences" ID="ViewManager.setReferences"></a>
<h4>ViewManager.setReferences</h4>
