diff options
| author | Michael Howell <michael@notriddle.com> | 2020-10-30 13:34:30 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2020-10-30 13:34:30 -0700 |
| commit | ac3a434ed947058635fbe1f09b1da8bd6f1ea242 (patch) | |
| tree | e3825cbfbf9c4b85d5757ce7b26d67ed714607d5 /compiler/rustc_mir/src/transform/coverage/debug.rs | |
| parent | 300362e0e4e30439bd2f55f3dc94596ab197607e (diff) | |
| download | rust-ac3a434ed947058635fbe1f09b1da8bd6f1ea242.tar.gz rust-ac3a434ed947058635fbe1f09b1da8bd6f1ea242.zip | |
Allow the theme picker to work with arrow keys
This is mostly motivated by docs.rs. It's really weird when arrow keys work in the top dropdown menu, but don't work in other dropdown menus on the same page.
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions