
Rustdoc Settings Sync 作者: notriddle
Sync settings between Rust documentation pages.
21 个用户21 个用户
扩展元数据
关于此扩展
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.
评分 0(1 位用户)
权限与数据
更多信息