rustdoc: make the help button a link to a page - #103060

Merged

bors merged 4 commits into

rust-lang:masterfrom

notriddle:notridddle/help-page

Oct 16, 2022

Commits on Oct 15, 2022

rustdoc: make the help button a link to a page
notriddle
committed
ae4ad9a
rustdoc: fix Ctrl-Click on help and settings links
notriddle
committed
6f59981
rustdoc: add test cases for links inside the help popover
notriddle
committed
65f501e

Commits on Oct 16, 2022

rustdoc: make help button a no-op when on help page
notriddle
committed
8344481