From e6f3731efd6983818dd188bf5d817eac16500e81 Mon Sep 17 00:00:00 2001 From: Max Brunsfeld Date: Mon, 18 Dec 2023 13:51:23 -0800 Subject: [PATCH] Fix position of right dock handle Co-authored-by: Nathan Sobo --- crates/workspace2/src/dock.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/crates/workspace2/src/dock.rs b/crates/workspace2/src/dock.rs index e44471a871ac416546657880964720f3ee638d3c..3997b8f9b011f26869ec6717591994bbb52978ae 100644 --- a/crates/workspace2/src/dock.rs +++ b/crates/workspace2/src/dock.rs @@ -490,6 +490,7 @@ impl Render for Dock { let mut handle = div() .id("resize-handle") .on_drag(DraggedDock(position), |dock, cx| { + cx.stop_propagation(); cx.build_view(|_| dock.clone()) }) .on_click(cx.listener(|v, e: &ClickEvent, cx| { @@ -525,8 +526,8 @@ impl Render for Dock { .absolute() .top(px(0.)) .left(px(0.)) - .w_full() - .h(HANDLE_SIZE) + .h_full() + .w(HANDLE_SIZE) .cursor_col_resize(); } }