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 unovo dodane značajke proširenja kontekstnog izbornika. To uključuje vidljivost ikona / verzija proširenja i izbor za prikaz ovog izbornika bilo s Alata ili na naslovnoj traci. Na taj način oni korisnici koji ne žele pretraživati Alatke -> Dodaci -> Proširenja za konfiguriranje opcija za dodana proširenja mogu ih jednostavno promijeniti iz izbornika Alati izravno ili iz naslova (ako je dostupan). 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ćivanje proširenja.
Izbornik Opcije proširenja za Firefox
komentari