Menu des options d'extension est une extension Firefox qui apporte des options d'extension au menu Outils. Il affiche les extensions dans le menu Outils qui contiennent le Les options fonctionnalité. Fait intéressant, l'extension elle-même contient la fonctionnalité Options qui peut également être accessible à partir du même menu, c'est-à-dire Outils -> Options d'extension.
Les utilisateurs peuvent personnaliser ce qu'ils souhaitent voir dans lenouvellement ajouté la fonction de menu contextuel des extensions. Cela inclut la visibilité des icônes / versions d'extension et le choix de voir ce menu dans les outils ou dans la barre de titre. De cette façon, les utilisateurs qui ne souhaitent pas parcourir Outils -> Modules complémentaires -> Extensions pour configurer les options des extensions ajoutées, peuvent simplement les modifier dans le menu Outils directement ou dans la barre de titre (si disponible). L'inconvénient est cependant que seules les extensions avec des options sont gérables (un peu commodément) avec Menu des options d'extension. Il aurait été préférable qu'il fournisse également des options de désinstallation et de désactivation des extensions.
Menu des options d'extension pour Firefox
commentaires