* Menú de desarrolladores: Si está buscando herramientas de desarrollador, debe habilitar el menú Desarrollar en las preferencias de Safari (Safari> Preferencias> Avanzado, luego verifique "Mostrar el menú Desarrollar el menú en la barra de menú").
* Otra funcionalidad previamente encontrada en un menú "Herramientas" en otros navegadores: Las características como extensiones, marcadores, historia, etc., se encuentran en sus propios menús dedicados en la barra de menú de Safari (marcadores, historia, extensiones, etc.).
Si puede describir qué herramienta específica está buscando, puedo darle una ubicación más precisa dentro de Safari.