comparison: ui/gtk/window.c
ui/gtk/window.c
- branch
- newapi
- changeset 400
- a1946c97de09
- parent 385
- e3a01a99236d
- child 409
- 86fbc80f0be7
equal
deleted
inserted
replaced
| 399:bb3f3fe2d5ee | 400:a1946c97de09 |
|---|---|
| 124 | 124 |
| 125 if(title != NULL) { | 125 if(title != NULL) { |
| 126 gtk_window_set_title(GTK_WINDOW(obj->widget), title); | 126 gtk_window_set_title(GTK_WINDOW(obj->widget), title); |
| 127 } | 127 } |
| 128 | 128 |
| 129 char *width = ui_get_property("ui.window.width"); | 129 const char *width = ui_get_property("ui.window.width"); |
| 130 char *height = ui_get_property("ui.window.height"); | 130 const char *height = ui_get_property("ui.window.height"); |
| 131 if(width && height) { | 131 if(width && height) { |
| 132 gtk_window_set_default_size( | 132 gtk_window_set_default_size( |
| 133 GTK_WINDOW(obj->widget), | 133 GTK_WINDOW(obj->widget), |
| 134 atoi(width), | 134 atoi(width), |
| 135 atoi(height)); | 135 atoi(height)); |
