diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-01-30 16:57:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-30 16:57:46 +0100 |
| commit | efff26701bba0bc2e63310cc29994fa31becca24 (patch) | |
| tree | 437981931d1f220c579cb6761561ceb560e181f3 /compiler/rustc_resolve/src | |
| parent | 5ad7454f7503b6af2800bf4a7c875962cb03f913 (diff) | |
| parent | 96e6cfa34a38cf7ef51aad168afa9b1e628cf26f (diff) | |
| download | rust-efff26701bba0bc2e63310cc29994fa31becca24.tar.gz rust-efff26701bba0bc2e63310cc29994fa31becca24.zip | |
Rollup merge of #117906 - GuillaumeGomez:improve-crate-name-hover, r=fmease,notriddle
Improve display of crate name when hovered Currently when we hover the crate name, the background is stuck to the version and to the logo (when there is one):   I find it very unpleasant so I reduced the padding size and increased the margin (left and top) to keep the same positioning but not making it stuck anymore:   [online docs](https://rustdoc.crud.net/imperio/improve-crate-name-hover/std/index.html) r? `@notriddle`
Diffstat (limited to 'compiler/rustc_resolve/src')
0 files changed, 0 insertions, 0 deletions