Style fold control
This commit is contained in:
@@ -939,11 +939,11 @@ impl EditorElement {
|
|||||||
cx,
|
cx,
|
||||||
|fold_element_state, cx| {
|
|fold_element_state, cx| {
|
||||||
if fold_element_state.is_active() {
|
if fold_element_state.is_active() {
|
||||||
gpui::blue()
|
cx.theme().colors().ghost_element_active
|
||||||
} else if fold_bounds.contains(&cx.mouse_position()) {
|
} else if fold_bounds.contains(&cx.mouse_position()) {
|
||||||
gpui::black()
|
cx.theme().colors().ghost_element_hover
|
||||||
} else {
|
} else {
|
||||||
gpui::red()
|
cx.theme().colors().ghost_element_background
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
)
|
)
|
||||||
|
|||||||
Reference in New Issue
Block a user