Use the appropriate prototype for the window's delete-event callback