--- a/ui/gtk/menu.h Sat Dec 27 22:47:56 2025 +0100 +++ b/ui/gtk/menu.h Thu Jan 08 18:06:04 2026 +0100 @@ -75,9 +75,11 @@ 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); +int64_t ui_radioitem_get(UiInteger *i); +void ui_radioitem_set(UiInteger *i, int64_t value); #endif /* GTK_MAJOR_VERSION <= 3 */