Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix position of right dock handle

Browse source 
Co-authored-by: Nathan Sobo <nathan@zed.dev>
This commit is contained in:
Max Brunsfeld 2023-12-18 13:51:23 -08:00
parent 912f7e6c1a
commit e6f3731efd
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/workspace2/src/dock.rs
View file

@ -490,6 +490,7 @@ impl Render for Dock {
let mut handle = div() let mut handle = div()
.id("resize-handle") .id("resize-handle")
.on_drag(DraggedDock(position), |dock, cx| { .on_drag(DraggedDock(position), |dock, cx| {
cx.stop_propagation();
cx.build_view(|_| dock.clone()) cx.build_view(|_| dock.clone())
}) })
.on_click(cx.listener(|v, e: &ClickEvent, cx| { .on_click(cx.listener(|v, e: &ClickEvent, cx| {
@ -525,8 +526,8 @@ impl Render for Dock {
.absolute() .absolute()
.top(px(0.)) .top(px(0.))
.left(px(0.)) .left(px(0.))
.w_full() .h_full()
.h(HANDLE_SIZE) .w(HANDLE_SIZE)
.cursor_col_resize(); .cursor_col_resize();
} }
} }