diff options
| author | bors <bors@rust-lang.org> | 2024-09-29 22:04:32 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-09-29 22:04:32 +0000 |
| commit | 0d6e13019609d8fa27cb4fafa7878c9e09279e14 (patch) | |
| tree | 1fcb55c659c6846d46a5da4affcb23e6c2f9511c /compiler/rustc_interface/src | |
| parent | 7608018cbdac9e55d0d13529cf43adc33d53efcf (diff) | |
| parent | c27b54ac4ad88bc2aa07260cebec31e886a3c6ad (diff) | |
| download | rust-0d6e13019609d8fa27cb4fafa7878c9e09279e14.tar.gz rust-0d6e13019609d8fa27cb4fafa7878c9e09279e14.zip | |
Auto merge of #131002 - steffahn:rustdoc-long-names-fix, r=notriddle
In redesigned rustdoc toolbar: Adjust spacings and sizing to improve behavior with over-long names
Fixes #130993.
Some additional adjustments also fix more issues I’ve noticed such as:
* on small screens, opening search made the 3 bottons move down very slightly (because the row with the crate picker got larger, enlarging the whole grid), this is fixed with a `min-height: 60px` on the toolbar
* with long names in the “breadcrumps” area, wrapping was very broken
* 
* fixed:
* 
* the left grid area has a minimal width (105px); like before, that leaves about enough space for crate names becoming as short as “all cra…”;
to save even more space, there’s support for a little bit of extra squeezing of the buttons
* 
* 
* 
I’m really not super good with HTML or CSS stuff at all; there seem to be many magical numbers already, I’ve just used `px` values until things look right, I hope that’s okay 🤷♂️
r? `@GuillaumeGomez`
cc `@notriddle`
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions