On the Build menu, click Stop Build, or click the button on the toolbar.
This presents options to
(These options can be changed with Global Options)
DBDOC ©1996 - 2023 G. Michaels Consulting Ltd., all rights reserved. All other trademarks and registered trademarks are the property of their respective holders. Website source largely available under the terms of the AGPLv3.