diff -r 9e2aee097b69 -r 132c7bcc6997 ui/gtk/menu.h
--- a/ui/gtk/menu.h	Sun Mar 31 09:58:07 2024 +0200
+++ b/ui/gtk/menu.h	Sun Mar 31 16:19:01 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);