On Unix, it does not seem to be any Eiffel leak, only GTK related one. I'll let Ian look at that more closely. What I found so far is that for a few, we call free some memory in EV_APPLICATION_IMP.destroy, but this is not enough to fix the allocated memory by GTK.