From e71f2b49e8a97dd269a045cdf66d9aae5eef2f5e Mon Sep 17 00:00:00 2001 From: Nate Butler Date: Fri, 15 Dec 2023 15:41:53 -0500 Subject: [PATCH] Style fold control --- crates/editor2/src/element.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/crates/editor2/src/element.rs b/crates/editor2/src/element.rs index a6d4bc20b157d4f80a816d5dc78eb7980277cdc2..20012ae41d29ce83ba607252e83014b4b2f121da 100644 --- a/crates/editor2/src/element.rs +++ b/crates/editor2/src/element.rs @@ -939,11 +939,11 @@ impl EditorElement { cx, |fold_element_state, cx| { if fold_element_state.is_active() { - gpui::blue() + cx.theme().colors().ghost_element_active } else if fold_bounds.contains(&cx.mouse_position()) { - gpui::black() + cx.theme().colors().ghost_element_hover } else { - gpui::red() + cx.theme().colors().ghost_element_background } }, )