Skip to content
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

Change display of item name on mobile/narrow windows #79966

Closed
poliorcetics opened this issue Dec 12, 2020 · 1 comment
Closed

Change display of item name on mobile/narrow windows #79966

poliorcetics opened this issue Dec 12, 2020 · 1 comment
Labels
A-rustdoc-ui Area: rustdoc UI (generated HTML) T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.

Comments

@poliorcetics
Copy link
Contributor

First discussed in #79936.

After #79936, rustdoc will display items names as such:

Screenshot 2020-12-12 at 16 12 36

I wonder if something like this would be better in term of usability. It would add more scrolling but narrow screen, especially mobile ones, are made for scrolling:

Screenshot 2020-12-12 at 16 13 32

(This is a dirty photo-montage, sorry for the low quality)

@rustbot label T-rustdoc A-rustdoc-ui
@rustbot rustbot added A-rustdoc-ui Area: rustdoc UI (generated HTML) T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. labels Dec 12, 2020
@jyn514
Copy link
Member

jyn514 commented Dec 12, 2020

Duplicate of #78799

@jyn514 jyn514 marked this as a duplicate of #78799 Dec 12, 2020
@jyn514 jyn514 closed this as completed Dec 12, 2020
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) 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
3 participants
@poliorcetics @jyn514 @rustbot