Synchronisation des paramètres de Rustdoc
Rustdoc Settings Sync est une extension Chrome qui permet de synchroniser les paramètres entre les pages de documentation Rust. Par défaut, les réglages dans rustdoc sont enregistrés comme données de site, ce qui entraîne une séparation des paramètres pour chaque crate lors de la génération de documentation locale avec cargo doc. Cela peut rendre l'utilisation de thèmes ou d'autres configurations incohérente à travers différents projets.
Cette extension résout ce problème en permettant à plusieurs pages de rustdoc d'utiliser le même thème et les mêmes paramètres, simplifiant ainsi l'expérience de documentation pour les développeurs. Avec Rustdoc Settings Sync, la gestion des préférences devient plus fluide, facilitant le travail sur plusieurs crates sans perdre la cohérence des réglages.
