En Firefox, cada vez que queremos cambiar las opciones de una extensión concreta, debemos acudir al gestor de extensiones y, desde allí, acceder la configuración de la que deseamos cambiar. Tampoco es que sea excesivamente molesto, pero cuando estás probando una extensión nueva y tratas de afinar sus opciones, si puede llegar a serlo.
Extension Options Menu es una extensión (sólo para Firefox 4) que nos ahorra el paso intermedio de pasar por el gestor, permitiéndonos acceder desde el menú Herramientas o desde el nuevo botón de menú de Firefox a las opciones de las extensiones que permiten ser configuradas.
También cuenta con un icono que podemos colocar donde nos plazca y que nos muestra las opciones al pinchar con el botón izquierdo, o que nos manda al gestor de extensiones al pinchar con el botón derecho. Además, tiene algunas opciones de personalización, como mostrarnos iconos junto a los nombres (que en Ubuntu al menos no me aparecen) o el número de versión.
Vía | How-to Geek
Descarga | Extension Options Menu
Ver 4 comentarios