Meniu Opțiuni Extensie este o extensie Firefox care aduce opțiuni de extensie în meniul Instrumente. Afișează acele extensii în meniul Instrumente care conțin Opțiuni caracteristică. Interesant este că extensia în sine conține funcția Opțiuni care poate fi accesată și din același meniu, adică Instrumente -> Opțiuni de extensie.
Utilizatorii pot personaliza ceea ce doresc să vizualizeze înfuncție de meniu contextual extensii nou adăugate. Aceasta include vizibilitatea pictogramelor / versiunilor de extensie și alegerea de a vedea acest meniu fie din Instrumente, fie din bara de titlu. Astfel, acei utilizatori care nu doresc să răspândească Instrumente -> Adăugări -> Extensii pentru a configura opțiunile pentru extensiile adăugate, le pot schimba pur și simplu din meniul Instrumente direct sau din bara de titlu (dacă este disponibil). Dezavantajul este însă că doar extensiile cu opțiuni pot fi gestionate (un pic convenabil) cu Meniu Opțiuni Extensie. Ar fi fost mai bine dacă ar fi oferit și opțiuni de dezinstalare și dezactivare a extensiilor.
Meniu pentru opțiuni de extensie pentru Firefox
Comentarii