Ces dernières années, l’interface de Firefox a subi une transformation notable, caractérisée par une simplification et une organisation accrue. L’interface utilisateur se présente désormais de manière épurée, avec la plupart des paramètres et commandes regroupés dans les menus. Toutefois, les utilisateurs conservent la possibilité de personnaliser la barre d’outils en y ajoutant les boutons de leur choix. Pour ceux qui recherchent un contrôle plus poussé sur les éléments visuels de Firefox, incluant la possibilité de dissimuler certaines parties du gestionnaire de modules complémentaires, des options et de l’interface globale, l’extension Hide Preferences s’avère un outil indispensable. Cette extension permet de masquer des éléments du menu hamburger, de supprimer des options spécifiques, voire des onglets entiers du gestionnaire d’options, et de cacher des éléments du gestionnaire de modules complémentaires.
Après avoir installé Hide Preferences, ouvrez le gestionnaire de modules complémentaires. En cliquant sur les options de « Hide Preferences », vous accéderez à une liste exhaustive des éléments de l’interface que vous pouvez rendre invisibles. Décochez simplement les éléments que vous souhaitez masquer.
Il est possible de masquer des onglets entiers tels que « Contenu », « Avancé » et « Sécurité » dans les options de Firefox. Le gestionnaire de modules complémentaires peut également être personnalisé, vous permettant de supprimer la barre de recherche ou même l’onglet dédié à la découverte de nouveaux modules.
Les éléments du menu hamburger, comme les options de connexion et d’aide, peuvent aussi être cachés.
Après avoir masqué des onglets dans le gestionnaire d’options, il est nécessaire d’actualiser ce dernier pour que les modifications soient prises en compte. De même, toute modification apportée au gestionnaire de modules complémentaires nécessite une actualisation. Les changements effectués dans le menu hamburger nécessitent quant à eux un redémarrage de Firefox pour devenir effectifs.
Hide Preferences est un outil pratique pour simplifier l’interface en masquant les paramètres auxquels vous n’accédez que rarement. Il peut également servir de mesure de sécurité basique, empêchant les personnes non averties de modifier certains réglages. C’est particulièrement utile pour limiter les manipulations des enfants avec les paramètres.
L’extension offre également une fonctionnalité pratique d’actualisation, utile pour mettre à jour les données importées depuis le navigateur Chrome.
Télécharger Hide Preferences pour Firefox