Prevent help popup to disappear when clicking on it#65741

Merged

bors merged 2 commits intorust-lang:masterfrom

GuillaumeGomez:help-popup

Oct 29, 2019

Commits on Oct 24, 2019

Prevent help popup to disappear when clicking on it
GuillaumeGomez
committed

Commits on Oct 25, 2019

Improve help popup detection
GuillaumeGomez
committed