From f41eacc3dcc849f43c875872259ef8106e10be03 Mon Sep 17 00:00:00 2001 From: Héctor Ramón Jiménez Date: Mon, 23 Nov 2020 00:31:50 +0100 Subject: Use `f32` for `border_width` and `border_radius` --- graphics/src/widget/scrollable.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'graphics/src/widget/scrollable.rs') diff --git a/graphics/src/widget/scrollable.rs b/graphics/src/widget/scrollable.rs index fed79c18..57065ba2 100644 --- a/graphics/src/widget/scrollable.rs +++ b/graphics/src/widget/scrollable.rs @@ -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() -- cgit