]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #74555 - GuillaumeGomez:important-traits-popup, r=Manishearth
authorManish Goregaokar <manishsmail@gmail.com>
Mon, 20 Jul 2020 19:30:31 +0000 (12:30 -0700)
committerGitHub <noreply@github.com>
Mon, 20 Jul 2020 19:30:31 +0000 (12:30 -0700)
commit963b837a837a4c49086bb2f3b5d2ac0789dcf69c
tree3655711e43366464b66cfaa270811b4d7bb17404
parent810d322366bd5c0b04ee509db03311a36636c5a2
parent995d63ac73ca89486b8a715ecc8296efb6090bf6
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?