zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-20 02:47:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix bug in Workspace::activate_pane_in_direction

Browse Source 
Co-authored-by: Conrad <conrad@zed.dev>
This commit is contained in:
Max Brunsfeld 2023-12-14 14:27:44 -08:00
parent 23d5f3f3e8
commit 6170895932
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
crates/workspace2/src/workspace2.rs
View File

@ -2036,20 +2036,20 @@ impl Workspace {
_ => bounding_box.center(),
};
let distance_to_next = 1.; //todo(pane dividers styling)
let distance_to_next = 8.; //todo(pane dividers styling)
let target = match direction {
SplitDirection::Left => {
Point::new(bounding_box.origin.x - distance_to_next.into(), center.y)
Point::new(bounding_box.left() - distance_to_next.into(), center.y)
}
SplitDirection::Right => {
Point::new(bounding_box.right() + distance_to_next.into(), center.y)
}
SplitDirection::Up => {
Point::new(center.x, bounding_box.origin.y - distance_to_next.into())
Point::new(center.x, bounding_box.top() - distance_to_next.into())
}
SplitDirection::Down => {
Point::new(center.x, bounding_box.top() + distance_to_next.into())
Point::new(center.x, bounding_box.bottom() + distance_to_next.into())
}
};
self.center.pane_at_pixel_position(target)