Uninstalling plugins
Plugins are uninstalled using the plugin manager:
Help in the Menu Bar | Plugins... (
)
or Plugins () in the Toolbar
This will open the dialog shown in figure 1.25.
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.