From db2aa0bca542e6b1f6cee990442aed73b398be85 Mon Sep 17 00:00:00 2001 From: Kirill Bulatov Date: Tue, 17 Dec 2024 01:00:11 +0200 Subject: [PATCH] Use a proper color for the folded buffer border selection --- crates/editor/src/element.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/editor/src/element.rs b/crates/editor/src/element.rs index 37b69f1d7721c0ad94d3e9e2f23c5cdc7cd2152d..59c990b69da6ff711dc1aa5af4ff5d35e36cc43f 100644 --- a/crates/editor/src/element.rs +++ b/crates/editor/src/element.rs @@ -2431,7 +2431,7 @@ impl EditorElement { .border_1() .map(|div| { let border_color = if is_selected { - cx.theme().colors().text_accent + cx.theme().colors().border_focused } else { cx.theme().colors().border };