8. Options menu

Preferences

Displays the Preferences dialog box which allows to specify a large number of user preferences.

Install Add-ons

Displays the Install Add-ons dialog box, which lets you download, install, upgrade and uninstall add-ons.

[Note]

This menu item is absent when XMLmind XML Editor has been started using Java™ Web Start.

[Tip]

If you hold the Shift key and click on OptionsInstall Add-ons, you'll automatically upgrade user-installed add-ons (of course, if any and if needed to). More information in Section 14.1, “Automatically upgrading installed add-ons”.