comparison: ui/gtk/widget.c
ui/gtk/widget.c
- changeset 531
- 9068a5c7caf6
- parent 485
- c584149b22f0
- child 532
- 80a6d8923d75
equal
deleted
inserted
replaced
| 530:7992a44fe719 | 531:9068a5c7caf6 |
|---|---|
| 39 UI_APPLY_LAYOUT1(current, args); | 39 UI_APPLY_LAYOUT1(current, args); |
| 40 current->container->add(current->container, widget, FALSE); | 40 current->container->add(current->container, widget, FALSE); |
| 41 | 41 |
| 42 return widget; | 42 return widget; |
| 43 } | 43 } |
| 44 | |
| 45 UIWIDGET ui_separator_create(UiObject *obj, UiWidgetArgs *args) { | |
| 46 UiObject* current = uic_current_obj(obj); | |
| 47 GtkWidget *widget = gtk_separator_new(GTK_ORIENTATION_HORIZONTAL); | |
| 48 ui_set_name_and_style(widget, args.name, args.style_class); | |
| 49 UI_APPLY_LAYOUT1(current, args); | |
| 50 current->container->add(current->container, widget, FALSE); | |
| 51 return widget; | |
| 52 } | |
| 53 | |
| 54 void ui_widget_set_size(UIWIDGET w, int width, int height) { | |
| 55 gtk_widget_set_size_request(w, width, height); | |
| 56 } |
