diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-01-18 04:41:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-18 04:41:58 +0100 |
| commit | d501ead0096072f1e85bc13d41ca6ab70dafd8be (patch) | |
| tree | e0f644c863600ed3f4643c4f9b2c63e070cffcd9 /src/librustdoc/html/static/js/source-script.js | |
| parent | 86b1581ea0e0e47196e1ea70b2d980b3eee72623 (diff) | |
| parent | 04f04026c5cc9b23b59d9a630a03945ce4780cdd (diff) | |
| download | rust-d501ead0096072f1e85bc13d41ca6ab70dafd8be.tar.gz rust-d501ead0096072f1e85bc13d41ca6ab70dafd8be.zip | |
Rollup merge of #92629 - jsha:theme-picker-local-only-2, r=GuillaumeGomez
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. Fixes #84539 Part of #59840 r? `@GuillaumeGomez` Demo: https://rustdoc.crud.net/jsha/theme-picker-local-only-2/std/io/trait.Read.html
Diffstat (limited to 'src/librustdoc/html/static/js/source-script.js')
0 files changed, 0 insertions, 0 deletions