Pristup mogućnostima proširenja s izbornika Alati u Firefoxu

Izbornik Opcije proširenja je proširenje za Firefox koje donosi mogućnosti proširenja u izbornik Alati. Ona prikazuje ona proširenja u izborniku Alati koja sadrže Opcije svojstvo. Zanimljivo je da samo proširenje sadrži značajku Opcije kojoj se također može pristupiti s istog izbornika, tj. Alati -> Opcije proširenja.

Korisnici mogu prilagoditi ono što žele vidjeti u značajki kontekstnog izbornika novo dodanih proširenja. To uključuje vidljivost ikona / verzija proširenja i izbor za prikaz ovog izbornika bilo u Alati ili na naslovnoj traci. Na taj način oni korisnici koji ne žele pomesti preko Alatke -> Dodaci -> Proširenja za konfiguriranje opcija za dodana proširenja, jednostavno ih možete promijeniti iz izbornika Alati izravno ili iz naslova (ako je dostupno). Nedostatak je, međutim, što su samo proširenja s opcijama moguće (malo povoljno) upravljati Izbornik Opcije proširenja. Bilo bi bolje da je pružao i opcije za deinstaliranje i onemogućena proširenja.

Izbornik Opcije proširenja za Firefox