-
Notifications
You must be signed in to change notification settings - Fork 12.9k
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
rustdoc settings: use radio buttons for theme #93251
Conversation
This comment has been minimized.
This comment has been minimized.
This reduces the number of clicks required to change theme. Also, simplify the UI a bit (remove setting grouping), and add a "Back" link close to the settings icon.
On desktop, it's nice to have the theme buttons aligned to the right side of the page (like the dropdowns currently are), so it's a short trip from the settings icon to the theme buttons. Also, I wanted to make sure to have I tried to reproduce the screenshot you showed, and the wrapping doesn't show up until the screen is narrower than 317px. I think that's such a rare screen size that it's okay if the buttons wrap. |
I find it hard on desktop to see that it's from the setting "themes" actually since there is no visual "helper". |
After a discussion, we decided to first land this change and to make a bigger refactoring on the settings menu overall. |
@bors: r+ rollup |
📌 Commit 11b17c6 has been approved by |
rustdoc settings: use radio buttons for theme This reduces the number of clicks required to change theme. Also, simplify the UI a bit (remove setting grouping), and add a "Back" link close to the settings icon. Demo: https://rustdoc.crud.net/jsha/theme-radio/settings.html r? `@GuillaumeGomez` New: ![image](https://user-images.githubusercontent.com/220205/150702647-4826d525-54fa-439a-b24c-6d5bca6f95bf.png) Old: ![image](https://user-images.githubusercontent.com/220205/150702669-6a4214ed-1dab-4fee-b1aa-59acfce3dbca.png)
…askrgr Rollup of 8 pull requests Successful merges: - rust-lang#88794 (Add a `try_clone()` function to `OwnedFd`.) - rust-lang#93064 (Properly track `DepNode`s in trait evaluation provisional cache) - rust-lang#93118 (Move param count error emission to end of `check_argument_types`) - rust-lang#93144 (Work around missing code coverage data causing llvm-cov failures) - rust-lang#93169 (Fix inconsistency of local blanket impls) - rust-lang#93175 (Implement stable overlap check considering negative traits) - rust-lang#93251 (rustdoc settings: use radio buttons for theme) - rust-lang#93269 (Use error-on-mismatch policy for PAuth module flags.) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Ah, perhaps. The old and new screenshots in this PR's description show a change in the search box size, which misled me. |
Ah true. Well, it was a change done on purpose in any case. ;) |
This reduces the number of clicks required to change theme.
Also, simplify the UI a bit (remove setting grouping), and add a "Back" link close to the settings icon.
Demo: https://rustdoc.crud.net/jsha/theme-radio/settings.html
r? @GuillaumeGomez
New:
Old: