Workbench User Guide : 13. Writing Scripts and Procedures : Script Editor
 
Share this page                  
Script Editor
The Script Editor provides basic text editing facilities such as cutting, copying, and pasting. It also enables you to search for and replace selected text and to move to a specified line number in your code. It lets you edit frame, field, and menu item scripts concurrently.