From d9730cf0fc15647c637c6ba4661cabd60c084733 Mon Sep 17 00:00:00 2001 From: Frans de Jonge Date: Fri, 3 Dec 2021 07:48:40 +0100 Subject: [PATCH] [chore, CI] Remove empty whitespace (#8506) --- frontend/ui/widget/doublespinwidget.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontend/ui/widget/doublespinwidget.lua b/frontend/ui/widget/doublespinwidget.lua index 1a46ef9a8..b5f094478 100644 --- a/frontend/ui/widget/doublespinwidget.lua +++ b/frontend/ui/widget/doublespinwidget.lua @@ -116,7 +116,7 @@ function DoubleSpinWidget:update(numberpicker_left_value, numberpicker_right_val right_widget.picker_updated_callback = function(value) self:update(left_widget:getValue(), value) end - + local text_max_width = math.floor(0.95 * self.width / 2) local left_vertical_group = VerticalGroup:new{ align = "center",