mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-30 14:17:02 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10

Fix scrollbar not always being on top (#20665)

Browse source 
Set the elevation of the scrollbar to 1 borderless, so that the blue
outline is no longer above the scrollbar.

Closes #19875

Release Notes:

- N/A

---------

Co-authored-by: Peter Tripp <peter@zed.dev>
This commit is contained in:
TOULAR 2024-11-15 16:47:17 +01:00 committed by GitHub
parent 98403aa994
commit 7137bdee02
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
crates/ui/src/components/scrollbar.rs
View file

@ -228,7 +228,9 @@ impl Element for Scrollbar {
) { ) {
cx.with_content_mask(Some(ContentMask { bounds }), |cx| { cx.with_content_mask(Some(ContentMask { bounds }), |cx| {
let colors = cx.theme().colors(); let colors = cx.theme().colors();
let thumb_background = colors.scrollbar_thumb_background; let thumb_background = colors
.surface_background
.blend(colors.scrollbar_thumb_background);
let is_vertical = self.kind == ScrollbarAxis::Vertical; let is_vertical = self.kind == ScrollbarAxis::Vertical;
let extra_padding = px(5.0); let extra_padding = px(5.0);
let padded_bounds = if is_vertical { let padded_bounds = if is_vertical {