comparison: ui/gtk/window.c
ui/gtk/window.c
- changeset 98
- 16e84fac48bd
- parent 86
- 8e7c57c23133
- child 100
- d2bd73d28ff1
equal
deleted
inserted
replaced
| 97:5a3d27b8e6b0 | 98:16e84fac48bd |
|---|---|
| 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)); |
