--- 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);
}