diff options
| author | Dylan DPC <99973273+Dylan-DPC@users.noreply.github.com> | 2022-05-31 07:57:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-31 07:57:32 +0200 |
| commit | 94b8036147c29a24856f24c0a78c203834525230 (patch) | |
| tree | 8adbbb3c29832954a93b86cd88190819ee86ccbd /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | 47365c0d656e2e55d1b6b9dad92842540e3ed1af (diff) | |
| parent | 70db59ca3534d00227d903e10149e5fb677c0067 (diff) | |
| download | rust-94b8036147c29a24856f24c0a78c203834525230.tar.gz rust-94b8036147c29a24856f24c0a78c203834525230.zip | |
Rollup merge of #97089 - GuillaumeGomez:improve-settings-theme-display, r=jsha
Improve settings theme display This is a follow-up of #96958. In this PR, I changed how the theme radio buttons are displayed and improved their look as well. It now looks like this:   You can test it [here](https://rustdoc.crud.net/imperio/improve-settings-theme-display/doc/foo/index.html). r? `@jsha`
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions