ui/gtk/container.h

changeset 804
ce992dbfbc39
parent 801
e096c441e874
child 865
9cf0c29dde27
--- 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);

mercurial