diff -r bb3f3fe2d5ee -r a1946c97de09 ui/gtk/window.c
--- 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),