Rustdoc Settings Sync di notriddle
Sync settings between Rust documentation pages.
19 utenti19 utenti
Metadati estensione
Informazioni sull’estensione
By default, settings in rustdoc are stored as Site Data. If you're building documentation locally with cargo doc, this means that the settings will be separate for every single page, because Firefox treats every local file as a different site.
This add-on fixes that, allowing multiple rustdoc pages to use the same theme, and other settings.
This add-on fixes that, allowing multiple rustdoc pages to use the same theme, and other settings.
Voto 0 da 0 revisori
Permessi e dati
Permessi obbligatori:
- Accedere ai dati utente di docs.rs
- Accedere ai dati utente di doc.rust-lang.org
- Accedere ai dati utente di localhost
Ulteriori informazioni
- Link componente aggiuntivo
- Versione
- 0.6.4
- Dimensione
- 137,82 kB
- Ultimo aggiornamento
- 2 anni fa (17 set 2023)
- Categorie correlate
- Licenza
- Licenza MIT
- Cronologia versioni
- Aggiungi alla raccolta