mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-10-27 00:41:37 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

First pass at selections complete

Browse source
This commit is contained in:
Mikayla Maki 2022-07-07 17:31:38 -07:00
commit e628b49dfd
2 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
crates/gpui/src/presenter.rs
View file

@ -379,11 +379,11 @@ impl Presenter {
}
}
if let Some((dragged_region, delta, position)) = dragged_region {
if let Some((dragged_region, prev_position, position)) = dragged_region {
handled = true;
if let Some(drag_callback) = dragged_region.drag {
event_cx.with_current_view(dragged_region.view_id, |event_cx| {
drag_callback(delta, position, event_cx);
drag_callback(prev_position, position, event_cx);
})
}
}

7
crates/workspace/src/sidebar.rs
View file

@ -188,12 +188,13 @@ impl Sidebar {
})
.with_cursor_style(CursorStyle::ResizeLeftRight)
.on_mouse_down(|_, _| {}) // This prevents the mouse down event from being propagated elsewhere
.on_drag(move |delta, _, cx| {
.on_drag(move |old_position, new_position, cx| {
let delta = new_position.x() - old_position.x();
let prev_width = *actual_width.borrow();
*custom_width.borrow_mut() = 0f32
.max(match side {
Side::Left => prev_width + delta.x(),
Side::Right => prev_width - delta.x(),
Side::Left => prev_width + delta,
Side::Right => prev_width - delta,
})
.round();