]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #104366 - GuillaumeGomez:simplify-settings-theme-choice, r=notriddle
authorMatthias Krüger <matthias.krueger@famsik.de>
Thu, 17 Nov 2022 21:33:18 +0000 (22:33 +0100)
committerGitHub <noreply@github.com>
Thu, 17 Nov 2022 21:33:18 +0000 (22:33 +0100)
Simplify settings theme choice

I removed the storage changes from https://github.com/rust-lang/rust/pull/98765 and only kept the UI changes.

You can test it [here](https://rustdoc.crud.net/imperio/simplify-settings-theme-choice/foo/index.html).

Discussion about this still in progress [on zulip](https://rust-lang.zulipchat.com/#narrow/stream/266220-rustdoc/topic/Last.20part.20of.20settings.20simplification).

r? ````@notriddle````


Trivial merge