Aimez-vous masquer automatiquement les barres d’outils telles que le menu et les barres d’état pour conserver la surface de l’écran? Vous pouvez maintenant ajouter la barre d’outils Signets à cette liste avec l’extension Bookmark Autohider pour Firefox.
Avant
Pour notre navigateur, il y avait trois façons de masquer la «Barre d’outils des signets» si vous le souhaitez, mais toutes nécessitaient une intervention manuelle. D’abord le «Menu Affichage»…
Puis clic droit sur l’une des zones de la barre d’outils…
Et enfin en utilisant un bouton de barre d’outils «spécialité». Si vous pouvez masquer automatiquement les autres barres d’outils, pourquoi pas la «Barre d’outils Signets» également?
Après
Dès que vous avez installé l’extension, elle commencera automatiquement à fonctionner. Cette « barre d’outils Favoris » est définitivement hors de vue…
Pour afficher la «Barre d’outils des signets», passez votre souris à droite sur le bord inférieur de la «Barre d’adresses». Tant que vous maintenez votre souris n’importe où sur la «barre d’outils Signets», elle restera visible.
Mais dès que vous éloignez votre souris, la barre d’outils commence à disparaître…
Presque parti…
Totalement caché jusqu’à ce que vous en ayez besoin. Plus de bonté auto-masquée est toujours une bonne chose.
Préférences
Dans les préférences, vous pouvez affiner le minutage de la séquence de masquage automatique, la durée pendant laquelle la «barre d’outils Signets» reste visible une fois que la souris n’est plus au-dessus, et la durée avant de réapparaître.
Conclusion
Si vous aimez masquer automatiquement vos barres d’outils et que vous cherchez un moyen de faire de même avec la «Barre d’outils Signets», votre attente est terminée. Cette extension vaut la peine d’être essayée même si vous aimez garder toutes vos autres barres d’outils visibles.
Liens
Téléchargez l’extension Bookmark Autohider (modules complémentaires Mozilla)