diff -r b34bd1557c6c -r 77254bd6dccb ui/motif/menu.h
--- a/ui/motif/menu.h	Sat Apr 05 17:57:04 2025 +0200
+++ b/ui/motif/menu.h	Sun Jul 20 22:04:39 2025 +0200
@@ -64,7 +64,8 @@
 void add_checkitemnv_widget(Widget p, int i, UiMenuItemI *item, UiObject *obj);
 void add_menuitem_list_widget(Widget p, int i, UiMenuItemI *item, UiObject *obj);
 
-void ui_update_menuitem_list(UiEvent *event, UiActiveMenuItemList *list);
+void ui_menulist_update(UiList *list, int ignored);
+void ui_update_menuitem_list(UiActiveMenuItemList *list);
 
 #ifdef	__cplusplus
 }