From 7713cd7da9aa4357158a379b565075ba3df0805f Mon Sep 17 00:00:00 2001
From: Alessandro Mauri <alemauri001@gmail.com>
Date: Mon, 14 Jul 2025 12:58:15 +0200
Subject: [PATCH] prettier radius

---
 lib/ugui.c3l/src/ugui_cmd.c3 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/ugui.c3l/src/ugui_cmd.c3 b/lib/ugui.c3l/src/ugui_cmd.c3
index b64692f..4d6e09c 100644
--- a/lib/ugui.c3l/src/ugui_cmd.c3
+++ b/lib/ugui.c3l/src/ugui_cmd.c3
@@ -97,12 +97,13 @@ fn void? Ctx.push_rect(&ctx, Rect rect, int z_index, Style* style)
 	Color bg           = style.bg;
 	Color border_color = style.secondary;
 
+	// FIXME: this implies that the border has to be uniform
 	if (!border.is_null()) {
 		Cmd cmd = {
 			.type = CMD_RECT,
 			.rect.rect = rect,
 			.rect.color = border_color,
-			.rect.radius = radius,
+			.rect.radius = radius + border.x,
 		};
 		ctx.push_cmd(&cmd, z_index)!;
 	}