--- a/ui/gtk/toolkit.c Thu Apr 16 17:41:35 2026 +0200 +++ b/ui/gtk/toolkit.c Fri Apr 17 13:21:11 2026 +0200 @@ -313,6 +313,11 @@ free(userdata); } +void ui_destroy_eventdata(GtkWidget *object, UiEventData *data) { + free(data->action); + free(data); +} + void ui_destroy_vardata(GtkWidget *unused, UiVarEventData *data) { if(data->var) { ui_destroy_boundvar(data->obj->ctx, data->var);