comparison: ui/gtk/container.c
ui/gtk/container.c
- branch
- newapi
- changeset 267
- 79dd183dd4cb
- parent 260
- eebb0626d020
- child 271
- 94d44bdcad3e
equal
deleted
inserted
replaced
| 266:37d5b49b1c91 | 267:79dd183dd4cb |
|---|---|
| 290 gtk_grid_set_row_spacing(GTK_GRID(grid), args.rowspacing); | 290 gtk_grid_set_row_spacing(GTK_GRID(grid), args.rowspacing); |
| 291 #if GTK_MAJOR_VERSION == 3 && GTK_MINOR_VERSION >= 12 | 291 #if GTK_MAJOR_VERSION == 3 && GTK_MINOR_VERSION >= 12 |
| 292 gtk_widget_set_margin_start(grid, args.margin); | 292 gtk_widget_set_margin_start(grid, args.margin); |
| 293 gtk_widget_set_margin_end(grid, args.margin); | 293 gtk_widget_set_margin_end(grid, args.margin); |
| 294 #else | 294 #else |
| 295 gtk_widget_set_margin_left(grid, margin); | 295 gtk_widget_set_margin_left(grid, args.margin); |
| 296 gtk_widget_set_margin_right(grid, margin); | 296 gtk_widget_set_margin_right(grid, args.margin); |
| 297 #endif | 297 #endif |
| 298 gtk_widget_set_margin_top(grid, args.margin); | 298 gtk_widget_set_margin_top(grid, args.margin); |
| 299 gtk_widget_set_margin_bottom(grid, args.margin); | 299 gtk_widget_set_margin_bottom(grid, args.margin); |
| 300 | 300 |
| 301 widget = grid; | 301 widget = grid; |
