Достъп до опции за разширение от менюто Инструменти в Firefox

Меню с опции за разширение е разширение на Firefox, което носи опции за разширение в менюто Инструменти. Той показва тези разширения в менюто Инструменти, които съдържат Настроики особеност. Интересното е, че самото разширение съдържа функцията Опции, която също може да бъде достъпна от същото меню, т.е. Инструменти -> Опции за разширение.

Потребителите могат да персонализират това, което искат да видят в ново добавената функция на контекстното меню за разширения. Това включва видимост на иконите / версиите за разширения и избора да видите това меню или от Инструменти, или в заглавната лента. По този начин тези потребители, които не желаят да преминават през Инструменти -> Добавки -> Разширения за конфигуриране на опции за добавените разширения, може просто да ги промените директно от менюто Инструменти или от заглавната лента (ако на разположение). Недостатъкът обаче е, че само разширения с опции се управляват (малко удобно) с Меню с опции за разширение. Би било по-добре, ако предостави и опции за деинсталиране и деактивиране на разширения.

Меню с опции за разширение за Firefox