diff -r 5a3d27b8e6b0 -r 16e84fac48bd ui/gtk/window.c
--- 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),