-
Notifications
You must be signed in to change notification settings - Fork 13.3k
Source code scrollbar #109932
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
Source code scrollbar #109932
Conversation
Some changes occurred in HTML/CSS/JS. cc @GuillaumeGomez, @Folyd, @jsha |
What would it take to have horizontal scroll on the |
It would require to make the left sidebar |
Just to list a few cases where attaching scroll bars to anything other than the
|
Ok so my first idea was actually better suited. I'll update this PR accordingly then. |
6acf8d2
to
8aef0c7
Compare
It was finally much simpler than I originally thought: I didn't need to update the padding or anything, just changing the sidebar |
Looks fine to me in Firefox, Safari, and Chromium. @bors r+ rollup |
Rollup of 6 pull requests Successful merges: - rust-lang#107236 (Add T-bootstrap label to tools) - rust-lang#109847 (Only create graphviz nodes for reachable MIR bb's) - rust-lang#109848 (submodule detection for proper fix on rust-lang#96188) - rust-lang#109932 (Source code scrollbar) - rust-lang#109952 (Move comment about python2 closer to the place it's used) - rust-lang#109956 (Tweak debug outputs to make debugging new solver easier) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Fixes #109865.
You can test it here.
It seems to introduce a few regressions (at least change of behaviour) about the scroll "saving" though.
r? @notriddle