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