PROGRAMMING OVERVIEW AND USER INTERFACE
You can also copy JavaScript to a file by using the File - Export menu command. Select an existing file or type a new file name with the JS extension and click Export.
Note Import and Export for JavaScript is new with Release 6.
See Also