- - Accedi alle opzioni di estensione dal menu Strumenti in Firefox

Accedi alle opzioni di estensione dal menu Strumenti in Firefox

Gestore estensioni

Menu Opzioni estensione è un'estensione di Firefox che porta le opzioni di estensione nel menu Strumenti. Visualizza quelle estensioni nel menu Strumenti che contengono Opzioni caratteristica. È interessante notare che l'estensione stessa contiene la funzione Opzioni a cui è possibile accedere anche dallo stesso menu, ad esempio Strumenti -> Opzioni di estensione.

Gli utenti possono personalizzare ciò che desiderano visualizzare infunzione del menu contestuale delle estensioni appena aggiunta. Ciò include la visibilità delle icone / versioni dell'estensione e la scelta di visualizzare questo menu da Strumenti o nella barra del titolo. In questo modo gli utenti che non desiderano scorrere Strumenti -> Componenti aggiuntivi -> Estensioni per configurare le opzioni per le estensioni aggiunte, possono semplicemente modificarle dal menu Strumenti direttamente o dalla barra del titolo (se disponibile). L'aspetto negativo è che solo le estensioni con opzioni sono gestibili (un po 'comodamente) con Menu Opzioni estensione. Sarebbe stato meglio se avesse fornito anche opzioni per disinstallare e disabilitare le estensioni.

Opzioni

Menu Opzioni estensione per Firefox

Commenti