diff -r 0d488f04078d -r 0484fc666c1d ui/motif/toolkit.c --- a/ui/motif/toolkit.c Fri Nov 14 22:02:00 2025 +0100 +++ b/ui/motif/toolkit.c Sat Nov 15 09:24:55 2025 +0100 @@ -325,7 +325,7 @@ 4); } -void ui_destroy_eventdata(Widget w, XtPointer data, XtPointer d) { +void ui_destroy_data(Widget w, XtPointer data, XtPointer d) { free(data); }