Copier / Couper / Coller / Supprimer
outil(s)
Les options copier, coller, couper et supprimer
permettent
de copier, déplacer un outil ou plusieurs
outil dans d'autres pot du gestionnaire d'outil
de le(s) supprimer du magasin.
L'option Supprimer tous
les outils permet de supprimer tous les outils présent dans le gestionnaire
Il est également possible de copier ou déplacer des outils dans un autre
document.