diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-05-12 16:41:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-12 16:41:04 +0200 |
| commit | 231cd0fd7d8b091e76fe4493c4570aee96f68ed3 (patch) | |
| tree | 2b3667f38a05d9314c044a2d672f6412eb53128a /src/test/rustdoc-gui/settings.goml | |
| parent | 80e1dec10e989a559a63a85c63339cb2eb553168 (diff) | |
| parent | dd6bb09133f1f97db6a36024bf4e66489fc760c1 (diff) | |
Rollup merge of #96939 - GuillaumeGomez:settings-css, r=notriddle
Fix settings page CSS In https://github.com/rust-lang/rust/pull/96741, I moved the CSS loading outside of `settings.js`. The result was that on the settings page, there isn't the settings CSS anymore:  I also used this opportunity to remove unused CSS rules (we don't have `<select>` elements anymore in the settings). cc `@jsha` r? `@notriddle`
Diffstat (limited to 'src/test/rustdoc-gui/settings.goml')
| -rw-r--r-- | src/test/rustdoc-gui/settings.goml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/test/rustdoc-gui/settings.goml b/src/test/rustdoc-gui/settings.goml index 6c4611b1cb2..18270264266 100644 --- a/src/test/rustdoc-gui/settings.goml +++ b/src/test/rustdoc-gui/settings.goml @@ -65,3 +65,8 @@ assert: ".setting-line.hidden #theme" // We check their text as well. assert-text: ("#preferred-dark-theme .setting-name", "Preferred dark theme") assert-text: ("#preferred-light-theme .setting-name", "Preferred light theme") + +// Now we go to the settings page to check that the CSS is loaded as expected. +goto: file://|DOC_PATH|/settings.html +wait-for: "#settings" +assert-css: (".setting-line .toggle", {"width": "45px", "margin-right": "20px"}) |