diff: ui/gtk/window.c
ui/gtk/window.c
- branch
- newapi
- changeset 400
- a1946c97de09
- parent 385
- e3a01a99236d
- child 409
- 86fbc80f0be7
--- a/ui/gtk/window.c Thu Nov 28 18:05:51 2024 +0100 +++ b/ui/gtk/window.c Fri Nov 29 21:54:41 2024 +0100 @@ -126,8 +126,8 @@ gtk_window_set_title(GTK_WINDOW(obj->widget), title); } - char *width = ui_get_property("ui.window.width"); - char *height = ui_get_property("ui.window.height"); + const char *width = ui_get_property("ui.window.width"); + const char *height = ui_get_property("ui.window.height"); if(width && height) { gtk_window_set_default_size( GTK_WINDOW(obj->widget),
