diff: ui/gtk/window.c
ui/gtk/window.c
- changeset 98
- 16e84fac48bd
- parent 86
- 8e7c57c23133
- child 100
- d2bd73d28ff1
--- a/ui/gtk/window.c Thu Nov 28 18:03:12 2024 +0100 +++ b/ui/gtk/window.c Fri Nov 29 22:11:07 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),
