Skip to content

When the current search results tab is empty, it should focus on the first non-empty if any #80378

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Closed
GuillaumeGomez opened this issue Dec 26, 2020 · 0 comments · Fixed by #80382
Closed

When the current search results tab is empty, it should focus on the first non-empty if any #80378

GuillaumeGomez opened this issue Dec 26, 2020 · 0 comments · Fixed by #80382
Assignees
@GuillaumeGomez
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

@GuillaumeGomez
Copy link
Member

It's common when looking for more complex requests on rustdoc to have some tab empty. I think it'd be better to focus on the first non-empty tab instead.
@GuillaumeGomez GuillaumeGomez added T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. A-rustdoc-ui Area: Rustdoc UI (generated HTML) labels Dec 26, 2020
@GuillaumeGomez GuillaumeGomez self-assigned this Dec 26, 2020
@GuillaumeGomez GuillaumeGomez mentioned this issue Dec 26, 2020
Merged
@bors bors closed this as completed in 670acf7 Jan 19, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@GuillaumeGomez GuillaumeGomez

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

Successfully merging a pull request may close this issue.

Improve search result tab handling GuillaumeGomez/rust
1 participant
@GuillaumeGomez