mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-06 10:42:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

Style collab notifications properly

Browse source
This commit is contained in:
Kirill Bulatov 2024-01-17 16:44:43 +02:00
parent 21ceb14f65
commit a601e96b6c
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
crates/workspace/src/pane_group.rs
View file

@ -241,8 +241,9 @@ impl Member {
.w_96()
.bottom_3()
.right_3()
.elevation_2(cx)
.p_1()
.z_index(1)
.bg(cx.theme().colors().element_background)
.child(status_box)
.when_some(
leader_join_data,