Masquer automatiquement la barre de signets Firefox comme la barre des tâches dans Windows

Les marque-pages, outils précieux pour sauvegarder des liens utiles, se transforment souvent en une accumulation désordonnée dans la barre dédiée de nos navigateurs. Ce problème ne relève pas tant de la conception de l'interface elle-même, mais plutôt du contenu qui y est stocké, avec des titres tronqués et des icônes souvent mal affichées. Bien qu'il soit possible de masquer cette barre dans la plupart des navigateurs, cette solution s'avère peu pratique pour ceux qui l'utilisent fréquemment. Pour les utilisateurs de Firefox qui privilégient une interface épurée, tout en ayant un accès régulier à leurs favoris, l'extension BookmarksDropDown propose une alternative élégante. Elle permet de maintenir la barre de marque-pages cachée, ne la révélant qu'au passage de la souris au sommet de la page. Imaginez le comportement de la barre des tâches Windows lorsqu'elle est configurée pour se masquer automatiquement ; cette extension offre une expérience similaire pour vos marque-pages.

Après l'installation de BookmarksDropDown et le redémarrage de Firefox, il suffit de déplacer votre curseur vers le haut de la page, juste en dessous de la barre d'adresse, pour que la barre de marque-pages apparaisse instantanément. Tant que votre curseur reste dans cette zone, vous pouvez explorer vos dossiers et sélectionner un lien. Dès que le curseur quitte cette zone active, la barre disparaît discrètement.

Cette extension fonctionne avec une grande fluidité. Il est regrettable qu'elle nécessite un redémarrage de Firefox lors de l'installation, mais cet inconvénient est mineur face à la commodité qu'elle procure. BookmarksDropDown se distingue par sa réactivité : il n'y a aucun délai d'attente avant que la barre de favoris ne se révèle. Il est dommage qu'une telle solution n'existe pas pour Chrome.

Installer BookmarksDropDown pour Firefox