From 5582d43a6fb840959d833b75e19e09f483243be6 Mon Sep 17 00:00:00 2001 From: Alec Murphy Date: Sun, 4 May 2025 09:04:51 -0400 Subject: [PATCH] Media/Themes/Umami: Repaint zero-height BorderedRectWidgets if top/bottom borders have size --- Media/Themes/Umami/Theme.HC | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Media/Themes/Umami/Theme.HC b/Media/Themes/Umami/Theme.HC index 82d54b4..6d53b7b 100644 --- a/Media/Themes/Umami/Theme.HC +++ b/Media/Themes/Umami/Theme.HC @@ -1375,7 +1375,7 @@ U0 @umami_widgets_repaint(Window* win, I64 event, I64 origin_x, I64 origin_y) case NULL: break; case WIDGET_TYPE_BORDERED_RECT: - if (widget->width && widget->height) + if ((widget->width && widget->height) || (widget(BorderedRectWidget*)->top.size && widget(BorderedRectWidget*)->bottom.size)) @umami_bordered_rect_repaint(win, widget, x, y); break; case WIDGET_TYPE_RECT: