|
A function that can be used in Scripting.
exitScript (...)
When the user clicks OK in this window, the script will have stopped running.
For details and examples, see Scripting 5.9. Quitting and Scripting 6.8. Messages to the user.
© Paul Boersma 2023