- 5.7.1. Barra degli strumenti standard
- 5.7.1.1. Ricerca testuale di una parte
- 5.7.1.2. Risparmiare
- 5.7.1.3. Salvare tutti i file
- 5.7.1.4. Aggiornare l'indice / Aggiornare l'indice di ricerca / Aggiornare l'indice di classificazione
- 5.7.1.5. Recuperare lo stato di pubblicazione
- 5.7.1.6. Verifica degli aggiornamenti delle tabelle delle classificazioni e delle filettature
- 5.7.1.7. File utilizzati per la modifica
- 5.7.2. Barra degli strumenti del database dei collegamenti