comparison: ui/gtk/container.h
ui/gtk/container.h
- changeset 804
- ce992dbfbc39
- parent 801
- e096c441e874
- child 865
- 9cf0c29dde27
equal
deleted
inserted
replaced
| 803:f0c4322741c8 | 804:ce992dbfbc39 |
|---|---|
| 146 int spacing, | 146 int spacing, |
| 147 int columnspacing, | 147 int columnspacing, |
| 148 int rowspacing, | 148 int rowspacing, |
| 149 int margin); | 149 int margin); |
| 150 | 150 |
| 151 GtkWidget* ui_box_set_margin(GtkWidget *box, int margin); | 151 GtkWidget* ui_gtk_set_margin(GtkWidget *widget, int margin, int margin_left, int margin_right, int margin_top, int margin_bottom); |
| 152 UIWIDGET ui_box_create(UiObject *obj, UiContainerArgs *args, UiSubContainerType type); | 152 UIWIDGET ui_box_create(UiObject *obj, UiContainerArgs *args, UiSubContainerType type); |
| 153 | 153 |
| 154 UiContainerX* ui_box_container(UiObject *obj, GtkWidget *box, UiSubContainerType type); | 154 UiContainerX* ui_box_container(UiObject *obj, GtkWidget *box, UiSubContainerType type); |
| 155 void ui_box_container_add(UiContainerPrivate *ct, GtkWidget *widget, UiLayout *layout); | 155 void ui_box_container_add(UiContainerPrivate *ct, GtkWidget *widget, UiLayout *layout); |
| 156 | 156 |
