diff options
| author | Mara Bos <m-ou.se@m-ou.se> | 2020-11-05 10:29:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-05 10:29:45 +0100 |
| commit | cbf74bc4ca3f9a3b17af672930c56fa25861b21e (patch) | |
| tree | bbbd85ea7b60b7559e4c17bbb92bd6a909c9eb18 /compiler/rustc_mir/src/transform/coverage/debug.rs | |
| parent | 6d7098f543f51611eab620b6d2e6f9d4167fc96e (diff) | |
| parent | 17b8ca952baf5d32ef6e9653b0eda6516386400c (diff) | |
| download | rust-cbf74bc4ca3f9a3b17af672930c56fa25861b21e.tar.gz rust-cbf74bc4ca3f9a3b17af672930c56fa25861b21e.zip | |
Rollup merge of #78584 - notriddle:master, r=GuillaumeGomez
Add keyboard handling to the theme picker menu This PR is mostly designed to bring the theme picker closer to feature parity with the menu bar from docs.rs. Though the rustdoc theme picker is technically already usable from the keyboard, it's really weird that arrow keys work on some of the menus, but not all of them, in the exact same page.
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions