Skip to content

rustdoc: "Copy path" button could use a tooltip #86169

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
lnicola opened this issue Jun 9, 2021 · 3 comments
Closed

rustdoc: "Copy path" button could use a tooltip #86169

lnicola opened this issue Jun 9, 2021 · 3 comments
Labels
A-rustdoc-ui Area: Rustdoc UI (generated HTML) C-enhancement Category: An issue proposing an enhancement or a PR with one. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.

Comments

@lnicola
Copy link
Member

lnicola commented Jun 9, 2021

I just noticed the new button, clicked on it, saw the checkmark and had no idea what happened. I thought it reflowed the page somehow, or maybe added the crate to a favorites list :-).
@jyn514 jyn514 transferred this issue from rust-lang/docs.rs Jun 9, 2021
@jyn514 jyn514 added the T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. label Jun 9, 2021
@lnicola lnicola changed the title "Copy path" button could use a tooltip docs.rs: "Copy path" button could use a tooltip Jun 9, 2021
@lnicola lnicola changed the title docs.rs: "Copy path" button could use a tooltip rustdoc: "Copy path" button could use a tooltip Jun 9, 2021
@inquisitivecrystal
Copy link
Contributor

@rustbot label +A-rustdoc-ui +C-enhancement +T-rustdoc

@rustbot rustbot added A-rustdoc-ui Area: Rustdoc UI (generated HTML) C-enhancement Category: An issue proposing an enhancement or a PR with one. T-rustdoc labels Jun 9, 2021
@notriddle
Copy link
Contributor

I think #85859 already fixed this in the current nightly.

@jyn514 jyn514 added the E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue. label Jun 12, 2021
@jyn514
Copy link
Member

jyn514 commented Jun 12, 2021

Yup it has, thanks!

@jyn514 jyn514 closed this as completed Jun 12, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-rustdoc-ui Area: Rustdoc UI (generated HTML) C-enhancement Category: An issue proposing an enhancement or a PR with one. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@lnicola @notriddle @inquisitivecrystal @jyn514 @rustbot