Use f32 for border_width and border_radius

This commit is contained in:
Héctor Ramón Jiménez 2020-11-23 00:31:50 +01:00
parent ea1a7248d2
commit f41eacc3dc
32 changed files with 134 additions and 134 deletions

View file

@ -103,7 +103,7 @@ where
};
let is_scrollbar_visible =
style.background.is_some() || style.border_width > 0;
style.background.is_some() || style.border_width > 0.0;
let scroller = if is_mouse_over
|| state.is_scroller_grabbed()