zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-11-08 07:35:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

Pull scrollbar colors from theme

Browse Source
This commit is contained in:
Marshall Bowers 2023-12-11 12:47:29 -05:00
parent b9bbc4a698
commit 89884d289f
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
crates/editor2/src/element.rs
View File

@ -1276,9 +1276,9 @@ impl EditorElement {
cx.paint_quad(
track_bounds,
Corners::default(),
gpui::blue(), // todo!("style.track.background_color")
Edges::default(), // todo!("style.track.border")
transparent_black(), // todo!("style.track.border")
cx.theme().colors().scrollbar_track_background,
Edges::default(), // todo!("style.track.border")
cx.theme().colors().scrollbar_track_border,
);
let scrollbar_settings = EditorSettings::get_global(cx).scrollbar;
if layout.is_singleton && scrollbar_settings.selections {
@ -1302,14 +1302,14 @@ impl EditorElement {
cx.paint_quad(
bounds,
Corners::default(),
gpui::yellow(), // todo!("theme.editor.scrollbar")
cx.theme().colors().scrollbar_thumb_background,
Edges {
top: Pixels::ZERO,
right: px(1.),
bottom: Pixels::ZERO,
left: px(1.),
},
gpui::green(), // todo!("style.thumb.border.color")
cx.theme().colors().scrollbar_thumb_border,
);
}
}