--- a/ui/motif/button.c	Sun Jan 05 17:41:39 2025 +0100
+++ b/ui/motif/button.c	Sun Jan 05 22:00:39 2025 +0100
@@ -239,7 +239,7 @@
 }
 
 static void destroy_list(Widget w, CxList *list, XtPointer d) {
-    cxListDestroy(list);
+    cxListFree(list);
 }
 
 static void radiobutton_changed(Widget w, UiVarEventData *event, XmToggleButtonCallbackStruct *tb) {