comparison: ui/gtk/widget.h
ui/gtk/widget.h
- changeset 115
- e57ca2747782
- parent 103
- 6606616eca9f
equal
deleted
inserted
replaced
| 114:3da24640513a | 115:e57ca2747782 |
|---|---|
| 33 | 33 |
| 34 #ifdef __cplusplus | 34 #ifdef __cplusplus |
| 35 extern "C" { | 35 extern "C" { |
| 36 #endif | 36 #endif |
| 37 | 37 |
| 38 | 38 /* |
| 39 * Sets a widget width/height. | |
| 40 * | |
| 41 * If wdith or height is 0, the dimension is not changed | |
| 42 */ | |
| 43 void ui_widget_size_request(UIWIDGET w, int width, int height); | |
| 39 | 44 |
| 40 | 45 |
| 41 #ifdef __cplusplus | 46 #ifdef __cplusplus |
| 42 } | 47 } |
| 43 #endif | 48 #endif |
