The Scripting menu has these items:
Scripting Shell: Launches the MySQL Workbench Scripting Shell
New Script: Opens a New Script File dialogue, with options to create a Python Script, Lua Script, Python Plugin, or Python Module.
Open Script: Opens a Open GRT Script dialogue, which defaults to the Workbench scripts directory. Files are opened into the Workbench Scripting Shell window.
Run Workbench Script File: Executes the specified script
Install Plugin/Module File: Loads and installs a plugin or module file
Plugin Manager: Displays information about the plugins that are are installed, and allows disabling and uninstalling the plugins.
