4637 Not implemented |
4637 Not implemented |
4638 </dd> |
4638 </dd> |
4639 </dl> |
4639 </dl> |
4640 <a NAME="ViewManager.setFileLine" ID="ViewManager.setFileLine"></a> |
4640 <a NAME="ViewManager.setFileLine" ID="ViewManager.setFileLine"></a> |
4641 <h4>ViewManager.setFileLine</h4> |
4641 <h4>ViewManager.setFileLine</h4> |
4642 <b>setFileLine</b>(<i>fn, line, error=False, syntaxError=False</i>) |
4642 <b>setFileLine</b>(<i>fn, line, error=False</i>) |
4643 <p> |
4643 <p> |
4644 Public method to update the user interface when the current program |
4644 Public method to update the user interface when the current program |
4645 or line changes. |
4645 or line changes. |
4646 </p> |
4646 </p> |
4647 |
4647 |
4656 line number to highlight |
4656 line number to highlight |
4657 </dd> |
4657 </dd> |
4658 <dt><i>error</i> (bool)</dt> |
4658 <dt><i>error</i> (bool)</dt> |
4659 <dd> |
4659 <dd> |
4660 flag indicating an error highlight |
4660 flag indicating an error highlight |
4661 </dd> |
|
4662 <dt><i>syntaxError</i> (bool)</dt> |
|
4663 <dd> |
|
4664 flag indicating a syntax error |
|
4665 </dd> |
4661 </dd> |
4666 </dl> |
4662 </dl> |
4667 <a NAME="ViewManager.setReferences" ID="ViewManager.setReferences"></a> |
4663 <a NAME="ViewManager.setReferences" ID="ViewManager.setReferences"></a> |
4668 <h4>ViewManager.setReferences</h4> |
4664 <h4>ViewManager.setReferences</h4> |
4669 <b>setReferences</b>(<i>ui, dbs</i>) |
4665 <b>setReferences</b>(<i>ui, dbs</i>) |