ui/gtk/menu.h

changeset 1038
832e9288f8e2
parent 849
63623ef950e5
child 1039
6691e007cef7
--- a/ui/gtk/menu.h	Wed Dec 31 11:06:54 2025 +0100
+++ b/ui/gtk/menu.h	Wed Dec 31 11:36:42 2025 +0100
@@ -75,7 +75,7 @@
 void ui_menulist_update(UiList *list, int ignored);
 void ui_update_menuitem_list(UiActiveMenuItemList *list);
 void ui_menu_event_wrapper(GtkMenuItem *item, UiEventData *event);
-void ui_menu_event_toggled(GtkCheckMenuItem *ci, UiEventData *event);
+void ui_menu_event_toggled(GtkCheckMenuItem *ci, UiVarEventData *event);
 int64_t ui_checkitem_get(UiInteger *i);
 void ui_checkitem_set(UiInteger *i, int64_t value);
 

mercurial