diff -r fbe4bb4eba8c -r 832e9288f8e2 ui/gtk/menu.h
--- 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);