diff -r f0fee61a70be -r a57268d20ed9 ui/motif/menu.c
--- a/ui/motif/menu.c	Sun Dec 15 22:13:05 2024 +0100
+++ b/ui/motif/menu.c	Sun Dec 15 22:16:12 2024 +0100
@@ -150,7 +150,8 @@
 }
 
 void add_menuseparator_widget(Widget p, int i, UiMenuItemI *item, UiObject *obj) {
-    
+    Widget s = XmCreateSeparatorGadget (p, "menuseparator", NULL, 0);
+    XtManageChild(s);
 }
 
 void add_checkitem_widget(Widget p, int i, UiMenuItemI *item, UiObject *obj) {