ProgressWidget: fix misalignment (#12526)

This commit is contained in:
TANG Xiao
2024-10-06 17:38:50 +02:00
committed by GitHub
parent 28b72f081a
commit 80975ea4b0

View File

@@ -141,7 +141,7 @@ function ProgressWidget:paintTo(bb, x, y)
-- Otherwise, we have to start with the background.
bb:paintRoundedRect(x, y, my_size.w, my_size.h, self.bgcolor, self.radius)
-- Then the border around that.
bb:paintBorder(x, y,
bb:paintBorder(math.floor(x), math.floor(y),
my_size.w, my_size.h,
self.bordersize, self.bordercolor, self.radius)
end