diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2022-05-03 14:58:56 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-03 14:58:56 +0900 |
| commit | 27d7615bb4f20cd3546bf98d7ad2f812d5dc4e3c (patch) | |
| tree | fee4c92152fc9539f06c3f5d0a58115f3159e061 /library/std/src | |
| parent | c110cfa161aab391bd37c16a95b8330bfc7e54ce (diff) | |
| parent | 73688e40216f72a57577b39acfb9180322a41362 (diff) | |
| download | rust-27d7615bb4f20cd3546bf98d7ad2f812d5dc4e3c.tar.gz rust-27d7615bb4f20cd3546bf98d7ad2f812d5dc4e3c.zip | |
Rollup merge of #93097 - GuillaumeGomez:settings-js, r=jsha
Switch settings menu to full js Since the settings can only be set when the JS is enabled, it's not really a problem. It also fixes a debate we had around the themes not being accessible easily before.  You can test it [here](https://rustdoc.crud.net/imperio/settings-js/doc/foo/index.html). r? ``@jsha``
Diffstat (limited to 'library/std/src')
0 files changed, 0 insertions, 0 deletions