Skip to content

Split Settings popover up into categories #137050

Closed
#163224
Closed
Split Settings popover up into categories#137050
#163224
Assignees
GuillaumeGomez
Labels
A-rustdoc-uiArea: Rustdoc UI (generated HTML)T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.T-rustdoc-frontendRelevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output.

Description

@notriddle
notriddle
opened on Feb 14, 2025

The list of checkboxes is long enough to be an intimidating wall, and the ordering makes no sense. Two reasonable solutions include:

Using thematic breaks to divide it up

image

Using tabs to divide it up

image

Activity

  1. notriddle
    added
    A-rustdoc-uiArea: Rustdoc UI (generated HTML)
    T-rustdoc-frontendRelevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output.
    on Feb 14, 2025
  2. rustbot
    added
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Feb 14, 2025
  3. GuillaumeGomez
    added
    T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.
    A-rustdoc-uiArea: Rustdoc UI (generated HTML)
    and removed
    A-rustdoc-uiArea: Rustdoc UI (generated HTML)
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Feb 14, 2025
  4. GuillaumeGomez
    self-assigned this
    on Sep 23, 2026
  5. JonathanBrouwer
    added 4 commits that reference this issue on Oct 15, 2026

    Rollup merge of rust-lang#163224 - GuillaumeGomez:settings-popover-ta…

    f757bff

    Rollup merge of rust-lang#163224 - GuillaumeGomez:settings-popover-ta…

    f683c04

    Rollup merge of rust-lang#163224 - GuillaumeGomez:settings-popover-ta…

    a4506e3

    Rollup merge of rust-lang#163224 - GuillaumeGomez:settings-popover-ta…

    554cfad
  6. rust-bors
    closed this as completedin 554cfadon Oct 16, 2026
  7. rust-bors
    added a commit that references this issue on Oct 16, 2026

    Unrolled build for #163224 in rollup 164418

    bf025b2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

A-rustdoc-uiArea: Rustdoc UI (generated HTML)T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.T-rustdoc-frontendRelevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output.

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions