Gestione della libreria dei cataloghi

La gestione di una libreria di cataloghi prevede l'aggiunta e l'eliminazione di cataloghi di strumenti e di collegamenti a siti Web, nonché l'impostazione delle proprietà dei cataloghi. È possibile creare un catalogo ex-novo oppure personalizzare un catalogo esistente. Gli elementi dei cataloghi di strumenti possono essere spostati e copiati da un catalogo all'altro allo scopo di riorganizzare i cataloghi.