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

Style scrollbar when using diff markers

Browse Source
This commit is contained in:
Marshall Bowers 2023-12-11 12:58:55 -05:00
parent 3271cf1030
commit 6add17338c
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1338,9 +1338,9 @@ impl EditorElement {
let bounds = Bounds::from_corners(point(left, start_y), point(right, end_y));
let color = match hunk.status() {
DiffHunkStatus::Added => gpui::green(), // todo!("use the right color")
DiffHunkStatus::Modified => gpui::yellow(), // todo!("use the right color")
DiffHunkStatus::Removed => gpui::red(), // todo!("use the right color")
DiffHunkStatus::Added => cx.theme().status().created,
DiffHunkStatus::Modified => cx.theme().status().modified,
DiffHunkStatus::Removed => cx.theme().status().deleted,
};
cx.paint_quad(
bounds,
@ -1352,7 +1352,7 @@ impl EditorElement {
bottom: Pixels::ZERO,
left: px(1.),
},
gpui::green(), // todo!("style.thumb.border.color")
cx.theme().colors().scrollbar_thumb_border,
);
}
}
@ -1360,14 +1360,14 @@ impl EditorElement {
cx.paint_quad(
thumb_bounds,
Corners::default(),
gpui::black(), // todo!("style.thumb.background_color")
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,
);
}