comparison: ui/gtk/widget.c
ui/gtk/widget.c
- changeset 532
- 80a6d8923d75
- parent 531
- 9068a5c7caf6
- child 542
- af268fbe676a
equal
deleted
inserted
replaced
| 531:9068a5c7caf6 | 532:80a6d8923d75 |
|---|---|
| 52 } | 52 } |
| 53 | 53 |
| 54 void ui_widget_set_size(UIWIDGET w, int width, int height) { | 54 void ui_widget_set_size(UIWIDGET w, int width, int height) { |
| 55 gtk_widget_set_size_request(w, width, height); | 55 gtk_widget_set_size_request(w, width, height); |
| 56 } | 56 } |
| 57 | |
| 58 void ui_widget_redraw(UIWIDGET w) { | |
| 59 gtk_widget_queue_draw(w); | |
| 60 } |
