diff options
| author | Jacob Hoffman-Andrews <github@hoffman-andrews.com> | 2022-01-05 22:20:26 -0500 |
|---|---|---|
| committer | Jacob Hoffman-Andrews <github@hoffman-andrews.com> | 2022-01-14 18:20:15 -0800 |
| commit | c4b994ff80a993fb144d8ce2af6f2caf34b30347 (patch) | |
| tree | 16bedc1662f5605c7d1b6d9da7004374d73d4717 /src/librustdoc/html/static/js/source-script.js | |
| parent | ad46af24713115e7b9b258346e66b9b2d14eacfc (diff) | |
| download | rust-c4b994ff80a993fb144d8ce2af6f2caf34b30347.tar.gz rust-c4b994ff80a993fb144d8ce2af6f2caf34b30347.zip | |
Pick themes on settings page, not every page
This hides the paintbrush icon on most pages by default, in preference for the settings on the settings page. When loading from a local file, and not in mobile view, continue to show the theme picker. That's because some browsers limit access to localStorage from file:/// URLs, so choosing a theme from settings.html doesn't take effect.
Diffstat (limited to 'src/librustdoc/html/static/js/source-script.js')
0 files changed, 0 insertions, 0 deletions