Copy / Cut / Paste / Delete tool(s)
The options copy, cut, paste and delete allow to
copy, move one or more tools in other pockets from the tool manager
delete one or more tools in the tool manager.
It is also possible to copy or move the tools in another document.
It is also possible to copy or move the tools in another document. It is also possible to copy or move the tools in another document.