--- a/ui/gtk/container.c Thu Oct 09 18:23:07 2025 +0200 +++ b/ui/gtk/container.c Thu Oct 09 18:24:09 2025 +0200 @@ -1022,7 +1022,7 @@ GtkWidget *sidebar_vbox = g_object_get_data(G_OBJECT(obj->widget), "ui_sidebar"); GtkWidget *box = ui_gtk_vbox_new(args->spacing); - ui_gtk_set_margin(box, args->margin, args->margin-left, args->margin_right, args->margin_top, args->margin_bottom); + ui_gtk_set_margin(box, args->margin, args->margin_left, args->margin_right, args->margin_top, args->margin_bottom); BOX_ADD_EXPAND(sidebar_vbox, box); UiContainerX *container = ui_box_container(obj, box, UI_CONTAINER_VBOX);