Plugins menu

This menu holds whatever the installed tool plug-ins add, so its contents depend on what is in the plugins folder. When no such plug-in is installed, the menu is not shown at all.

One entry is always there: Download more plugins…, which opens the page on our web site where plug-ins are published.

Plug-ins that add an online source rather than a command do not appear here — they show up in the online database list instead, below the separator line. See Plug-ins.