Use a proper color for the folded buffer border selection
This commit is contained in:
@@ -2431,7 +2431,7 @@ impl EditorElement {
|
|||||||
.border_1()
|
.border_1()
|
||||||
.map(|div| {
|
.map(|div| {
|
||||||
let border_color = if is_selected {
|
let border_color = if is_selected {
|
||||||
cx.theme().colors().text_accent
|
cx.theme().colors().border_focused
|
||||||
} else {
|
} else {
|
||||||
cx.theme().colors().border
|
cx.theme().colors().border
|
||||||
};
|
};
|
||||||
|
|||||||
Reference in New Issue
Block a user