diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-01-24 12:29:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-24 12:29:57 +0100 |
| commit | ee35ed3e1a828b47478d70b569dc979d9119aabb (patch) | |
| tree | 803ed2ddd148edebde6594ce72a6e809a1bf7b8c /compiler/rustc_codegen_llvm/src/coverageinfo/mod.rs | |
| parent | d1aa2f7b0b652026b404788a4e7af557753d662f (diff) | |
| parent | b30725eab7cbc898dbdb851d5977a352d1dd2187 (diff) | |
| download | rust-ee35ed3e1a828b47478d70b569dc979d9119aabb.tar.gz rust-ee35ed3e1a828b47478d70b569dc979d9119aabb.zip | |
Rollup merge of #93253 - jsha:theme-on-show, r=GuillaumeGomez
Update theme on pageshow event When a user goes forward or back, the page may be rendered from the back/forward cache (https://web.dev/bfcache/) rather than from scratch. If they have changed theme in the meantime, that means seeing an incorrect theme on the page they went forward or back to. The `pageshow` event fires on such navigations, so we can update the theme based on that event. Demo: https://rustdoc.crud.net/jsha/theme-on-show/std/string/trait.ToString.html r? `@GuillaumeGomez`
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/coverageinfo/mod.rs')
0 files changed, 0 insertions, 0 deletions