Add missing people panel properties to base theme

Max Brunsfeld and Nathan Sobo created 4 years ago

Co-Authored-By: Nathan Sobo <[e-mail]>

Change summary

zed/assets/themes/_base.toml | 8 ++++++++
zed/src/people_panel.rs      | 2 +-
zed/src/theme.rs             | 2 +-
3 files changed, 10 insertions(+), 2 deletions(-)

Detailed changes

zed/assets/themes/_base.toml

@@ -120,6 +120,14 @@ underline = true
 extends = "$chat_panel.sign_in_prompt"
 color = "$text.1.color"
 
+[people_panel]
+host_username = "$text.0"
+worktree_host_avatar = { corner_radius = 10 }
+worktree_guest_avatar = { corner_radius = 8 }
+
+[people_panel.worktree_name]
+extends = "$text.0"
+
 [selector]
 background = "$surface.0"
 padding = 8

zed/src/people_panel.rs

@@ -61,7 +61,7 @@ impl PeoplePanel {
                     .with_child(
                         Label::new(
                             collaborator.user.github_login.clone(),
-                            theme.people_panel.collaborator_username.clone(),
+                            theme.people_panel.host_username.clone(),
                         )
                         .boxed(),
                     )

zed/src/theme.rs

@@ -108,7 +108,7 @@ pub struct ChatPanel {
 pub struct PeoplePanel {
     #[serde(flatten)]
     pub container: ContainerStyle,
-    pub collaborator_username: TextStyle,
+    pub host_username: TextStyle,
     pub worktree_name: ContainedText,
     pub worktree_host_avatar: ImageStyle,
     pub worktree_guest_avatar: ImageStyle,