--- a/ui/gtk/container.h Mon Oct 06 11:11:30 2025 +0200 +++ b/ui/gtk/container.h Mon Oct 06 11:36:39 2025 +0200 @@ -148,7 +148,7 @@ int rowspacing, int margin); -GtkWidget* ui_box_set_margin(GtkWidget *box, int margin); +GtkWidget* ui_gtk_set_margin(GtkWidget *widget, int margin, int margin_left, int margin_right, int margin_top, int margin_bottom); UIWIDGET ui_box_create(UiObject *obj, UiContainerArgs *args, UiSubContainerType type); UiContainerX* ui_box_container(UiObject *obj, GtkWidget *box, UiSubContainerType type);