diff --git a/crates/theme/src/theme.rs b/crates/theme/src/theme.rs index 61d0bf3f67..d10c282e35 100644 --- a/crates/theme/src/theme.rs +++ b/crates/theme/src/theme.rs @@ -36,6 +36,7 @@ pub struct Workspace { pub active_tab: Tab, pub pane_divider: Border, pub leader_border_opacity: f32, + pub leader_border_width: f32, pub left_sidebar: Sidebar, pub right_sidebar: Sidebar, pub status_bar: StatusBar, diff --git a/crates/workspace/src/pane_group.rs b/crates/workspace/src/pane_group.rs index c3f4d2d3a6..d34613df4a 100644 --- a/crates/workspace/src/pane_group.rs +++ b/crates/workspace/src/pane_group.rs @@ -111,7 +111,7 @@ impl Member { .editor .replica_selection_style(leader.replica_id) .cursor; - border = Border::all(1.0, leader_color); + border = Border::all(theme.workspace.leader_border_width, leader_color); border .color .fade_out(1. - theme.workspace.leader_border_opacity); diff --git a/crates/zed/assets/themes/_base.toml b/crates/zed/assets/themes/_base.toml index d0368d6933..7bd0c59045 100644 --- a/crates/zed/assets/themes/_base.toml +++ b/crates/zed/assets/themes/_base.toml @@ -4,7 +4,8 @@ base = { family = "Zed Sans", size = 14 } [workspace] background = "$surface.0" pane_divider = { width = 1, color = "$border.0" } -leader_border_opacity = 0.6 +leader_border_opacity = 0.7 +leader_border_width = 2.0 [workspace.titlebar] height = 32