Don't shift pane content when following someone

2024-11-07 20:39:04 +03:00 · 2024-01-05 10:55:33 +01:00 · 2024-01-05 10:55:33 +01:00 · cf03ea2da9
commit cf03ea2da9
parent 9840a8427e
1 changed files with 9 additions and 1 deletions
--- a/crates/workspace/src/pane_group.rs
+++ b/crates/workspace/src/pane_group.rs
@ -246,7 +246,15 @@ impl Member {
                    .size_full()
                    .child(pane.clone())
                    .when_some(leader_border, |this, color| {
-                        this.border_2().border_color(color)
+                        this.child(
+                            div()
+                                .absolute()
+                                .size_full()
+                                .left_0()
+                                .top_0()
+                                .border_2()
+                                .border_color(color),
+                        )
                    })
                    .when_some(leader_status_box, |this, status_box| {
                        this.child(