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

Round sidebar panels' widths to whole numbers of pixels

Browse source 
Co-authored-by: Nathan Sobo <nathan@zed.dev>
This commit is contained in:
Max Brunsfeld 2022-05-10 11:25:51 -07:00
parent de9a7b1927
commit dc465839e1
1 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -106,10 +106,12 @@ impl Sidebar {
.with_cursor_style(CursorStyle::ResizeLeftRight) .with_cursor_style(CursorStyle::ResizeLeftRight)
.on_drag(move |delta, cx| { .on_drag(move |delta, cx| {
let prev_width = *actual_width.borrow(); let prev_width = *actual_width.borrow();
match side { *custom_width.borrow_mut() = 0f32
Side::Left => *custom_width.borrow_mut() = 0f32.max(prev_width + delta.x()), .max(match side {
Side::Right => *custom_width.borrow_mut() = 0f32.max(prev_width - delta.x()), Side::Left => prev_width + delta.x(),
} Side::Right => prev_width - delta.x(),
})
.round();
cx.notify(); cx.notify();
}) })