EXTENSION MANAGER : Les extensions chrome, plus simplement
https://chromewebstore.google.com/detail/extension-manager/gjldcdngmdknpinoemndlidpcabkggco
📌 EXTENSION MANAGER est une extension chrome qui permet une gestion de ses extensions plus simple, activation/désactivation rapide, prise en charge des opérations de mise en lots, création de groupe d’extensions pour gérer vos workspces, tri intelligent, etc … Rapide, simple et sûr.
Parmi les principales fonctionnalités :
- Activation/désactivation rapide de l’extension à l’aide d’une seule touche
- Lightning Group : Activation/désactivation rapide des groupes d’extensions en fonction de la scène (à l’exception des extensions verrouillées ou des extensions de classe de thème)
- Smart Sort : tri intelligent en fonction de votre fréquence d’utilisation (tri par nom par défaut)
- Menu du clic droit : fonctions de raccourci telles que verrouillage, désinstallation, configuration des options, page d’accueil, exécution de l’APP, etc.
- Recherche intelligente : Trouvez rapidement l’extension dont vous avez besoin à l’aide de mots-clés ou de phrases.
- Rappel : affiche l’état de l’extension en temps réel, rappelle la réinitialisation après utilisation, réduit la consommation de ressources (sauf pour les extensions verrouillées ou à thème).
- Sélection de l’affichage : Fournit une vue en liste et une vue en grille, en fonction des habitudes de l’utilisateur
- Gestion des groupes : groupe général et groupe fixe, gestion flexible
- Nom de l’extension : Donnez à votre extension l’alias que vous souhaitez
- Correspondance automatique : vous pouvez activer et désactiver les extensions en fonction des différents sites Web.
- prise en charge du mode sombre