External tools

A selection of external tools are available from the Tools menu. By default, the following tools are available:

For those tools that use the currently selected text, if there is nothing selected on the current page, they will use whatever is in the clipboard instead.

It is easy to add more tools to this menu and details on how to do this can be found in the appendix.