diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2020-07-20 12:30:31 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-20 12:30:31 -0700 |
| commit | 963b837a837a4c49086bb2f3b5d2ac0789dcf69c (patch) | |
| tree | 3655711e43366464b66cfaa270811b4d7bb17404 /src/rustllvm/CoverageMappingWrapper.cpp | |
| parent | 810d322366bd5c0b04ee509db03311a36636c5a2 (diff) | |
| parent | 995d63ac73ca89486b8a715ecc8296efb6090bf6 (diff) | |
| download | rust-963b837a837a4c49086bb2f3b5d2ac0789dcf69c.tar.gz rust-963b837a837a4c49086bb2f3b5d2ac0789dcf69c.zip | |
Rollup merge of #74555 - GuillaumeGomez:important-traits-popup, r=Manishearth
Improve "important traits" popup display on mobile I implemented what @XAMPPRocky suggested in the [internals thread topic](https://internals.rust-lang.org/t/feedback-on-important-traits-rustdoc-feature/12752/18). I can confirm it works nicely. r? @Manishearth @Manishearth: By the way: I realized that when you click on the "i", you have to click again to make the popup disappear. Do you want me to extend the popup removal to any click outside the popup?
Diffstat (limited to 'src/rustllvm/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions