diff -r bf810176ddb8 -r e5f4d8af567e ui/gtk/menu.h
--- a/ui/gtk/menu.h	Mon Feb 12 21:13:23 2024 +0100
+++ b/ui/gtk/menu.h	Sun Jun 09 15:43:08 2024 +0200
@@ -55,6 +55,8 @@
 
 GtkWidget *ui_create_menubar(UiObject *obj);
 
+void ui_add_menu_items(GtkWidget *parent, int i, UiMenu *menu, UiObject *obj);
+
 void add_menu_widget(GtkWidget *parent, int i, UiMenuItemI *item, UiObject *obj);
 void add_menuitem_widget(GtkWidget *parent, int i, UiMenuItemI *item, UiObject *obj);
 void add_menuitem_st_widget(GtkWidget *p, int i, UiMenuItemI *item, UiObject *obj);