# HG changeset patch # User Olaf Wintermann # Date 1734297372 -3600 # Node ID a57268d20ed9ee945fb395f110efe3332aa80ce0 # Parent f0fee61a70bee76d381dd9a96810c6ada50c7b9a add menu separator (Motif) 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) {