# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1732913681 -3600
# Node ID a1946c97de099cf6ac29a1f0a095b8b462a71d99
# Parent  bb3f3fe2d5ee53f9f558d0a5b973eb9ba71e1634
fix gtk3 build

diff -r bb3f3fe2d5ee -r a1946c97de09 ui/gtk/menu.c
--- a/ui/gtk/menu.c	Thu Nov 28 18:05:51 2024 +0100
+++ b/ui/gtk/menu.c	Fri Nov 29 21:54:41 2024 +0100
@@ -254,8 +254,8 @@
     ls->userdata = il->userdata;
     
     UiObserver *observer = ui_observer_new((ui_callback)ui_update_menuitem_list, ls);
-    list->observers = ui_obsvlist_add(list->observers, observer);
-    uic_list_register_observer_destructor(obj->ctx, list, observer);
+    ls->list->observers = ui_obsvlist_add(ls->list->observers, observer);
+    uic_list_register_observer_destructor(obj->ctx, ls->list, observer);
     
     ui_update_menuitem_list(NULL, ls);
 }
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),