Uninstalling plugins

Plugins are uninstalled using the plugin manager:

        Help in the Menu Bar | Plugins and Resources... (Image install_16_n_p)

   or  Plugins (Image install_16_n_p) in the Toolbar

This will open the dialog shown in figure 1.25.

Image plug-indialogwithinstalled_web
Figure 1.25: The plugin manager with plugins installed.

The installed plugins are shown in this dialog. To uninstall:

        Click the plugin | Uninstall

If you do not wish to completely uninstall the plugin but you don't want it to be used next time you start the Workbench, click the Disable button.

When you close the dialog, you will be asked whether you wish to restart the workbench. The plugin will not be uninstalled until the workbench is restarted.