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.

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

Add “expand all” to the web site #12542

Open
kpreid opened this issue Mar 23, 2024 · 2 comments · May be fixed by #12656
Open

Add “expand all” to the web site #12542

kpreid opened this issue Mar 23, 2024 · 2 comments · May be fixed by #12656
Labels
A-website Area: Improving the clippy website C-enhancement Category: Enhancement of lints, like adding more cases or adding help messages good-first-issue These issues are a good way to get started with Clippy

Comments

@kpreid
Copy link
Contributor

kpreid commented Mar 23, 2024

Description

The lint list always defaults to every entry being collapsed. This is unhelpful when one wants to review the details of many lints, or do a full-text search with immediate context visible (using browser's built-in search).

Therefore, I propose adding an “expand all” button, or perhaps a user preference (next to the theme picker) to start expanded.

Additional Labels

@rustbot label +A-website +C-enhancement

@rustbot rustbot added A-website Area: Improving the clippy website C-enhancement Category: Enhancement of lints, like adding more cases or adding help messages labels Mar 23, 2024
@xFrednet
Copy link
Member

@rustbot label +good-first-issue

@rustbot rustbot added the good-first-issue These issues are a good way to get started with Clippy label Mar 24, 2024
@PriyanshC
Copy link

@rustbot claim

@PriyanshC PriyanshC removed their assignment May 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-website Area: Improving the clippy website C-enhancement Category: Enhancement of lints, like adding more cases or adding help messages good-first-issue These issues are a good way to get started with Clippy
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants