--- a/ui/gtk/menu.h	Wed Dec 31 11:36:42 2025 +0100
+++ b/ui/gtk/menu.h	Wed Dec 31 12:37:09 2025 +0100
@@ -78,6 +78,8 @@
 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 */