From a9f970733e47c180c75fb0fa02df2135769137f5 Mon Sep 17 00:00:00 2001 From: zwim <36999612+zwim@users.noreply.github.com> Date: Mon, 26 Feb 2024 19:51:01 +0100 Subject: [PATCH] optimize border --- frontend/ui/widget/container/framecontainer.lua | 15 ++++++++++----- frontend/ui/widget/container/inputcontainer.lua | 2 +- 2 files changed, 11 insertions(+), 6 deletions(-) diff --git a/frontend/ui/widget/container/framecontainer.lua b/frontend/ui/widget/container/framecontainer.lua index 9e0652d1e..683271ea7 100644 --- a/frontend/ui/widget/container/framecontainer.lua +++ b/frontend/ui/widget/container/framecontainer.lua @@ -96,7 +96,7 @@ function FrameContainer:paintTo(bb, x, y) if not self.dimen then self.dimen = Geom:new{ x = x, y = y, - w = my_size.w, h = my_size.h + w = my_size.w, h = my_size.h, } else self.dimen.x = x @@ -110,11 +110,16 @@ function FrameContainer:paintTo(bb, x, y) shift_x = container_width - my_size.w end - --- @todo get rid of margin here? 13.03 2013 (houqp) if self.background then - bb:paintRoundedRect(x, y, - container_width, container_height, - self.background, self.radius) + if not self.radius or not self.bordersize then + bb:paintRoundedRect(x, y, + container_width, container_height, + self.background, self.radius) + else + bb:paintRoundedRect(x, y, + container_width, container_height, + self.background, self.radius - self.bordersize) + end end if self.stripe_width and self.stripe_color and not self.stripe_over then -- (No support for radius when hatched/stripe) diff --git a/frontend/ui/widget/container/inputcontainer.lua b/frontend/ui/widget/container/inputcontainer.lua index 2f4957335..9ae27e42d 100644 --- a/frontend/ui/widget/container/inputcontainer.lua +++ b/frontend/ui/widget/container/inputcontainer.lua @@ -74,7 +74,7 @@ function InputContainer:paintTo(bb, x, y) local content_size = self[1]:getSize() self.dimen = Geom:new{ x = x, y = y, - w = content_size.w, h = content_size.h + w = content_size.w, h = content_size.h, } else self.dimen.x = x