Uh oh!
There was an error while loading. Please reload this page.
Improve settings theme display - #97089
Conversation
rust-highfive
commented
May 16, 2022
Some changes occurred in HTML/CSS/JS. |
notriddle
commented
May 16, 2022
rustdoc used to use a If you're just trying to make the UI more consistent and simple, is there a reason why making the radio buttons always show up on their own line won't satisfy it? I know that they were originally aligned right to shorten the distance needed to move the mouse, but now that the settings are shown in a popover, the distance won't be very long no matter how big the browser window is. |
We were talking about it with @jsha. I think I'd be fine with radio buttons on their own line (I really don't like having them where they are located now). Also the brush image will be removed (we kinda all agree on this part hehe). But in any case, needs to discuss things before doing anything in here. |
4478860 to
d800cdcCompareGuillaumeGomez
commented
May 17, 2022
It now looks like this: I also updated the demo. |
jsha
left a comment
There was a problem hiding this comment.
This looks nice! The larger radio buttons are a big improvement, and removing the borders around the labels is elegant.
Can you update the PR description with an up to date description and screenshot?
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
This comment has been minimized.
This comment has been minimized.
d800cdc to
ec036afCompareGuillaumeGomez
commented
May 17, 2022
Updated! |
GuillaumeGomez
commented
May 18, 2022
I moved the "color" CSS rules into the theme files where they should always have been. |
bors
commented
May 26, 2022
☔ The latest upstream changes (presumably #97409) made this pull request unmergeable. Please resolve the merge conflicts. |
f1b069a to
35a94ddCompareGuillaumeGomez
commented
May 26, 2022
Fixed merge conflicts. |
jsha
left a comment
There was a problem hiding this comment.
There's a regression with tab navigation: If you tab through the items in the settings menu, no outline appears when you have selected the radio buttons.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
35a94dd to
70db59cCompareUpdated PR and the demo (and added a GUI test as well)! |
jsha
commented
May 30, 2022
GuillaumeGomez
commented
May 30, 2022
I cannot reproduce your bug. While looking for it, I saw another one for very small width screen so I fixed it (needed to add a |
jsha
commented
May 31, 2022
I can't reproduce the bug either. Looks good! @bors r+ rollup |
bors
commented
May 31, 2022
📌 Commit 70db59c has been approved by |
Rollup of 6 pull requests Successful merges: - rust-lang#97089 (Improve settings theme display) - rust-lang#97229 (Document the current aliasing rules for `Box<T>`.) - rust-lang#97371 (Suggest adding a semicolon to a closure without block) - rust-lang#97455 (Stabilize `toowned_clone_into`) - rust-lang#97565 (Add doc alias `memset` to `write_bytes`) - rust-lang#97569 (Remove `memset` alias from `fill_with`.) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup


This is a follow-up of #96958. In this PR, I changed how the theme radio buttons are displayed and improved their look as well.
It now looks like this:
You can test it here.
r? @jsha