Changez la police des DevTools Chrome
DevTools Font Changer est une extension gratuite pour Chrome qui permet de modifier la police utilisée dans les outils de développement. Cette fonctionnalité s'avère particulièrement utile pour les développeurs souhaitant personnaliser l'apparence des DevTools selon leurs préférences. L'extension offre une interface simple d'utilisation pour sélectionner différentes polices, facilitant ainsi l'adaptation de l'environnement de développement.
Pour utiliser l'extension, il est nécessaire d'activer certaines options dans les paramètres de Chrome. En accédant à chrome://flags, les utilisateurs peuvent activer les 'Developer Tools Experiments' et permettre les 'custom UI themes'. Une fois ces options activées, il suffit de changer la police via la page d'options de l'extension.
