 Bar one final time to activate this option.  Leaving the input field blank (the default value) disables the automatic update; the Agenda Status Bar must then be updated manually be clicking on the "Update" link when an update is desired.
<li><b>Wrap Assertions:</b> clicking on this option causes assertions to wrap when displayed by the KB Browser.  The default value is for no wrap to occur, which allows more assertions to be displayed at one time, but may inhibit viewing of an entire axiom due to length.
<