Productivité : extension Google Chrome ajoutant un moteur de recherche de favoris dans la boîte de d'ajout de favoris

Bonjour à tous ! :slight_smile:

Je voudrais savoir si quelqu’un connaîtrait une extension Google Chrome permettant d’ajouter un moteur de recherche de favoris dans la boîte de d’ajout de favoris. Ça riait bien plus vite que d’ouvrir le gestionnaire des favoris, puis taper des mots-clés pour trouver le dossier d’ajout, et insérer le site en favoris.

D’ailleurs, la boîte de dialogue actuelle comprend déjà un explorateur des dossiers de favoris avec un bouton « ajouter un dossier », mais il n’y a pas le moteur de recherche de favoris, comme c’est le cas dans le gestionnaire de favoris. Ça serait bien pratique :wink:

Bien le bonjour à tous :slight_smile:

Bonjour
Pour la richesse gdes contenus, l’anti pubs etc. J’utilise vivaldi, etj’en suis content.