Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add red background to blocks that need styling

Browse source
This commit is contained in:
Antonio Scandurra 2023-11-14 17:15:33 +01:00
parent 0b8ec5372b
commit 7f5014b34a
2 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -21,7 +21,7 @@ use gpui::{
point, px, relative, size, transparent_black, Action, AnyElement, AvailableSpace, BorrowWindow,
Bounds, Component, ContentMask, Corners, DispatchPhase, Edges, Element, ElementId,
ElementInputHandler, Entity, Hsla, Line, MouseButton, MouseDownEvent, MouseMoveEvent,
MouseUpEvent, ParentElement, Pixels, ScrollWheelEvent, Size, Style, TextRun, TextStyle,
MouseUpEvent, ParentElement, Pixels, ScrollWheelEvent, Size, Style, Styled, TextRun, TextStyle,
ViewContext, WindowContext,
};
use itertools::Itertools;
@ -2057,12 +2057,18 @@ impl EditorElement {
}
h_stack()
.size_full()
.bg(gpui::red())
.child(filename.unwrap_or_else(|| "untitled".to_string()))
.children(parent_path)
.children(jump_icon) // .p_x(gutter_padding)
} else {
let text_style = style.text.clone();
h_stack().child("⋯").children(jump_icon) // .p_x(gutter_padding)
h_stack()
.size_full()
.bg(gpui::red())
.child("⋯")
.children(jump_icon) // .p_x(gutter_padding)
};
element.render()
}