Menu met uitbreidingsopties is een Firefox-extensie die uitbreidingsopties naar het menu Extra brengt. Het toont die extensies in het menu Extra die de bevatten opties voorzien zijn van. Interessant is dat de extensie zelf de functie Opties bevat die ook vanuit hetzelfde menu kan worden geopend, d.w.z. Extra -> Uitbreidingsopties.
Gebruikers kunnen aanpassen wat ze willen bekijken in denieuw toegevoegde contextmenu-functie extensies. Dit omvat de zichtbaarheid van extensiepictogrammen / -versies en de keuze om dit menu te zien in Tools of in de titelbalk. Op deze manier kunnen gebruikers die niet over Tools -> Add-ons -> Extensies willen vegen om opties voor de toegevoegde extensies te configureren, ze eenvoudig wijzigen vanuit het menu Tools of vanuit de titelbalk (indien beschikbaar). Het nadeel is echter dat alleen uitbreidingen met opties beheersbaar zijn (een beetje handig) met Menu met uitbreidingsopties. Het zou beter zijn geweest als het ook opties bood om extensies te verwijderen en uit te schakelen.
Menu met uitbreidingsopties voor Firefox
Comments